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

Merge pull request #35192 from vbgl/ppl-typename

Browse Source 
ppl: fix build
This commit is contained in:
Jörg Thalheim 2018-02-20 23:13:23 +00:00 committed by GitHub
commit eda72ad748
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/development/libraries/ppl/default.nix
View File

@ -1,4 +1,4 @@
{ fetchurl, stdenv, gmpxx, perl, gnum4 }: { fetchurl, fetchpatch, stdenv, gmpxx, perl, gnum4 }:
let version = "1.2"; in let version = "1.2"; in
@ -10,6 +10,12 @@ stdenv.mkDerivation rec {
sha256 = "1wgxcbgmijgk11df43aiqfzv31r3bkxmgb4yl68g21194q60nird"; 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 ]; nativeBuildInputs = [ perl gnum4 ];
propagatedBuildInputs = [ gmpxx ]; propagatedBuildInputs = [ gmpxx ];