#!/bin/sh
# configure script for IO package, Max Neunhoeffer
# usage: ./configure gappath
# this script creates a `Makefile' from `Makefile.in'
if [ x"$1" = "x" ]; then GAPPATH=../..; echo "Using ../.. as default GAP path"; 
else GAPPATH=$1; fi
rm -f Makefile sedfile
echo "#!/bin/sh" > Makefile
cat $GAPPATH/sysinfo.gap >> Makefile
echo "echo s/@GAPARCH@/\$GAParch/g >sedfile" >> Makefile
chmod +x Makefile
./Makefile
rm -f Makefile
echo GAPPATH=$GAPPATH >Makefile
sed -f sedfile Makefile.in >>Makefile
rm -f sedfile

