build: fix ppl script installation

imitator-model-checker · Dec 20, 2023 · 0d32d16 · 0d32d16
1 parent a3ba971
commit 0d32d16
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/scripts/install-ppl.sh b/.github/scripts/install-ppl.sh
@@ -13,10 +13,11 @@ cd ppl-${PPL_VERSION}
 if [[ "$RUNNER_OS" = "macOS" ]]; then
     # patch clang
     patch -p0 <"${PATCH_FOLDER}/clang5.patch"
+    EXTRA_ARGS="--with-gmp=$(brew --prefix)"
 fi
 
 # compile ppl
-./configure --prefix=$(opam var prefix) --with-mlgmp=$(opam var lib)/gmp --disable-documentation --enable-interfaces=ocaml
+./configure --prefix=$(opam var prefix) --with-mlgmp=$(opam var lib)/gmp ${EXTRA_ARGS} --disable-documentation --enable-interfaces=ocaml
 
 # compile Ocaml interface
 cd interfaces/OCaml && make -j 4 && make install && cd ../../..