diff --git a/pkgs/development/libraries/ppl/0.11.nix b/pkgs/development/libraries/ppl/0.11.nix index 25e14543038d..d8ffde644de1 100644 --- a/pkgs/development/libraries/ppl/0.11.nix +++ b/pkgs/development/libraries/ppl/0.11.nix @@ -2,7 +2,7 @@ let version = "0.11"; - staticFlags = if static then " --enable-static --disable-shared" else ""; + staticFlags = if static then " --enable-static --disable-shared --disable-watchdog" else ""; in stdenv.mkDerivation rec { name = "ppl-${version}"; diff --git a/pkgs/development/libraries/ppl/default.nix b/pkgs/development/libraries/ppl/default.nix index 128a370c376f..677d578e2425 100644 --- a/pkgs/development/libraries/ppl/default.nix +++ b/pkgs/development/libraries/ppl/default.nix @@ -2,7 +2,7 @@ let version = "0.10.2"; - staticFlags = if static then " --enable-static --disable-shared --disable-watchdog" else ""; + staticFlags = if static then " --enable-static --disable-shared" else ""; in stdenv.mkDerivation rec { name = "ppl-${version}";