gap: install libgap

There are some starts of a `make install`, but nothing complete yet.
Upstream now ships a `libgap` as a replacement of the custom one used by
sagemath.
This commit is contained in:
Timo Kaufmann
2019-01-17 10:10:21 +01:00
parent 6bbd0596dd
commit bb173ec8e3
2 changed files with 25 additions and 2 deletions
+10 -1
View File
@@ -107,7 +107,16 @@ stdenv.mkDerivation rec {
popd
'';
installPhase = ''
installTargets = [
"install-libgap"
"install-headers"
];
# full `make install` is not yet implemented, just for libgap and headers
postInstall = ''
# Install config.h, which is not currently handled by `make install-headers`
cp gen/config.h "$out/include/gap"
mkdir -p "$out/bin" "$out/share/gap/"
mkdir -p "$out/share/gap"