#!/bin/sh
# usage: configure gappath
# this script creates a `Makefile' from `Makefile.in'

set -e

SRCDIR="$(CDPATH= cd -- "$(dirname -- "$0")" && pwd)"

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

if test ! -r "$GAPPATH/sysinfo.gap" ; then
    echo
    echo "No file $GAPPATH/sysinfo.gap found."
    echo
    echo "Usage: $SRCDIR/configure [GAPPATH]"
    echo "       where GAPPATH is a path to your GAP installation"
    echo "       (The default for GAPPATH is \"../..\")"
    echo
    echo "Either your GAPPATH is incorrect or the GAP it is pointing to"
    echo "is not properly compiled (do \"./configure && make\" there first)."
    echo
    echo "Aborting... No Makefile is generated."
    echo
    exit 1
fi

echo "Using settings from $GAPPATH/sysinfo.gap"
sed -e "s;@GAPPATH@;$GAPPATH;g" \
    -e "s;@SRCDIR@;$SRCDIR;g" \
    "$SRCDIR/Makefile.in" > Makefile
