gfan: 0.5 -> 0.6; #28643

This commit is contained in:
Michael Raskin 2017-08-30 18:19:00 +02:00
parent 769c44d9d8
commit e36afa80e3

View file

@ -2,17 +2,16 @@
stdenv.mkDerivation rec {
name = "${pname}-${version}";
pname = "gfan";
version = "0.5";
# or fetchFromGitHub(owner,repo,rev) or fetchgit(rev)
version = "0.6";
src = fetchurl {
url = "http://home.math.au.dk/jensen/software/gfan/gfan${version}.tar.gz";
sha256 = "0adk9pia683wf6kn6h1i02b3801jz8zn67yf39pl57md7bqbrsma";
sha256 = "02d6dvzfwy0lnidfgf98052jfqwy285nfm1h5nnx7jbgic1nnpgz";
};
preBuild = ''
sed -e 's@static int i;@//&@' -i app_minkowski.cpp
'';
makeFlags = ''PREFIX=$(out)'';
makeFlags = ''PREFIX=$(out) CC=cc CXX=c++ cddnoprefix=1'';
buildInputs = [gmp mpir cddlib];
meta = {
inherit version;
description = ''A software package for computing Gröbner fans and tropical varieties'';