From 69e6f91ed189151671c4922658df66ff81c3e161 Mon Sep 17 00:00:00 2001
From: Mrmaxmeier <Mrmaxmeier@gmail.com>
Date: Tue, 4 Oct 2022 18:10:43 +0000
Subject: [PATCH] bitwuzla: build with SymFPU

---
 pkgs/applications/science/logic/bitwuzla/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/applications/science/logic/bitwuzla/default.nix b/pkgs/applications/science/logic/bitwuzla/default.nix
index 82bfbd6dc3fe..467eeb5c8d9b 100644
--- a/pkgs/applications/science/logic/bitwuzla/default.nix
+++ b/pkgs/applications/science/logic/bitwuzla/default.nix
@@ -5,6 +5,7 @@
 , cmake
 , lingeling
 , btor2tools
+, symfpu
 , gtest
 , gmp
 , cadical
@@ -35,12 +36,14 @@ stdenv.mkDerivation rec {
     picosat
     minisat
     btor2tools
+    symfpu
     gmp
     zlib
   ] ++ lib.optional withLingeling lingeling;
 
   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}"