-
Notifications
You must be signed in to change notification settings - Fork 15
Expand file tree
/
Copy pathcompile.sh
More file actions
executable file
·38 lines (24 loc) · 845 Bytes
/
compile.sh
File metadata and controls
executable file
·38 lines (24 loc) · 845 Bytes
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
30
31
32
33
34
#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:=true;" > $PKGDIR/hap-$version/boolean;
#$GACDIR/gac -d $LIB/CompiledGAP/*.c;
#mkdir $LIB/CompiledGAP/Compiled;
#mv *.so $LIB/CompiledGAP/Compiled/;
for dir in $(ls -d $LIB/*/); do
mkdir $dir/Compiled;
for file in $(ls $dir*.gi); do
$GACDIR/gac -d $file;
mv *.so $dir/Compiled;
rm *.la.la;
done;
done;