#!/bin/sh
# usage: configure gappath
# this script creates a `Makefile' from `Makefile.in' 
rm -f Makefile sedfile
cat ${1:-"../.."}/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
