Skip to content

Commit 038a4c7

Browse files
committed
ensure make gap-clean still works
1 parent 494eaeb commit 038a4c7

File tree

3 files changed

+4
-8
lines changed

3 files changed

+4
-8
lines changed

build/pkgs/gap/spkg-install.in

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ fi
2020
sdh_configure $SAGE_CONFIGURE_GMP LDFLAGS="-pthread" --prefix=$SAGE_LOCAL
2121
sdh_make
2222

23-
sdh_make install
23+
sdh_make_install
2424
# sdh_make install-headers install-libgap
2525
# The 'packagemanager' package expects this https://github.com/gap-packages/PackageManager/issues/105
2626
mkdir -p "$SAGE_LOCAL/lib/gap/bin"

build/pkgs/gap/spkg-legacy-uninstall

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,8 @@ rm -rf "$SAGE_LOCAL/gap/gap-4."*
44
rm -rf "$SAGE_SHARE/gap"
55
rm -f "$SAGE_LOCAL/gap/latest"
66
rm -f "$SAGE_LOCAL/bin/gap"
7+
rm -f "$SAGE_LOCAL/bin/gac"
78

8-
# Remove old libgap headers
9+
# Remove old libgap headers and library
910
rm -rf "$SAGE_LOCAL/include/gap"
11+
rm -rf "$SAGE_LOCAL/lib/gap"

build/pkgs/gap/spkg-prerm.in

Lines changed: 0 additions & 6 deletions
This file was deleted.

0 commit comments

Comments
 (0)