Merge pull request #1365 from selimsandal/patch-1

Fix bitwuzla not found on macos
JonathanSalwan · Oct 16, 2024 · 243ff86 · 243ff86
2 parents 80168f6 + e9c72de
commit 243ff86
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CMakeModules/FindBITWUZLA.cmake b/CMakeModules/FindBITWUZLA.cmake
@@ -23,7 +23,7 @@ endif()
 
 if(NOT BITWUZLA_INCLUDE_DIRS AND NOT BITWUZLA_LIBRARIES)
     find_path(BITWUZLA_INCLUDE_DIR
-      NAMES bitwuzla/bitwuzla.h
+      NAMES bitwuzla/bitwuzla.h bitwuzla/cpp/bitwuzla.h
       PATHS ${BITWUZLA_PKGCONF_INCLUDE_DIRS}
     )