1 files changed, 4 insertions, 1 deletions
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}