diff options
author | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-03-15 21:08:30 +0000 |
---|---|---|
committer | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-03-15 21:08:30 +0000 |
commit | 5d11a75aa57641de0e5927cd12b17e230644f2d0 (patch) | |
tree | 41c572488dd9cb8be3229fd5c74a87bab99a9fcc | |
parent | ba0f08650dc937aaaacf44fc6eda431217ed2d4f (diff) |
Correct static library build on Linux
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@19 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
-rwxr-xr-x | configure.sh | 5 |
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} |