#!/bin/sh

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


gaproot=$1

. $gaproot/sysinfo.gap


GMPprefix=/usr/local
if [ x$2 != x ]; then
	GMPprefix=$2
fi	

LRSDIR=`pwd`/lrslib-042b

sed -e s=@LRSDIR@=$LRSDIR= -e s/@GAPArch@/$GAParch/g -e s=@GMPprefix@=$GMPprefix= < Makefile.in > Makefile
