gap-libgap-compatible: init at 4r8p6

This commit is contained in:
Timo Kaufmann 2018-04-24 23:32:24 +02:00
parent b6f07b1d9e
commit b7a6689d6f

View File

@ -10099,6 +10099,24 @@ with pkgs;
libgadu = callPackage ../development/libraries/libgadu { };
gap-libgap-compatible = let
version = "4r8p6";
pkgVer = "2016_11_12-14_25";
in
(gap.override { keepAllPackages = false; }).overrideAttrs (oldAttrs: {
name = "libgap-${oldAttrs.pname}-${version}";
src = fetchurl {
url = "https://www.gap-system.org/pub/gap/gap48/tar.bz2/gap${version}_${pkgVer}.tar.bz2";
sha256 = "19n2p1mdg33s2x9rs51iak7rgndc1cwr56jyqnah0g1ydgg1yh6b";
};
patches = (oldAttrs.patches or []) ++ [
# don't install any packages by default (needed for interop with libgap, probably obsolete with 4r10
(fetchpatch {
url = "https://git.sagemath.org/sage.git/plain/build/pkgs/gap/patches/nodefaultpackages.patch?id=07d6c37d18811e2b377a9689790a7c5e24da16ba";
sha256 = "1xwj766m3axrxbkyx13hy3q8s2wkqxy3m6mgpwq3c3n4vk3v416v";
})
];
});
libgap = callPackage ../development/libraries/libgap { };
libgdata = gnome3.libgdata;