Skip to content

Commit 404f23a

Browse files
orlitzkydimpase
authored andcommitted
build/pkgs/gap{,_packages}: install packagemanager with the gap core SPKG
If the user doesn't want to use either the sage package manager or his system's package manager, then this should be available immediately.
1 parent 5d10bee commit 404f23a

File tree

2 files changed

+9
-4
lines changed

2 files changed

+9
-4
lines changed

build/pkgs/gap/spkg-install.in

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,15 @@ sdh_install \
4444
pkg/tomlib \
4545
"$GAP_ROOT"/pkg
4646

47+
# Finally, install packagemanager for the people who reject both
48+
# sage's and their system's package managers. We have to create
49+
# the local bin directory first:
50+
#
51+
# https://github.com/gap-packages/PackageManager/issues/105
52+
#
53+
mkdir -p "$SAGE_LOCAL/lib/gap/bin"
54+
sdh_install pkg/packagemanager "$GAP_ROOT"/pkg
55+
4756
# TODO: This seems unnecessary--we are already installing all of doc/ to
4857
# GAP_ROOT, which is necessary for some functionality in GAP to work. Do
4958
# we need this? Maybe doc/gap could just be a symlink to gap/doc??

build/pkgs/gap_packages/spkg-install.in

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -33,9 +33,6 @@ PKG_DIR="$SAGE_LOCAL/lib/gap/pkg"
3333
PKG_SRC_DIR="$(pwd)/src/pkg"
3434
cd "$PKG_SRC_DIR"
3535

36-
# The 'packagemanager' package expects this https://github.com/gap-packages/PackageManager/issues/105
37-
mkdir -p "$SAGE_LOCAL/lib/gap/bin"
38-
3936
# directly install pure GAP packages
4037
#
4138
# happrime - no longer distributed, partly merged in Hap,
@@ -61,7 +58,6 @@ sdh_install \
6158
liering \
6259
loops \
6360
mapclass \
64-
packagemanager \
6561
polymaking \
6662
qpa \
6763
quagroup \

0 commit comments

Comments
 (0)