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
Oct 16, 1997
1 parent
6e94ed4
commit 9369465
Showing
1,286 changed files
with
27,079 additions
and
11,631 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,43 @@ | ||
#!/bin/sh | ||
############################################################################# | ||
## | ||
#W checkout Frank Celler | ||
## | ||
## this shell script checks out the next version of the alpha release | ||
## | ||
if [ -z "$BINDIR" ]; then | ||
echo "PANIC: you must set 'BINDIR'" | ||
exit 1 | ||
fi | ||
if ${BINDIR}/checkvar; then echo; else | ||
exit 1 | ||
fi | ||
|
||
|
||
# create an alpha directory | ||
cd ${ALPHAROOT} | ||
rm -rf alpha | ||
|
||
|
||
# checkout the files | ||
echo "$0: checking out version $VERSION of $DATE" | ||
cvs -Q checkout -D "$DATE" -d alpha GAP/4.0 | ||
if [ \! -d alpha ]; then | ||
echo "PANIC: cvs did not create an alpha directory" | ||
exit 1 | ||
fi | ||
|
||
|
||
# and add a tag | ||
echo "$0: tagging version $VERSION of $DATE" | ||
cvs -Q tag -F -D "$DATE" "ALPHA$VERSION" | ||
|
||
|
||
# set the version | ||
chmod 644 alpha/lib/version.g | ||
echo "VERSION := \"Alpha $VERSION\";" > alpha/lib/version.g | ||
echo "DATE := \"$DATE\";" >> alpha/lib/version.g | ||
|
||
|
||
# that's it | ||
exit 0 |
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,43 @@ | ||
#!/bin/sh | ||
############################################################################# | ||
## | ||
#W checkvar Frank Celler | ||
## | ||
## this shell script checks the variables | ||
## | ||
if [ -z "$CVSROOT" ]; then | ||
echo "PANIC: you must set 'CVSROOT'" | ||
exit 1 | ||
fi | ||
|
||
if [ -z "$ALPHAROOT" ]; then | ||
echo "PANIC: you must set 'ALPHAROOT'" | ||
exit 1 | ||
fi | ||
|
||
if [ -z "$VERSION" ]; then | ||
echo "PANIC: you must set 'VERSION'" | ||
exit 1 | ||
fi | ||
|
||
if [ -z "$DATE" ]; then | ||
echo "PANIC: you must set 'DATE'" | ||
exit 1 | ||
fi | ||
|
||
if [ -z "$MAKETARGET" ]; then | ||
echo "PANIC: you must set 'MAKETARGET'" | ||
exit 1 | ||
fi | ||
|
||
if [ -z "$GAPEXEC" ]; then | ||
echo "PANIC: you must set 'GAPEXEC'" | ||
exit 1 | ||
fi | ||
|
||
if [ -z "$TARDIR" ]; then | ||
echo "PANIC: you must set 'TARDIR'" | ||
exit 1 | ||
fi | ||
|
||
exit 0 |
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,29 @@ | ||
#!/bin/sh | ||
############################################################################# | ||
## | ||
#W compile Frank Celler | ||
## | ||
## this shell script compiles the next version of the alpha release | ||
## | ||
if [ -z "$BINDIR" ]; then | ||
echo "PANIC: you must set 'BINDIR'" | ||
exit 1 | ||
fi | ||
if ${BINDIR}/checkvar; then echo; else | ||
exit 1 | ||
fi | ||
|
||
|
||
# go into the source directoy and compile | ||
cd ${ALPHAROOT}/alpha/src | ||
echo "$0: compiling version $VERSION of $DATE for $MAKETARGET" | ||
make ${MAKETARGET} | ||
|
||
|
||
# check that a executable has been created | ||
if [ \! -x ${GAPEXEC} ]; then | ||
echo "PANIC: no executable '${GAPEXEC}' has been created" | ||
exit 1 | ||
fi | ||
|
||
exit 0 |
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,57 @@ | ||
#!/bin/sh | ||
############################################################################# | ||
## | ||
#W doit Frank Celler | ||
## | ||
## this shell script set the environment and then calls to various programs | ||
## to extract the current version, compile it, run the test file, and tar | ||
## everything up | ||
## | ||
. `dirname $0`/setvar | ||
|
||
# checkout the new version | ||
echo "======================================================================" | ||
echo | ||
if ${BINDIR}/checkout; then echo; else | ||
echo "PANIC: cannot checkout the next version" | ||
exit 1 | ||
fi | ||
|
||
|
||
# compile the new version | ||
echo | ||
echo "======================================================================" | ||
echo | ||
if ${BINDIR}/compile; then echo; else | ||
echo "PANIC: cannot compile the next version" | ||
exit 1 | ||
fi | ||
|
||
|
||
# run the test files the new version | ||
echo | ||
echo "======================================================================" | ||
echo | ||
if ${BINDIR}/readtest; then echo; else | ||
echo "PANIC: cannot run the test files" | ||
exit 1 | ||
fi | ||
|
||
|
||
# tar the new version | ||
echo | ||
echo "======================================================================" | ||
echo | ||
if ${BINDIR}/tarit; then echo; else | ||
echo "PANIC: cannot tar the next version" | ||
exit 1 | ||
fi | ||
|
||
echo | ||
echo "======================================================================" | ||
echo | ||
|
||
echo $VERSION > ${ALPHAROOT}/VERSION | ||
|
||
exit 0 | ||
|
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,36 @@ | ||
#!/bin/sh | ||
############################################################################# | ||
## | ||
#W compile Frank Celler | ||
## | ||
## this shell script reads the test files | ||
## | ||
if [ -z "$BINDIR" ]; then | ||
echo "PANIC: you must set 'BINDIR'" | ||
exit 1 | ||
fi | ||
if ${BINDIR}/checkvar; then echo; else | ||
exit 1 | ||
fi | ||
|
||
|
||
# go into the test directoy and start gap | ||
cd ${ALPHAROOT}/alpha/tst | ||
touch gap.core | ||
chmod 000 gap.core | ||
echo "$0: testing version $VERSION of $DATE" | ||
for file in *.tst; do | ||
echo "+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +" | ||
echo "$0: testing file '$file'" | ||
echo "Print(\"\\n\"); ReadTest(\"$file\");" | \ | ||
${GAPEXEC} \ | ||
-l ${ALPHAROOT}/alpha -r -b -m 10m | ||
done | ||
|
||
# do a "testall.g" | ||
echo "+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +" | ||
echo "$0: testing all" | ||
echo "Print(\"\\n\"); Read(\"testall.g\");" | \ | ||
${GAPEXEC} -l ${ALPHAROOT}/alpha -r -b -M -N -m 16m | ||
|
||
exit 0 |
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,54 @@ | ||
#!/bin/sh | ||
############################################################################# | ||
## | ||
#W setvar Frank Celler | ||
## | ||
## this shell script sets the variables | ||
## | ||
PATH=/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin | ||
|
||
# where does the CVS directory live | ||
CVSROOT=:pserver:gap@cvs-gap.dcs.st-and.ac.uk:/gap/CVS | ||
|
||
|
||
# where does the alpha directory live | ||
ALPHAROOT=/usd/gap/4.alpha | ||
if [ \! -d ${ALPHAROOT} ]; then | ||
echo "PANIC: directory '${ALPHAROOT}' does not exists" | ||
exit 1 | ||
fi | ||
|
||
|
||
# executable | ||
MAKETARGET=i386-ibm-freebsd-gcc2 | ||
GAPEXEC=${ALPHAROOT}/alpha/bin/i386-ibm-freebsd-gcc2/gap | ||
|
||
# what is *this moment* | ||
DATE=`date +"%D %T %Z"` | ||
|
||
|
||
# what is the next version | ||
if [ \! -f ${ALPHAROOT}/VERSION ]; then | ||
echo "PANIC: cannot find the version file '${ALPHAROOT}/VERSION'" | ||
exit 1 | ||
fi | ||
OLD_VERSION=`cat ${ALPHAROOT}/VERSION` | ||
if [ -z ${OLD_VERSION} ]; then | ||
echo "PANIC: version file '${ALPHAROOT}/VERSION' is corrupted'" | ||
exit 1 | ||
fi | ||
VERSION=`expr ${OLD_VERSION} + 1` | ||
|
||
|
||
# binary directory | ||
BINDIR=${ALPHAROOT}/bin | ||
|
||
|
||
# the tar directory | ||
TARDIR=/usd/gap4 | ||
|
||
|
||
# export these variables | ||
export CVSROOT ALPHAROOT VERSION BINDIR DATE GAPEXEC MAKETARGET TARDIR | ||
|
||
|
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,40 @@ | ||
#!/bin/sh | ||
############################################################################# | ||
## | ||
#W tarit Frank Celler | ||
## | ||
## this shell script tars up the next version of the alpha release | ||
## | ||
if [ -z "$BINDIR" ]; then | ||
echo "PANIC: you must set 'BINDIR'" | ||
exit 1 | ||
fi | ||
if ${BINDIR}/checkvar; then echo; else | ||
exit 1 | ||
fi | ||
|
||
|
||
# clean the old files | ||
cd ${TARDIR} | ||
[ -d OLD ] || mkdir OLD | ||
mv [a-z]*.tar.gz OLD | ||
|
||
|
||
# go into the source directoy and create the tar files | ||
cd ${ALPHAROOT} | ||
echo "$0: taring version $VERSION of $DATE" | ||
|
||
tar -c -z -f ${TARDIR}/gap4a${VERSION}.tar.gz --exclude CVS \ | ||
alpha/src alpha/lib | ||
|
||
tar -c -z -f ${TARDIR}/grp4a${VERSION}.tar.gz --exclude CVS \ | ||
alpha/grp alpha/small alpha/trans alpha/prim | ||
|
||
tar -c -z -f ${TARDIR}/tbl4a${VERSION}.tar.gz --exclude CVS \ | ||
alpha/tbl | ||
|
||
tar -c -z -f ${TARDIR}/tst4a${VERSION}.tar.gz --exclude CVS \ | ||
alpha/tst | ||
|
||
|
||
exit 0 |
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,25 @@ | ||
P(""); | ||
P("BETA BETA BETA BETA BETA BETA BETA BETA BETA BETA BETA BETA"); | ||
P(""); | ||
P("This is an BETA version of GAP 4. Please do not redistribute this"); | ||
P("version or discuss it in the GAP forum. You can get a new version and"); | ||
P("bugfixes from"); | ||
P(""); | ||
P(" ftp://ftp-gap.dcs.st-and.ac.uk"); | ||
P(""); | ||
P("Please report bugs and problems to"); | ||
P(""); | ||
P(" gap-trouble@dcs.st-and.ac.uk"); | ||
P(""); | ||
P("quoting the Version and Date below and the machine, operation system,"); | ||
P("and compiler used."); | ||
P(""); | ||
P("BETA BETA BETA BETA BETA BETA BETA BETA BETA BETA BETA BETA"); | ||
P(""); | ||
Print("Version: ", VERSION, "\n"); | ||
Print("Date: ", DATE, "\n"); | ||
P(""); | ||
P("BETA BETA BETA BETA BETA BETA BETA BETA BETA BETA BETA BETA"); | ||
P(""); | ||
P("Loading the library, please be patient this may take a while."); | ||
P(""); |
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,44 @@ | ||
#!/bin/sh | ||
############################################################################# | ||
## | ||
#W checkout Frank Celler | ||
## | ||
## this shell script checks out the next version of the beta release | ||
## | ||
if [ -z "$BINDIR" ]; then | ||
echo "PANIC: you must set 'BINDIR'" | ||
exit 1 | ||
fi | ||
if ${BINDIR}/checkvar; then echo; else | ||
exit 1 | ||
fi | ||
|
||
|
||
# create an beta directory | ||
cd ${BETAROOT} | ||
rm -rf ${BETANAME} | ||
|
||
|
||
# checkout the files | ||
echo "$0: checking out version $VERSION of $DATE" | ||
cvs -Q export -D "$DATE" -d $BETANAME GAP/4.0 | ||
if [ \! -d ${BETANAME} ]; then | ||
echo "PANIC: cvs did not create an beta directory" | ||
exit 1 | ||
fi | ||
|
||
|
||
# and add a tag | ||
echo "$0: tagging version $VERSION of $DATE" | ||
cvs tag -F -D "$DATE" "GAP4B$VERSION" | ||
|
||
|
||
# set the version | ||
chmod 644 $BETANAME/lib/version.g | ||
echo "VERSION := \"Beta $VERSION\";" > beta/lib/version.g | ||
echo "DATE := \"$DATE\";" >> ${BETANAME}/lib/version.g | ||
cat $BINDIR/banner >> ${BETANAME}/lib/version.g | ||
|
||
|
||
# that's it | ||
exit 0 |
Oops, something went wrong.