diff options
author | Will Dietz <w@wdtz.org> | 2018-07-12 17:00:33 -0500 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-07-12 17:06:57 -0500 |
commit | d3a595f19077f67bd0306111860eb403e1b31a4d (patch) | |
tree | 8f575a8acdae27d98b306da1e92562d6d3c017a7 /pkgs/applications/science/logic/poly | |
parent | b26c2242933bdb82ec6a7cd6cb94b8df38acda29 (diff) | |
download | nixpkgs-d3a595f19077f67bd0306111860eb403e1b31a4d.tar nixpkgs-d3a595f19077f67bd0306111860eb403e1b31a4d.tar.gz nixpkgs-d3a595f19077f67bd0306111860eb403e1b31a4d.tar.bz2 nixpkgs-d3a595f19077f67bd0306111860eb403e1b31a4d.tar.lz nixpkgs-d3a595f19077f67bd0306111860eb403e1b31a4d.tar.xz nixpkgs-d3a595f19077f67bd0306111860eb403e1b31a4d.tar.zst nixpkgs-d3a595f19077f67bd0306111860eb403e1b31a4d.zip |
libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern style
Diffstat (limited to 'pkgs/applications/science/logic/poly')
-rw-r--r-- | pkgs/applications/science/logic/poly/default.nix | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/pkgs/applications/science/logic/poly/default.nix b/pkgs/applications/science/logic/poly/default.nix index 171d72a3e56..2f765572f9a 100644 --- a/pkgs/applications/science/logic/poly/default.nix +++ b/pkgs/applications/science/logic/poly/default.nix @@ -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; |