diff --git a/packages/gmp/gmp.6.2.1-5/opam b/packages/gmp/gmp.6.2.1-5/opam index 63a0818c67d..064fcf4cc07 100644 --- a/packages/gmp/gmp.6.2.1-5/opam +++ b/packages/gmp/gmp.6.2.1-5/opam @@ -7,9 +7,15 @@ bug-reports: "https://github.com/mirage/ocaml-gmp/issues" dev-repo: "git+https://github.com/mirage/ocaml-gmp.git" substs: [ "src/build.sh" ] build: [ + [ + "sed" + "-ib" + "-e" + "s/.\\/configure/.\\/configure --libdir \\${HOMEBREW\\_PREFIX}\\/opt\\/gmp\\/lib/g" + "src/build.sh"] [ "dune" "build" "-p" name "-j" jobs ] [ "dune" "runtest" "-p" name "-j" jobs ] {with-test} -] +] {os = "macos" & os-distribution = "homebrew"} depends: [ "ocaml" {>= "4.02.0"} "dune" {>= "2.6"} @@ -33,3 +39,6 @@ url { ] } x-commit-hash: "e15e2024d31973f39d0552b1b306db682e3ddaab" +x-ci-accept-failures: [ + "oraclelinux-8" "oraclelinux-9" "alpine-3.19" +]