diff options
author | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-03-15 19:18:45 +0000 |
---|---|---|
committer | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-03-15 19:18:45 +0000 |
commit | ba0f08650dc937aaaacf44fc6eda431217ed2d4f (patch) | |
tree | 7e7323e06a736b4cbcd09c831fe1addaa5b3e051 | |
parent | 1b3c16cef7d82d652c02e443198bf2f3d367a996 (diff) |
Disable shared libraries
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@18 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
-rwxr-xr-x | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 25d177d..5994956 100755 --- a/configure.sh +++ b/configure.sh @@ -153,7 +153,7 @@ then echo "MPI: Configuring..." cd ${NAME} - ./configure --prefix=${MPI_DIR} + ./configure --prefix=${MPI_DIR} --enable-shared=no --enable-static=yes echo "MPI: Building..." ${MAKE} |