diff options
| author | Peter Simons <simons@cryp.to> | 2014-11-03 23:03:01 +0100 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2014-11-03 23:03:01 +0100 |
| commit | b5fed52c43360c8a1e6b632236ad41d98c59f804 (patch) | |
| tree | efcffbcbed9a980ee912f914baf535bf6181e74d /pkgs/applications/science/logic | |
| parent | 0346efdabfeef55d64c738e093795acc0e80d2d8 (diff) | |
| parent | 8d605dafc65ede7c4d33178192807612527c911d (diff) | |
| download | nixlib-b5fed52c43360c8a1e6b632236ad41d98c59f804.tar nixlib-b5fed52c43360c8a1e6b632236ad41d98c59f804.tar.gz nixlib-b5fed52c43360c8a1e6b632236ad41d98c59f804.tar.bz2 nixlib-b5fed52c43360c8a1e6b632236ad41d98c59f804.tar.lz nixlib-b5fed52c43360c8a1e6b632236ad41d98c59f804.tar.xz nixlib-b5fed52c43360c8a1e6b632236ad41d98c59f804.tar.zst nixlib-b5fed52c43360c8a1e6b632236ad41d98c59f804.zip | |
Merge pull request #4238 from wkennington/master.boost
Make boost 156 the default
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/stp/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/stp/default.nix b/pkgs/applications/science/logic/stp/default.nix index 109d9fe3d4be..cfe96bc6983a 100644 --- a/pkgs/applications/science/logic/stp/default.nix +++ b/pkgs/applications/science/logic/stp/default.nix @@ -7,7 +7,7 @@ stdenv.mkDerivation rec { rev = "3aa11620a823d617fc033d26aedae91853d18635"; sha256 = "832520787f57f63cf47364d080f30ad10d6d6e00f166790c19b125be3d6dd45c"; }; - buildInputs = [ cmake boost boost.lib bison flex perl zlib ]; + buildInputs = [ cmake boost bison flex perl zlib ]; cmakeFlags = [ "-DBUILD_SHARED_LIBS=ON" ]; patchPhase = '' sed -e 's,^export(PACKAGE.*,,' -i CMakeLists.txt |