diff options
Diffstat (limited to 'GSL.sh')
-rw-r--r-- | GSL.sh | 7 |
1 files changed, 1 insertions, 6 deletions
@@ -58,7 +58,7 @@ if [ -z "${GSL_DIR}" -o "${GSL_DIR}" = 'BUILD' ]; then # Set locations THORN=GSL - NAME=gsl-1.14 + NAME=gsl-1.15 SRCDIR=$(dirname $0) BUILD_DIR=${SCRATCH_BUILD}/build/${THORN} if [ -z "${GSL_INSTALL_DIR}" ]; then @@ -87,11 +87,6 @@ if [ -z "${GSL_DIR}" -o "${GSL_DIR}" = 'BUILD' ]; then else echo "GSL: Building enclosed GSL library" - # Should we use gmake or make? - MAKE=$(gmake --help > /dev/null 2>&1 && echo gmake || echo make) - # Should we use gtar or tar? - TAR=$(gtar --help > /dev/null 2> /dev/null && echo gtar || echo tar) - # Set up environment unset LIBS if echo '' ${ARFLAGS} | grep 64 > /dev/null 2>&1; then |