1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63
|
#!/bin/sh
#############################################################################
##
## gap.sh GAP Martin Schoenert
##
## This is a shell script for the UNIX operating system that starts GAP.
## This is the place where you make all the necessary customizations.
## Then copy this file to a directory in your search path, e.g., '~/bin'.
## If you later move GAP to another location you must only change this file.
##
#############################################################################
##
## GAP_DIR . . . . . . . . . . . . . . . . . . . . directory where GAP lives
##
## Set 'GAP_DIR' to the name of the directory where you have installed GAP,
## i.e., the directory with the subdirectories 'lib', 'grp', 'doc', etc.
## The default is '@gapdir@', which is where you installed GAP.
## You won't have to change this unless you move the installation.
##
if [ "x$GAP_DIR" = "x" ]; then
GAP_DIR="@gapdir@"
fi
#############################################################################
##
## GAP_MEM . . . . . . . . . . . . . . . . . . . amount of initial workspace
##
## Set 'GAP_MEM' to the amount of memory GAP shall use as initial workspace.
## The default is 12 MByte, which is the minimal reasonable amount of memory.
## You have to change it if you want GAP to use a larger initial workspace.
## If you are not going to run GAP in parallel with other programs you may
## want to set this value close to the amount of memory your computer has.
##
if [ "x$GAP_MEM" = "x" ]; then
GAP_MEM=24m
fi
#############################################################################
##
## GAP_PRG . . . . . . . . . . . . . . . . . name of the executable program
##
## Set 'GAP_PRG' to the name of the executable program of the GAP kernel.
## The default is '`hostname'/gap'. You can either change this to
## '<target>/gap' where <target> is the target you have selected during the
## compilation or create a symbolic link from <target> to '`hostname`' in
## the 'bin' directory.
##
if [ "x$GAP_PRG" = "x" ]; then
GAP_PRG=@target@-@CC@/gap@EXEEXT@
fi
#############################################################################
##
## GAP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . run GAP
##
## You probably should not change this line, which finally starts GAP.
##
exec "$GAP_DIR/bin/$GAP_PRG" -m $GAP_MEM -l "$GAP_DIR" $*
|