fix macOS Homebrew library paths

bitwuzla · Sep 1, 2023 · f40b7c0 · f40b7c0
1 parent 464fa4b
commit f40b7c0
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/api/dune b/api/dune
@@ -20,7 +20,7 @@
   ../vendor/bitwuzla/src/lib/bitwuzla-libs
   ../vendor/cadical/cadical)
  (library_flags -linkall)
- (c_library_flags :standard -lgmp))
+ (c_library_flags :standard -L/opt/homebrew/lib -lgmp))
 
 (executable
  (name result)
@@ -40,7 +40,7 @@
   ../vendor/bitwuzla/src/lib/bitwuzla-libs
   ../vendor/cadical/cadical)
  (library_flags -linkall)
- (c_library_flags :standard -lgmp))
+ (c_library_flags :standard -L/opt/homebrew/lib -lgmp))
 
 (executable
  (name rounding_mode)
@@ -60,7 +60,7 @@
   ../vendor/bitwuzla/src/lib/bitwuzla-libs
   ../vendor/cadical/cadical)
  (library_flags -linkall)
- (c_library_flags :standard -lgmp))
+ (c_library_flags :standard -L/opt/homebrew/lib -lgmp))
 
 (executable
  (name kind)
@@ -80,4 +80,4 @@
   ../vendor/bitwuzla/src/lib/bitwuzla-libs
   ../vendor/cadical/cadical)
  (library_flags -linkall)
- (c_library_flags :standard -lgmp))
+ (c_library_flags :standard -L/opt/homebrew/lib -lgmp))