From f9cafdd7af5f49bc75f5b772cd29761ff27a7e07 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frank=20L=C3=BCbeck?= <frank.luebeck@math.rwth-aachen.de>
Date: Mon, 22 Aug 2022 18:21:53 +0200
Subject: [PATCH] Small adjustment for compiling GAP 4.12.0.

---
 InstallForRsync | 19 +++++--------------
 1 file changed, 5 insertions(+), 14 deletions(-)

diff --git a/InstallForRsync b/InstallForRsync
index b1fb92c..5a43d70 100755
--- a/InstallForRsync
+++ b/InstallForRsync
@@ -1,7 +1,5 @@
 #!/bin/bash
 
-#TEMPORARY:  copy Browse-1.8.11.1.tar.gz next to GAP archive
-
 hostname
 date
 
@@ -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 ..