MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-17 07:13:23 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

gfan: init at 0.5

Browse source
This commit is contained in:
Michael Raskin 2016-10-10 20:35:32 +02:00
parent 2ac12966e6
commit a67a50895c
2 changed files with 26 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
pkgs/applications/science/math/gfan/default.nix Normal file
View file

@ -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";
};
}

2
pkgs/top-level/all-packages.nix
View file

@ -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 { };