From ba0f08650dc937aaaacf44fc6eda431217ed2d4f Mon Sep 17 00:00:00 2001
From: eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>
Date: Fri, 15 Mar 2013 19:18:45 +0000
Subject: Disable shared libraries

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

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}
-- 
cgit v1.2.3