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 /pkgs/applications/science | |
| parent | 2ac12966e6e33d7c71e84e73b0439432b92e9efe (diff) | |
| download | nixpkgs-a67a50895c70deb72ec0fa138b4f2a31ba476507.tar nixpkgs-a67a50895c70deb72ec0fa138b4f2a31ba476507.tar.gz nixpkgs-a67a50895c70deb72ec0fa138b4f2a31ba476507.tar.bz2 nixpkgs-a67a50895c70deb72ec0fa138b4f2a31ba476507.tar.lz nixpkgs-a67a50895c70deb72ec0fa138b4f2a31ba476507.tar.xz nixpkgs-a67a50895c70deb72ec0fa138b4f2a31ba476507.tar.zst nixpkgs-a67a50895c70deb72ec0fa138b4f2a31ba476507.zip | |
gfan: init at 0.5
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/math/gfan/default.nix | 24 |
1 files changed, 24 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 00000000000..dbd28cf9e8c --- /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"; + }; +} |