Skip to content

Commit

Permalink
build/pkgs/gap{,_packages}: install packagemanager with the gap core …
Browse files Browse the repository at this point in the history
…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.
  • Loading branch information
orlitzky committed Dec 7, 2023
1 parent fa113b3 commit bd7d07e
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 4 deletions.
9 changes: 9 additions & 0 deletions build/pkgs/gap/spkg-install.in
Original file line number Diff line number Diff line change
Expand Up @@ -44,6 +44,15 @@ sdh_install \
pkg/tomlib \
"$GAP_ROOT"/pkg

# Finally, install packagemanager for the people who reject both
# sage's and their system's package managers. We have to create
# the local bin directory first:
#
# https://github.com/gap-packages/PackageManager/issues/105
#
mkdir -p "$SAGE_LOCAL/lib/gap/bin"
sdh_install pkg/packagemanager "$GAP_ROOT"/pkg

# TODO: This seems unnecessary--we are already installing all of doc/ to
# GAP_ROOT, which is necessary for some functionality in GAP to work. Do
# we need this? Maybe doc/gap could just be a symlink to gap/doc??
Expand Down
4 changes: 0 additions & 4 deletions build/pkgs/gap_packages/spkg-install.in
Original file line number Diff line number Diff line change
Expand Up @@ -33,9 +33,6 @@ PKG_DIR="$SAGE_LOCAL/lib/gap/pkg"
PKG_SRC_DIR="$(pwd)/src/pkg"
cd "$PKG_SRC_DIR"

# The 'packagemanager' package expects this https://github.com/gap-packages/PackageManager/issues/105
mkdir -p "$SAGE_LOCAL/lib/gap/bin"

# directly install pure GAP packages
#
# happrime - no longer distributed, partly merged in Hap,
Expand All @@ -61,7 +58,6 @@ sdh_install \
liering \
loops \
mapclass \
packagemanager \
polymaking \
qpa \
quagroup \
Expand Down

0 comments on commit bd7d07e

Please sign in to comment.