aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoreschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>2013-03-15 19:18:45 +0000
committereschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>2013-03-15 19:18:45 +0000
commitba0f08650dc937aaaacf44fc6eda431217ed2d4f (patch)
tree7e7323e06a736b4cbcd09c831fe1addaa5b3e051
parent1b3c16cef7d82d652c02e443198bf2f3d367a996 (diff)
Disable shared libraries
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@18 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
-rwxr-xr-xconfigure.sh2
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}