diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-02-18 12:11:06 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-02-18 12:11:06 +0000 |
commit | 0c7a1fcf96129de3be035673548abb98cf5f52bd (patch) | |
tree | df6630d74d744cb5f1e56916cacdc2fef0287b94 /pkgs/development/libraries/ppl | |
parent | a09119041c12c834f7db8bfdefa4ef27c0270344 (diff) | |
download | nixlib-0c7a1fcf96129de3be035673548abb98cf5f52bd.tar nixlib-0c7a1fcf96129de3be035673548abb98cf5f52bd.tar.gz nixlib-0c7a1fcf96129de3be035673548abb98cf5f52bd.tar.bz2 nixlib-0c7a1fcf96129de3be035673548abb98cf5f52bd.tar.lz nixlib-0c7a1fcf96129de3be035673548abb98cf5f52bd.tar.xz nixlib-0c7a1fcf96129de3be035673548abb98cf5f52bd.tar.zst nixlib-0c7a1fcf96129de3be035673548abb98cf5f52bd.zip |
ppl: fix build
Diffstat (limited to 'pkgs/development/libraries/ppl')
-rw-r--r-- | pkgs/development/libraries/ppl/default.nix | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/pkgs/development/libraries/ppl/default.nix b/pkgs/development/libraries/ppl/default.nix index 73eda630e449..566d88dcdb56 100644 --- a/pkgs/development/libraries/ppl/default.nix +++ b/pkgs/development/libraries/ppl/default.nix @@ -1,4 +1,4 @@ -{ fetchurl, stdenv, gmpxx, perl, gnum4 }: +{ fetchurl, fetchpatch, stdenv, gmpxx, perl, gnum4 }: let version = "1.2"; in @@ -10,6 +10,12 @@ stdenv.mkDerivation rec { sha256 = "1wgxcbgmijgk11df43aiqfzv31r3bkxmgb4yl68g21194q60nird"; }; + patches = [(fetchpatch { + name = "ppl.patch"; + url = "http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=patch;h=c39f6a07b51f89e365b05ba4147aa2aa448febd7"; + sha256 = "1zj90hm25pkgvk4jlkfzh18ak9b98217gbidl3731fdccbw6hr87"; + })]; + nativeBuildInputs = [ perl gnum4 ]; propagatedBuildInputs = [ gmpxx ]; |