diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2021-01-03 16:43:56 +0700 |
---|---|---|
committer | Ben Siraphob <bensiraphob@gmail.com> | 2021-01-03 18:37:40 +0700 |
commit | 3ae5e6ce03f9dbf3f0a0a3e3161c83e28c1b45af (patch) | |
tree | e1ef883cca4049653aabfc8409cd6e7d51f1de92 /pkgs/applications/science/logic | |
parent | fb2311d4307f9873ccd38c7f080fbf1df8f17daa (diff) | |
download | nixpkgs-3ae5e6ce03f9dbf3f0a0a3e3161c83e28c1b45af.tar nixpkgs-3ae5e6ce03f9dbf3f0a0a3e3161c83e28c1b45af.tar.gz nixpkgs-3ae5e6ce03f9dbf3f0a0a3e3161c83e28c1b45af.tar.bz2 nixpkgs-3ae5e6ce03f9dbf3f0a0a3e3161c83e28c1b45af.tar.lz nixpkgs-3ae5e6ce03f9dbf3f0a0a3e3161c83e28c1b45af.tar.xz nixpkgs-3ae5e6ce03f9dbf3f0a0a3e3161c83e28c1b45af.tar.zst nixpkgs-3ae5e6ce03f9dbf3f0a0a3e3161c83e28c1b45af.zip |
treewide: remove enableParallelBuilding = true if using cmake
Diffstat (limited to 'pkgs/applications/science/logic')
5 files changed, 0 insertions, 10 deletions
diff --git a/pkgs/applications/science/logic/abc/default.nix b/pkgs/applications/science/logic/abc/default.nix index 426c5a9df32..0e60122a598 100644 --- a/pkgs/applications/science/logic/abc/default.nix +++ b/pkgs/applications/science/logic/abc/default.nix @@ -16,7 +16,6 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ cmake ]; buildInputs = [ readline ]; - enableParallelBuilding = true; installPhase = "mkdir -p $out/bin && mv abc $out/bin"; # needed by yosys diff --git a/pkgs/applications/science/logic/cvc4/default.nix b/pkgs/applications/science/logic/cvc4/default.nix index 54a2f022551..1a92247c54d 100644 --- a/pkgs/applications/science/logic/cvc4/default.nix +++ b/pkgs/applications/science/logic/cvc4/default.nix @@ -35,9 +35,6 @@ stdenv.mkDerivation rec { "-DCMAKE_BUILD_TYPE=Production" ]; - - enableParallelBuilding = true; - meta = with stdenv.lib; { description = "A high-performance theorem prover and SMT solver"; homepage = "http://cvc4.cs.stanford.edu/web/"; diff --git a/pkgs/applications/science/logic/fast-downward/default.nix b/pkgs/applications/science/logic/fast-downward/default.nix index a4654209537..cc14fd7706a 100644 --- a/pkgs/applications/science/logic/fast-downward/default.nix +++ b/pkgs/applications/science/logic/fast-downward/default.nix @@ -16,8 +16,6 @@ stdenv.mkDerivation { cmakeFlags = lib.optional osi.withCplex [ "-DDOWNWARD_CPLEX_ROOT=${cplex}/cplex" ]; - enableParallelBuilding = true; - configurePhase = '' python build.py release ''; diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index 88e1b4fbc0e..0ed3a544c77 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -13,7 +13,6 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ cmake ]; buildInputs = [ gmp ]; - enableParallelBuilding = true; cmakeDir = "../src"; diff --git a/pkgs/applications/science/logic/stp/default.nix b/pkgs/applications/science/logic/stp/default.nix index dd00eda1b57..fcffc239b48 100644 --- a/pkgs/applications/science/logic/stp/default.nix +++ b/pkgs/applications/science/logic/stp/default.nix @@ -24,9 +24,6 @@ stdenv.mkDerivation rec { ) ''; - # seems to build fine now, may revert if concurrency does become an issue - enableParallelBuilding = true; - meta = with stdenv.lib; { description = "Simple Theorem Prover"; maintainers = with maintainers; [ ]; |