diff options
| author | Mrmaxmeier <Mrmaxmeier@gmail.com> | 2022-10-04 18:11:00 +0000 |
|---|---|---|
| committer | Mrmaxmeier <Mrmaxmeier@gmail.com> | 2022-10-04 18:14:31 +0000 |
| commit | 18663fd1c1132d659d8f68d101b14a96b5857b2e (patch) | |
| tree | 6156aeb9afee716373e535f46634d2f3ec1c3771 /pkgs/applications/science/logic | |
| parent | 69e6f91ed189151671c4922658df66ff81c3e161 (diff) | |
bitwuzla: unstable-2022-08-07 -> unstable-2022-10-03
We're dropping -DUSE_SYMFPU because the new Bitwuzla version has a hard requirement on SymFPU.
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/bitwuzla/default.nix | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/bitwuzla/default.nix b/pkgs/applications/science/logic/bitwuzla/default.nix index 467eeb5c8d9b9..cc8651f69cfa0 100644 --- a/pkgs/applications/science/logic/bitwuzla/default.nix +++ b/pkgs/applications/science/logic/bitwuzla/default.nix @@ -20,13 +20,13 @@ stdenv.mkDerivation rec { pname = "bitwuzla"; - version = "unstable-2022-08-07"; + version = "unstable-2022-10-03"; src = fetchFromGitHub { owner = "bitwuzla"; repo = "bitwuzla"; - rev = "b6fb61736a5cf70cd0b35ec4aeeadf23971610ce"; - hash = "sha256-T5VnnWrcZ8K1NjFf5eeg0TRpXBLRCxC67v8zWPwYF/Y="; + rev = "3bc0f9f1aca04afabe1aff53dd0937924618b2ad"; + hash = "sha256-UXZERl7Nedwex/oUrcf6/GkDSgOQ537WDYm117RfvWo="; }; nativeBuildInputs = [ cmake pkg-config ]; @@ -43,7 +43,6 @@ stdenv.mkDerivation rec { cmakeFlags = [ "-DBUILD_SHARED_LIBS=ON" - "-DUSE_SYMFPU=ON" "-DPicoSAT_INCLUDE_DIR=${lib.getDev picosat}/include/picosat" "-DBtor2Tools_INCLUDE_DIR=${lib.getDev btor2tools}/include/btor2parser" "-DBtor2Tools_LIBRARIES=${lib.getLib btor2tools}/lib/libbtor2parser${stdenv.hostPlatform.extensions.sharedLibrary}" |