gap-math/gap.sh

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