#!/bin/sh
GAP_DIR=/home/jmichel/gap3-jm5
exec $GAP_DIR/src/gap.x86linux -m 512m -l $GAP_DIR/lib/ -h $GAP_DIR/doc/ $*
#gdb: run -m 512m -l ../lib/ -h ../doc/ -g
