Fix build error on macos

JonathanSalwan · Oct 17, 2024 · ec187d9 · ec187d9
1 parent 46b75c9
commit ec187d9
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}
     )