diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2016-10-10 20:35:32 +0200 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2016-10-26 11:06:36 +0200 |
commit | a67a50895c70deb72ec0fa138b4f2a31ba476507 (patch) | |
tree | 800aeb506e4847de36f4646969bd37350e6d7051 | |
parent | 2ac12966e6e33d7c71e84e73b0439432b92e9efe (diff) | |
download | nixlib-a67a50895c70deb72ec0fa138b4f2a31ba476507.tar nixlib-a67a50895c70deb72ec0fa138b4f2a31ba476507.tar.gz nixlib-a67a50895c70deb72ec0fa138b4f2a31ba476507.tar.bz2 nixlib-a67a50895c70deb72ec0fa138b4f2a31ba476507.tar.lz nixlib-a67a50895c70deb72ec0fa138b4f2a31ba476507.tar.xz nixlib-a67a50895c70deb72ec0fa138b4f2a31ba476507.tar.zst nixlib-a67a50895c70deb72ec0fa138b4f2a31ba476507.zip |
gfan: init at 0.5
-rw-r--r-- | pkgs/applications/science/math/gfan/default.nix | 24 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 26 insertions, 0 deletions
diff --git a/pkgs/applications/science/math/gfan/default.nix b/pkgs/applications/science/math/gfan/default.nix new file mode 100644 index 000000000000..dbd28cf9e8ce --- /dev/null +++ b/pkgs/applications/science/math/gfan/default.nix @@ -0,0 +1,24 @@ +{stdenv, fetchurl, gmp, mpir, cddlib}: +stdenv.mkDerivation rec { + name = "${pname}-${version}"; + pname = "gfan"; + version = "0.5"; + # or fetchFromGitHub(owner,repo,rev) or fetchgit(rev) + src = fetchurl { + url = "http://home.math.au.dk/jensen/software/gfan/gfan${version}.tar.gz"; + sha256 = "0adk9pia683wf6kn6h1i02b3801jz8zn67yf39pl57md7bqbrsma"; + }; + preBuild = '' + sed -e 's@static int i;@//&@' -i app_minkowski.cpp + ''; + makeFlags = ''PREFIX=$(out)''; + buildInputs = [gmp mpir cddlib]; + meta = { + inherit version; + description = ''A software package for computing Gröbner fans and tropical varieties''; + license = stdenv.lib.licenses.gpl2 ; + maintainers = [stdenv.lib.maintainers.raskin]; + platforms = stdenv.lib.platforms.linux; + homepage = "http://home.math.au.dk/jensen/software/gfan/gfan.html"; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 751d75bef312..18a66867d28d 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -16545,6 +16545,8 @@ in gappa = callPackage ../applications/science/logic/gappa { }; + gfan = callPackage ../applications/science/math/gfan {}; + ginac = callPackage ../applications/science/math/ginac { }; glucose = callPackage ../applications/science/logic/glucose { }; |