Skip to content

Commit

Permalink
Small adjustment for compiling GAP 4.12.0.
Browse files Browse the repository at this point in the history
  • Loading branch information
frankluebeck committed Aug 22, 2022
1 parent e45e26d commit f9cafdd
Showing 1 changed file with 5 additions and 14 deletions.
19 changes: 5 additions & 14 deletions InstallForRsync
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
#!/bin/bash

#TEMPORARY: copy Browse-1.8.11.1.tar.gz next to GAP archive

hostname
date

Expand All @@ -18,27 +16,20 @@ fi

tar xzvf $ARCHIVE --one-top-level=build

#TEMPORARY:
cd build/gap*/pkg/
rm -rf Browse
tar xvzf ../../../Browse-1.8.11.2.tar.gz
cd ../../../


# compile GAP and packages
cd build
mv gap* gap-rsync
cd gap-rsync

# repair some permissions
chmod -R -c g-w,o-r,g+r,o+r .

./configure
make -j 8

# We do not install PolymakeInterface which would need a huge amount
# of software installed. People who want to use this can probably
# compile it themselves on their machine.
# compiling packages
cd pkg
mv PolymakeInterface* ../
../bin/BuildPackages.sh
mv ../PolymakeInterface* .

cd ..

Expand Down

0 comments on commit f9cafdd

Please sign in to comment.