aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--GSL.sh7
-rw-r--r--dist/gsl-1.14.tar.gzbin3128269 -> 0 bytes
-rw-r--r--dist/gsl-1.15.tar.gzbin0 -> 3281134 bytes
3 files changed, 1 insertions, 6 deletions
diff --git a/GSL.sh b/GSL.sh
index 1bee624..85a4631 100644
--- a/GSL.sh
+++ b/GSL.sh
@@ -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
deleted file mode 100644
index 062c9fd..0000000
--- a/dist/gsl-1.14.tar.gz
+++ /dev/null
Binary files differ
diff --git a/dist/gsl-1.15.tar.gz b/dist/gsl-1.15.tar.gz
new file mode 100644
index 0000000..a6d6d43
--- /dev/null
+++ b/dist/gsl-1.15.tar.gz
Binary files differ