colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern style

Browse Source
This commit is contained in:
Will Dietz 2018-07-12 17:00:33 -05:00
parent b26c224293
commit d3a595f190
1 changed files with 13 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
pkgs/applications/science/logic/poly/default.nix
View File

@ -1,17 +1,20 @@
{stdenv, fetchurl, gmp, cmake, python}:
{stdenv, fetchFromGitHub, gmp, cmake, python}:
let version = "0.1.5";
in
stdenv.mkDerivation rec {
name = "${pname}-${version}";
pname = "libpoly";
version = "0.1.7";
stdenv.mkDerivation {
name = "libpoly-${version}";
src = fetchurl {
url = "https://github.com/SRI-CSL/libpoly/archive/v${version}.tar.gz";
sha256 = "0yj3gd60lx8dcgw7hgld8wqvjkpixx3ww3v33sdf7p6lln7ksxyn";
src = fetchFromGitHub {
owner = "SRI-CSL";
repo = "libpoly";
rev = "v${version}";
sha256 = "0i5ar4lhs88glk0rvkmag656ii434i6i1q5dspx6d0kyg78fii64";
};
buildInputs = [ cmake gmp python ];
nativeBuildInputs = [ cmake ];
buildInputs = [ gmp python ];
meta = with stdenv.lib; {
homepage = https://github.com/SRI-CSL/libpoly;