From 5d11a75aa57641de0e5927cd12b17e230644f2d0 Mon Sep 17 00:00:00 2001
From: eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>
Date: Fri, 15 Mar 2013 21:08:30 +0000
Subject: Correct static library build on Linux

git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@19 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
---
 configure.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/configure.sh b/configure.sh
index 5994956..c19188e 100755
--- a/configure.sh
+++ b/configure.sh
@@ -153,7 +153,10 @@ then
         
         echo "MPI: Configuring..."
         cd ${NAME}
-        ./configure --prefix=${MPI_DIR} --enable-shared=no --enable-static=yes
+        # Cannot have a memory manager with a static library on some
+        # systems (e.g. Linux); see
+        # <http://www.open-mpi.org/faq/?category=mpi-apps#static-mpi-apps>
+        ./configure --prefix=${MPI_DIR} --without-memory-manager --without-libnuma --enable-shared=no --enable-static=yes
         
         echo "MPI: Building..."
         ${MAKE}
-- 
cgit v1.2.3