diff --git a/packages/apron/apron.0.9.14/opam b/packages/apron/apron.0.9.14/opam index 1a1f344810b6..7afc17733665 100644 --- a/packages/apron/apron.0.9.14/opam +++ b/packages/apron/apron.0.9.14/opam @@ -11,6 +11,9 @@ maintainer: "Nicolas Berthier " dev-repo: "git+https://github.com/antoinemine/apron.git" bug-reports: "https://github.com/antoinemine/apron/issues" build: [ + [ + "sh" "-exec" "./configure --prefix %{share}%/apron --mpfr-prefix $HOMEBREW_PREFIX/opt/mpfr --gmp-prefix $HOMEBREW_PREFIX/opt/gmp --absolute-dylibs --debug --no-strip" + ] { os = "macos" & os-distribution = "homebrew" } [ "sh" "./configure" @@ -22,7 +25,7 @@ build: [ "--ext-dll" {os = "win32"} "dll" {os = "win32"} "--debug" "--no-strip" - ] + ] {!(os = "macos"& os-distribution = "homebrew")} [make "-j%{jobs}%"] ] install: [ diff --git a/packages/apron/apron.v0.9.12/opam b/packages/apron/apron.v0.9.12/opam index b78bdc83d8ba..8ce413430292 100644 --- a/packages/apron/apron.v0.9.12/opam +++ b/packages/apron/apron.v0.9.12/opam @@ -11,6 +11,9 @@ maintainer: "Nicolas Berthier " dev-repo: "git+https://github.com/antoinemine/apron.git" bug-reports: "https://github.com/antoinemine/apron/issues" build: [ + [ + "sh" "-exec" "./configure --prefix %{share}%/apron --mpfr-prefix $HOMEBREW_PREFIX/opt/mpfr --gmp-prefix $HOMEBREW_PREFIX/opt/gmp --absolute-dylibs --debug --no-strip" + ] { os = "macos" & os-distribution = "homebrew" } [ "sh" "./configure" @@ -20,7 +23,7 @@ build: [ "--no-ocaml-plugins" {os = "freebsd"} "--absolute-dylibs" {os = "macos"} "--ext-dll" {os = "win32"} "dll" {os = "win32"} - ] + ] {!(os = "macos"& os-distribution = "homebrew")} [make "-j%{jobs}%"] ] install: [ diff --git a/packages/apron/apron.v0.9.14/opam b/packages/apron/apron.v0.9.14/opam index 5f9dad5658e6..cd70a699a4cc 100644 --- a/packages/apron/apron.v0.9.14/opam +++ b/packages/apron/apron.v0.9.14/opam @@ -11,6 +11,9 @@ maintainer: "Nicolas Berthier " dev-repo: "git+https://github.com/antoinemine/apron.git" bug-reports: "https://github.com/antoinemine/apron/issues" build: [ + [ + "sh" "-exec" "./configure --prefix %{share}%/apron --mpfr-prefix ${HOMEBREW_PREFIX:-/opt/homebrew}/ --gmp-prefix ${HOMEBREW_PREFIX:-/opt/homebrew}/ --ppl-prefix ${HOMEBREW_PREFIX:-/opt/homebrew}/ --absolute-dylibs --debug --no-strip" + ] { os = "macos" & os-distribution = "homebrew" } [ "sh" "./configure" @@ -22,7 +25,7 @@ build: [ "--ext-dll" {os = "win32"} "dll" {os = "win32"} "--debug" "--no-strip" - ] + ] {!(os = "macos"& os-distribution = "homebrew")} [make "-j%{jobs}%"] ] install: [ @@ -49,3 +52,6 @@ url { "sha512=9c1107cea95d56a377f221724064bc65dc605a624171064e681c07e1dece688e06b5511e9974df7c20d883d7dc6cdb25bf1431a8968d721d5c587875ffef751a" ] } +x-ci-accept-failures: [ + "oraclelinux-8" "oraclelinux-9" "alpine-3.19" +]