From 3959c7c20f4b54e2f42948c1a997ac647cfc3560 Mon Sep 17 00:00:00 2001 From: LE BRETON Come Date: Mon, 18 Nov 2024 20:31:54 +0100 Subject: [PATCH 1/3] Use $HOMEBREW_DIR or fallback for macos. --- packages/mlgmpidl/mlgmpidl.1.2.15-1/opam | 43 ++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 packages/mlgmpidl/mlgmpidl.1.2.15-1/opam diff --git a/packages/mlgmpidl/mlgmpidl.1.2.15-1/opam b/packages/mlgmpidl/mlgmpidl.1.2.15-1/opam new file mode 100644 index 00000000000..65a612acd62 --- /dev/null +++ b/packages/mlgmpidl/mlgmpidl.1.2.15-1/opam @@ -0,0 +1,43 @@ +opam-version: "2.0" +authors: ["Bertrand Jeannet" "Nicolas Berthier"] +maintainer: "Nicolas Berthier " +dev-repo: "git+https://github.com/nberth/mlgmpidl.git" +bug-reports: "https://github.com/nberth/mlgmpidl/issues" +homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/" +license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" +build: [ + [ + "sed" + "-ib" + "-e" + "s/checkprefix \"\\$cc \\$cflags\" mpfr\\.h/checkprefix \"\\$cc \\$cflags -I\\$gmp_prefix\\/include\" mpfr.h/g" + "configure"] {os = "macos" & os-distribution = "homebrew"} + ["sh" "-exec" "./configure --absolute-dylibs --mpfr-prefix ${HOMEBREW_PREFIX:-/opt/homebrew}/opt/mpfr --gmp-prefix ${HOMEBREW_PREFIX:-/opt/homebrew}/opt/gmp"] { os = "macos" & os-distribution = "homebrew" } + ["sh" "./configure" "--absolute-dylibs" {os = "macos"} ] { !(os = "macos"& os-distribution = "homebrew") } + [make] +] +install: [ + [make "install"] +] +depends: [ + "ocaml" {>= "3.12.1"} + "ocamlfind" {build & >= "1.5.6"} + "camlidl" {!= "1.10"} + "conf-gmp" + "conf-mpfr" + "conf-perl" {build} + "bigarray-compat" +] +conflicts: [ + "mlgmp" + "apron" {= "20140725"} + "apron" {= "20150518"} +] +synopsis: "OCaml interface to the GMP library" +url { + src: "https://github.com/nberth/mlgmpidl/archive/1.2.15-1.tar.gz" + checksum: "md5=fba69df33295a427e093cad67114a5d6" +} +x-ci-accept-failures: [ + "oraclelinux-8" "oraclelinux-9" "alpine-3.19" +] From a40a21a20c720f83eb31d8f1a7bf73ecd03ad23e Mon Sep 17 00:00:00 2001 From: LE BRETON Come Date: Mon, 18 Nov 2024 22:45:39 +0100 Subject: [PATCH 2/3] Fix url to existing url. --- packages/mlgmpidl/mlgmpidl.1.2.15-1/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/mlgmpidl/mlgmpidl.1.2.15-1/opam b/packages/mlgmpidl/mlgmpidl.1.2.15-1/opam index 65a612acd62..e69895a8ca2 100644 --- a/packages/mlgmpidl/mlgmpidl.1.2.15-1/opam +++ b/packages/mlgmpidl/mlgmpidl.1.2.15-1/opam @@ -35,7 +35,7 @@ conflicts: [ ] synopsis: "OCaml interface to the GMP library" url { - src: "https://github.com/nberth/mlgmpidl/archive/1.2.15-1.tar.gz" + src: "https://github.com/nberth/mlgmpidl/archive/1.2.15.tar.gz" checksum: "md5=fba69df33295a427e093cad67114a5d6" } x-ci-accept-failures: [ From abbcdb2240dac4ec438fb04f3a5765f5a7c4c30a Mon Sep 17 00:00:00 2001 From: LE BRETON Come Date: Tue, 19 Nov 2024 09:59:21 +0100 Subject: [PATCH 3/3] Use sha512 hash. --- packages/mlgmpidl/mlgmpidl.1.2.15-1/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/mlgmpidl/mlgmpidl.1.2.15-1/opam b/packages/mlgmpidl/mlgmpidl.1.2.15-1/opam index e69895a8ca2..5fb835cf087 100644 --- a/packages/mlgmpidl/mlgmpidl.1.2.15-1/opam +++ b/packages/mlgmpidl/mlgmpidl.1.2.15-1/opam @@ -36,7 +36,7 @@ conflicts: [ synopsis: "OCaml interface to the GMP library" url { src: "https://github.com/nberth/mlgmpidl/archive/1.2.15.tar.gz" - checksum: "md5=fba69df33295a427e093cad67114a5d6" + checksum: "sha512=bffa295d7eac0a35ba95b8fefa46f5db02efa1f58e4d6b4da73901de74535523ad263354f2672318361ed0f76029df1ef85f745ce245dc73dddffb9d328dc7a8" } x-ci-accept-failures: [ "oraclelinux-8" "oraclelinux-9" "alpine-3.19"