build_gsl.sh

Go to the documentation of this file.

#!/usr/bin/env bash

#
# A script to build GSL (adapted from R.Hatcher's build_pythia6.sh)
#
# Usage:  ./build_gsl.sh [version] [--refetch]
#
# Costas Andreopoulos <constantinos.andreopoulos \at cern.ch>
#

version=1.8
doclean=0
refetch=0
while [ $# -gt 0 ] ; do
  case $1 in
  *clean*)
     doclean=1 ;;
  *refetch*)
     refetch=1 ;;
  *)
     version=$1 ;;
  esac
  shift
done

major=`awk -v str=$version 'BEGIN {split(str, tk, "."); print tk[1]}'`
minor=`awk -v str=$version 'BEGIN {split(str, tk, "."); print tk[2]}'`

topdir=`pwd`/v${major}_${minor}

echo version $version major $major minor $minor 
echo topdir $topdir

if [ ! -d ${topdir} ] ; then
  mkdir $topdir
fi
cd $topdir
for subdir in stage download ; do
  if [ ! -d ${subdir} ] ; then
    mkdir ${subdir}
  fi
done

cd ${topdir}/download

#                 
# wget or curl for retreiving remote files?
# (OS X doesn't generally have wget on it, so fall back on curl in that case)
#                   
whichfetchit=`which wget | grep -v "no wget in"`
if [ ! -z "${whichfetchit}" ] ; then
  echo use \"wget\" for fetching files
  fetchit='wget '
else
  whichfetchit=`which curl | grep -v "no curl in"`
  if [ ! -z "${whichfetchit}" ] ; then
    # -f = fail without creating dummy, -O output local named like remoteza
    echo use \"curl -f -O\" for fetching files
    fetchit='curl -f -O '
  else
    echo "Neither wget nor curl available -- can't download files"
    exit 1
  fi
fi

echo "$fetchit ftp://ftp.gnu.org/gnu/gsl/gsl-${major}.${minor}.tar.gz"
$fetchit ftp://ftp.gnu.org/gnu/gsl/gsl-${major}.${minor}.tar.gz

tar xzvf gsl-${major}.${minor}.tar.gz
mv gsl-${major}.${minor} ${topdir}/src

cd ${topdir}/src
./configure --prefix=${topdir}/stage/
make
make install