From 242b318911400d677e8e899717578bef1d0d86c0 Mon Sep 17 00:00:00 2001
From: bmundim <bmundim@9e23cc15-e5c8-4d65-9080-beda90ea645b>
Date: Thu, 28 Mar 2013 18:10:25 +0000
Subject: Add NO_BUILD option

git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/GSL/trunk@35 9e23cc15-e5c8-4d65-9080-beda90ea645b
---
 configure.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/configure.sh b/configure.sh
index 4263526..13bb1ab 100644
--- a/configure.sh
+++ b/configure.sh
@@ -16,7 +16,9 @@ set -e                          # Abort on errors
 # Search
 ################################################################################
 
-if [ -z "${GSL_DIR}" ]; then
+if [ -z "${GSL_DIR}" \
+     -o "$(echo "${GSL_DIR}" | tr '[a-z]' '[A-Z]')" = 'NO_BUILD' ] 
+then
     echo "BEGIN MESSAGE"
     echo "GSL selected, but GSL_DIR not set. Checking some places..."
     echo "END MESSAGE"
-- 
cgit v1.2.3