2018-04-22 23:17:00 +02:00
|
|
|
{ stdenv
|
|
|
|
, fetchurl
|
|
|
|
, gmp
|
|
|
|
}:
|
|
|
|
# will probably be obsolte (or at leat built from the upstream gap sources) soon (gap 4.9?). See
|
|
|
|
# - https://github.com/gap-system/gap/projects/5#card-6239828
|
|
|
|
# - https://github.com/markuspf/gap/issues/2
|
|
|
|
# - https://trac.sagemath.org/ticket/22626
|
2016-10-11 14:41:44 +02:00
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "libgap-${version}";
|
2018-04-22 23:17:00 +02:00
|
|
|
# Has to be the same version as "gap"
|
2018-02-27 05:28:28 +01:00
|
|
|
version = "4.8.6";
|
2016-10-11 14:41:44 +02:00
|
|
|
src = fetchurl {
|
2018-04-22 23:17:00 +02:00
|
|
|
url = "mirror://sageupstream/libgap/libgap-${version}.tar.gz";
|
2018-02-27 05:28:28 +01:00
|
|
|
sha256 = "1h5fx5a55857w583ql7ly2jl49qyx9mvs7j5abys00ra9gzrpn5v";
|
2016-10-11 14:41:44 +02:00
|
|
|
};
|
|
|
|
buildInputs = [gmp];
|
|
|
|
meta = {
|
|
|
|
inherit version;
|
|
|
|
description = ''A library-packaged fork of the GAP kernel'';
|
|
|
|
license = stdenv.lib.licenses.gpl3Plus;
|
|
|
|
maintainers = [stdenv.lib.maintainers.raskin];
|
|
|
|
platforms = stdenv.lib.platforms.linux;
|
|
|
|
};
|
|
|
|
}
|