diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-08-26 13:58:04 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-08-26 13:58:35 +0200 |
| commit | be5d898473719b6e43b2ee1a104b2cdb1a29f222 (patch) | |
| tree | 313c0d0779e8896cf9028ab66785032ccc12c495 /pkgs/development/libraries/ppl/default.nix | |
| parent | 8c3cc7c7c4fa88b4df7adf7841cb5cbf03459f8f (diff) | |
| download | nixpkgs-be5d898473719b6e43b2ee1a104b2cdb1a29f222.tar nixpkgs-be5d898473719b6e43b2ee1a104b2cdb1a29f222.tar.gz nixpkgs-be5d898473719b6e43b2ee1a104b2cdb1a29f222.tar.bz2 nixpkgs-be5d898473719b6e43b2ee1a104b2cdb1a29f222.tar.lz nixpkgs-be5d898473719b6e43b2ee1a104b2cdb1a29f222.tar.xz nixpkgs-be5d898473719b6e43b2ee1a104b2cdb1a29f222.tar.zst nixpkgs-be5d898473719b6e43b2ee1a104b2cdb1a29f222.zip | |
ppl: 1.1 -> 1.2
Diffstat (limited to 'pkgs/development/libraries/ppl/default.nix')
| -rw-r--r-- | pkgs/development/libraries/ppl/default.nix | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/pkgs/development/libraries/ppl/default.nix b/pkgs/development/libraries/ppl/default.nix index d6e699929ba..73eda630e44 100644 --- a/pkgs/development/libraries/ppl/default.nix +++ b/pkgs/development/libraries/ppl/default.nix @@ -1,13 +1,13 @@ { fetchurl, stdenv, gmpxx, perl, gnum4 }: -let version = "1.1"; in +let version = "1.2"; in stdenv.mkDerivation rec { name = "ppl-${version}"; src = fetchurl { url = "http://bugseng.com/products/ppl/download/ftp/releases/${version}/ppl-${version}.tar.bz2"; - sha256 = "1vrqhbpyca6sf984cfcwlp8wdnfzj1g7ph9958qdky9978i1nlny"; + sha256 = "1wgxcbgmijgk11df43aiqfzv31r3bkxmgb4yl68g21194q60nird"; }; nativeBuildInputs = [ perl gnum4 ]; @@ -19,8 +19,6 @@ stdenv.mkDerivation rec { "--disable-ppl_lcdd" "--disable-ppl_lpsol" "--disable-ppl_pips" ]; - patches = [ ./ppl-cstddef.patch /* from Fedora */ ]; - # Beware! It took ~6 hours to compile PPL and run its tests on a 1.2 GHz # x86_64 box. Nevertheless, being a dependency of GCC, it probably ought # to be tested. |