Update sharpsat include paths for Intel macs

booleworks · Jan 4, 2024 · b67d856 · b67d856
1 parent 859fcc2
commit b67d856
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 5 deletions.
diff --git a/lib/sharp_sat_ffi/sharp_sat/CMakeLists.txt b/lib/sharp_sat_ffi/sharp_sat/CMakeLists.txt
@@ -9,11 +9,13 @@ set(CMAKE_CXX_FLAGS_PROFILING "${CMAKE_CXX_FLAGS_PROFILING} -O3 -g -DNDEBUG -Wal
 
 IF(UNIX)
   IF(APPLE)
-    # include_directories(/opt/local/include)
-    include_directories(/usr/local/Cellar/gmp/6.3.0/include)
+    IF(CMAKE_APPLE_SILICON_PROCESSOR)
+      include_directories(/opt/homebrew/Cellar/gmp/6.3.0/include)
+    ELSE(CMAKE_APPLE_SILICON_PROCESSOR)
+      include_directories(/usr/local/include)
+    ENDIF(CMAKE_APPLE_SILICON_PROCESSOR)
   ELSE(APPLE)
-
-
+
   ENDIF(APPLE)
 ELSE(UNIX)
 

diff --git a/lib/sharp_sat_ffi/sharp_sat_wrapper/CMakeLists.txt b/lib/sharp_sat_ffi/sharp_sat_wrapper/CMakeLists.txt
@@ -13,7 +13,7 @@ IF(UNIX)
     IF(CMAKE_APPLE_SILICON_PROCESSOR)
       include_directories(/opt/homebrew/Cellar/gmp/6.3.0/include)
     ELSE(CMAKE_APPLE_SILICON_PROCESSOR)
-      include_directories(/usr/local/Cellar/gmp/6.3.0/include)
+      include_directories(/usr/local/include)
     ENDIF(CMAKE_APPLE_SILICON_PROCESSOR)
   ELSE(APPLE)