https://github.com/frankluebeck/EDIM
Raw File
Tip revision: 8a63a6b2d8591be6fa6e782f70f5b48277121eb2 authored by Frank Lübeck on 21 February 2024, 17:07:26 UTC
Set version and date for 1.3.7 release
Tip revision: 8a63a6b
configure
#!/bin/sh
# (C) Frank Lübeck     2018
# configure script for EDIM with GAP > 4.11 (different build system for GAP)

# some tools on OS X made locale related problems, so:
export LANG=C
export LC_ALL=C

# GAP path
GAPPATH=../..
while test "$#" -ge 1 ; do
  option="$1" ; shift
  case "$option" in
    --with-gaproot=*) GAPPATH=${option#--with-gaproot=}; ;;
    -*)               echo "ERROR: unsupported argument $option" ; exit 1;;
    *)                GAPPATH="$option" ;;
  esac
done
echo "Using $GAPPATH as GAP build directory."

if [ -e "$GAPPATH/sysinfo.in" ]; then
  # GAP version < 4.9, use old configure script
  echo "Old version (<4.9) of GAP ..."
  ./configure.old $*
  exit
fi

# Reading variables from GAP build directory
. "$GAPPATH/sysinfo.gap"

echo "Using bin path: $GAParch"

# Creating Makefile
sed -e "s|@GAPPATH@|$GAPPATH|g" < Makefile.in > Makefile

back to top