#!/bin/sh
# usage: configure gappath
# this script creates a `Makefile' from `Makefile.in' 
if test -z "$1"; then 
  GAPPATH=../..; echo "Using ../.. as default GAP path"; 
else 
  GAPPATH=$1; 
fi
if test ! -r $GAPPATH/sysinfo.gap; then
  echo "Please give correct GAP path as argument (and make sure that GAP"
  echo "is already properly installed)."
  exit
fi
rm -f Makefile sedfile
cat $GAPPATH/sysinfo.gap > Makefile
echo "echo s/@GAPARCH@/\$GAParch/g >sedfile" >> Makefile
chmod +x Makefile
./Makefile
rm -f Makefile
sed -f sedfile Makefile.in >Makefile
rm -f sedfile

