diff options
-rw-r--r-- | GSL.sh | 7 | ||||
-rw-r--r-- | dist/gsl-1.14.tar.gz | bin | 3128269 -> 0 bytes | |||
-rw-r--r-- | dist/gsl-1.15.tar.gz | bin | 0 -> 3281134 bytes |
3 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 diff --git a/dist/gsl-1.14.tar.gz b/dist/gsl-1.14.tar.gz Binary files differdeleted file mode 100644 index 062c9fd..0000000 --- a/dist/gsl-1.14.tar.gz +++ /dev/null diff --git a/dist/gsl-1.15.tar.gz b/dist/gsl-1.15.tar.gz Binary files differnew file mode 100644 index 0000000..a6d6d43 --- /dev/null +++ b/dist/gsl-1.15.tar.gz |