nixpkgs/pkgs/development/libraries/libgap/default.nix

26 lines
819 B
Nix
Raw Normal View History

2018-04-22 21:17:00 +00: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 12:41:44 +00:00
stdenv.mkDerivation rec {
name = "libgap-${version}";
2018-04-22 21:17:00 +00:00
# Has to be the same version as "gap"
version = "4.8.6";
2016-10-11 12:41:44 +00:00
src = fetchurl {
2018-04-22 21:17:00 +00:00
url = "mirror://sageupstream/libgap/libgap-${version}.tar.gz";
sha256 = "1h5fx5a55857w583ql7ly2jl49qyx9mvs7j5abys00ra9gzrpn5v";
2016-10-11 12:41:44 +00: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;
};
}