forked from gap-system/gap
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
gap
committed
Jul 18, 1997
1 parent
6c7882b
commit 9f78d7c
Showing
147 changed files
with
26,535 additions
and
8,574 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,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 '/usr/local/lib/gap3r4p4', which is a standard location. | ||
## You have to change this unless you have installed GAP in this location. | ||
## | ||
if [ "x$GAP_DIR" = "x" ]; then | ||
GAP_DIR=/usr/local/lib/gap4beta | ||
fi | ||
|
||
|
||
############################################################################# | ||
## | ||
## GAP_MEM . . . . . . . . . . . . . . . . . . . amount of initial workspace | ||
## | ||
## Set 'GAP_MEM' to the amount of memory GAP shall use as initial workspace. | ||
## The default is 8 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=8m | ||
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=`hostname`/gap | ||
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 $* |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,16 @@ | ||
preamble "" | ||
postamble "\n" | ||
group_skip "\n" | ||
headings_flag 1 | ||
heading_prefix "\\letter " | ||
numhead_positive "{}" | ||
symhead_positive "{}" | ||
item_0 "\n " | ||
item_1 "\n \\sub " | ||
item_01 "\n \\sub " | ||
item_x1 ", " | ||
item_2 "\n \\subsub " | ||
item_12 "\n \\subsub " | ||
item_x2 ", " | ||
page_compositor "--" | ||
line_max 1000 |
Oops, something went wrong.