diff options
author | Lluís Batlle i Rossell <viric@vicerveza.homeunix.net> | 2010-08-04 12:36:35 +0000 |
---|---|---|
committer | Lluís Batlle i Rossell <viric@vicerveza.homeunix.net> | 2010-08-04 12:36:35 +0000 |
commit | e0a11f532bcc9999cab38a055b0a6f1789f8af77 (patch) | |
tree | 0de8fdd320602981371cab709a0afcd50e131f79 /pkgs/development/libraries/ppl | |
parent | b17d1d7d07a91a79af432ca0330a879c954b5346 (diff) | |
download | nixlib-e0a11f532bcc9999cab38a055b0a6f1789f8af77.tar nixlib-e0a11f532bcc9999cab38a055b0a6f1789f8af77.tar.gz nixlib-e0a11f532bcc9999cab38a055b0a6f1789f8af77.tar.bz2 nixlib-e0a11f532bcc9999cab38a055b0a6f1789f8af77.tar.lz nixlib-e0a11f532bcc9999cab38a055b0a6f1789f8af77.tar.xz nixlib-e0a11f532bcc9999cab38a055b0a6f1789f8af77.tar.zst nixlib-e0a11f532bcc9999cab38a055b0a6f1789f8af77.zip |
Trying to bootstrap gcc 4.5 with ppl, so it does not depend on libstdc++ from the boostrap-tools.
svn path=/nixpkgs/branches/stdenv-updates/; revision=22947
Diffstat (limited to 'pkgs/development/libraries/ppl')
-rw-r--r-- | pkgs/development/libraries/ppl/default.nix | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/pkgs/development/libraries/ppl/default.nix b/pkgs/development/libraries/ppl/default.nix index cbe6ee21ecd6..677d578e2425 100644 --- a/pkgs/development/libraries/ppl/default.nix +++ b/pkgs/development/libraries/ppl/default.nix @@ -1,6 +1,9 @@ -{ fetchurl, stdenv, gmpxx, perl, gnum4 }: +{ fetchurl, stdenv, gmpxx, perl, gnum4, static ? false }: -let version = "0.10.2"; in +let + version = "0.10.2"; + staticFlags = if static then " --enable-static --disable-shared" else ""; +in stdenv.mkDerivation rec { name = "ppl-${version}"; @@ -12,6 +15,9 @@ let version = "0.10.2"; in buildNativeInputs = [ perl gnum4 ]; propagatedBuildInputs = [ gmpxx ]; + dontDisableStatic = if static then true else false; + configureFlags = staticFlags; + # 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. |