File: uncompile.sh

package info (click to toggle)
gap-hap 1.66%2Bds-1
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 55,348 kB
  • sloc: xml: 15,368; sh: 216; javascript: 155; makefile: 126; ansic: 57; perl: 36
file content (29 lines) | stat: -rwxr-xr-x 627 bytes parent folder | download | duplicates (2) 
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
 
#You must set PKGDIR equal to the directory in which GAP packages are stored
# on your computer.

PKGDIR=$(dirname $(pwd));

#You must set GACDIR equal to the directory in which the GAP compiler gac is
#stored on your computer.

GACDIR=$(dirname $(which gac))

#####################################################################
#DON'T CHANGE ANYTHING BELOW
#####################################################################
read version < version;

LIB=$PKGDIR/hap-$version/lib;

rm $PKGDIR/hap-$version/boolean;
echo "COMPILED:=false;" > $PKGDIR/hap-$version/boolean;

rm -rf $PKGDIR/hap-$version/lib/*/Compiled