#!/bin/sh

if [ x$1 = x ]; then
	echo "Usage: configure gapRootDir"
	exit 1
fi	


gaproot=$1

. $gaproot/sysinfo.gap


BINDIR=`pwd`/bin/$GAParch
NAUTYDIR=`pwd`/nauty22

sed -e "s^@NAUTYDIR@^$NAUTYDIR^g" -e "s/@GAPArch@/$GAParch/g"\
    -e "s^@BINDIR@^$BINDIR^g"  < Makefile.in > Makefile
