Don't overwrite user specified library name

git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/GSL/trunk@9 9e23cc15-e5c8-4d65-9080-beda90ea645b

2 files changed, 2 insertions, 2 deletions

diff --git a/GSL.sh b/GSL.sh
index c75434c..efa5e92 100644
--- a/GSL.sh
+++ b/GSL.sh
@@ -121,7 +121,7 @@ if [ "${GSL_DIR}" != '/usr' -a "${GSL_DIR}" != '/usr/local' ]; then
     GSL_INC_DIRS="${GSL_DIR}/include"
     GSL_LIB_DIRS="${GSL_DIR}/lib"
 fi
-GSL_LIBS='gsl gslcblas'
+: ${GSL_LIBS='gsl gslcblas'}
 
 # Pass options to Cactus
 echo "BEGIN MAKE_DEFINITION"
diff --git a/configuration.ccl b/configuration.ccl
index 1e80c0f..25be2cc 100644
--- a/configuration.ccl
+++ b/configuration.ccl
@@ -4,5 +4,5 @@ PROVIDES GSL
 {
   SCRIPT GSL.sh
   LANG bash
-  OPTIONS GSL_DIR
+  OPTIONS GSL_DIR GSL_LIBS
 }