diff options
| author | Orivej Desh <orivej@gmx.fr> | 2017-12-05 11:28:04 +0000 |
|---|---|---|
| committer | Orivej Desh <orivej@gmx.fr> | 2017-12-07 08:52:42 +0000 |
| commit | 9f8ec7e4d327f96d7a6de982bcfd983e3cd873f1 (patch) | |
| tree | aae9e9a7c9df0fd7af20368a5098a8241820d93e /pkgs/applications/science/logic/stp | |
| parent | 812e0bced198a3d4d7d8b01ca6c2ae6490f7bb4f (diff) | |
| download | nixpkgs-9f8ec7e4d327f96d7a6de982bcfd983e3cd873f1.tar nixpkgs-9f8ec7e4d327f96d7a6de982bcfd983e3cd873f1.tar.gz nixpkgs-9f8ec7e4d327f96d7a6de982bcfd983e3cd873f1.tar.bz2 nixpkgs-9f8ec7e4d327f96d7a6de982bcfd983e3cd873f1.tar.lz nixpkgs-9f8ec7e4d327f96d7a6de982bcfd983e3cd873f1.tar.xz nixpkgs-9f8ec7e4d327f96d7a6de982bcfd983e3cd873f1.tar.zst nixpkgs-9f8ec7e4d327f96d7a6de982bcfd983e3cd873f1.zip | |
stp: disable parallel building
Diffstat (limited to 'pkgs/applications/science/logic/stp')
| -rw-r--r-- | pkgs/applications/science/logic/stp/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/stp/default.nix b/pkgs/applications/science/logic/stp/default.nix index 8c0b82cc549..367449f44f3 100644 --- a/pkgs/applications/science/logic/stp/default.nix +++ b/pkgs/applications/science/logic/stp/default.nix @@ -23,6 +23,10 @@ stdenv.mkDerivation rec { ) ''; + # `make -f lib/Interface/CMakeFiles/cppinterface.dir/build.make lib/Interface/CMakeFiles/cppinterface.dir/cpp_interface.cpp.o`: + # include/stp/AST/UsefulDefs.h:41:29: fatal error: stp/AST/ASTKind.h: No such file or directory + enableParallelBuilding = false; + meta = with stdenv.lib; { description = "Simple Theorem Prover"; maintainers = with maintainers; [ mornfall ]; |