From 6dfc24b7071c186efaeecc2e9d8405753c1d870c Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Tue, 15 May 2018 11:19:12 +0200
Subject: [PATCH] openmpi/build: enable build of static libraries

---
 Compiler/openmpi/build | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Compiler/openmpi/build b/Compiler/openmpi/build
index a18cb95..fc3dc31 100755
--- a/Compiler/openmpi/build
+++ b/Compiler/openmpi/build
@@ -16,6 +16,7 @@ pbuild::configure() {
 		--enable-mpi-profile \
 		--enable-orterun-prefix-by-default \
 		--enable-shared \
+		--enable-static \
 		--enable-smp-locks \
 		--with-sge=yes \
 		--with-slurm=yes \
@@ -23,6 +24,12 @@ pbuild::configure() {
 		|| exit 1
 }
 
+pbuild::post_install() {
+	if [[ -r /usr/lib64/libnuma.a ]]; then
+		:
+	fi
+}
+
 pbuild::add_to_group 'Compiler'
 pbuild::set_docfiles 'AUTHORS' 'LICENSE' 'NEWS' 'README'
 pbuild::make_all