dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

bitwuzla: unstable-2022-08-07 -> unstable-2022-10-03

Browse Source 
We're dropping -DUSE_SYMFPU because the new Bitwuzla version has a hard
requirement on SymFPU.
This commit is contained in:
Mrmaxmeier 2022-10-04 18:11:00 +00:00
parent 69e6f91ed1
commit 18663fd1c1
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/applications/science/logic/bitwuzla/default.nix
View File

@ -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}"