Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupport News AboutSign UpSign In
| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 415009
1
#!/bin/sh
2
#############################################################################
3
##
4
##
5
## This script unpacks the tools.tar.gz archive which contains some utilities
6
## mainly for package authors (preparing documentation and archives, ...).
7
##
8
## The content of the archive will go to the 'doc' and 'dev' subdirectories
9
## of the GAP root directory. To ensure that they will go to the correct
10
## destination, run this script *ONLY* from the 'etc' directory where it is
11
## located (same directory with the tools.tar.gz archive).
12
13
if [ -f tools.tar.gz ]
14
then
15
echo '============================================================================'
16
echo 'Unpacking tools.tar.gz archive ...'
17
tar -xvzf tools.tar.gz -C ../
18
echo 'Done!'
19
echo '============================================================================'
20
else
21
echo '============================================================================'
22
echo 'Error in install-tools.sh: can not find tools.tar.gz archive!'
23
echo 'Please run install-tools.sh from the dev directory of your GAP installation!'
24
echo '============================================================================'
25
fi
26
27
28
29