Clean GAP installation directory before re-installing

sagemath · Jan 29, 2017 · dc8c742 · dc8c742
1 parent ac31f23
commit dc8c742
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/build/pkgs/gap/spkg-install b/build/pkgs/gap/spkg-install
@@ -66,11 +66,15 @@ if [[ ! -f bin/gap.sh ]]; then
     exit 1
 fi
 
+# Wipe the installation directory.
+# This fixes https://trac.sagemath.org/ticket/22272
+echo "Removing previous installation of GAP..."
+rm -rf "$INSTALL_DIR"
+
 echo "Installing (copying) files..."
 # gap has no notion of installing itself (similar to sage), copy everything
 # See http://trac.sagemath.org/13211 for rationale of the filesystem layout
-mkdir -p "$INSTALL_DIR" &&
-cp -R * "$INSTALL_DIR"
+mkdir "$INSTALL_DIR" && cp -R * "$INSTALL_DIR"
 if [[ $? -ne 0 ]]; then
     echo >&2 "Error copying built GAP files."
     exit 1