Skip to content

Commit 494eaeb

Browse files
antonio-rojasdimpase
authored andcommitted
Create lib/gap/bin on install
The 'packagemanager' package does not load without it
1 parent 5e3c4ec commit 494eaeb

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

build/pkgs/gap/spkg-install.in

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -20,10 +20,10 @@ fi
2020
sdh_configure $SAGE_CONFIGURE_GMP LDFLAGS="-pthread" --prefix=$SAGE_LOCAL
2121
sdh_make
2222

23-
# GAP's "make install" is work in progress; we use bits and pieces of it
24-
# but we install many things manually.
2523
sdh_make install
2624
# sdh_make install-headers install-libgap
25+
# The 'packagemanager' package expects this https://github.com/gap-packages/PackageManager/issues/105
26+
mkdir -p "$SAGE_LOCAL/lib/gap/bin"
2727

2828
# Install only the minimal packages GAP needs to run
2929
sdh_install pkg/gapdoc pkg/primgrp pkg/smallgrp pkg/transgrp "$GAP_ROOT"/pkg

0 commit comments

Comments
 (0)