From dce145bfde9599fb52254b838bd0299bdbbe4c1d Mon Sep 17 00:00:00 2001 From: Romain Calascibetta Date: Fri, 8 Apr 2022 12:01:07 +0200 Subject: [PATCH 1/2] [new release] bigarray-overlap (0.2.1) CHANGES: - Remove `bigarray-compat`, revise C compilation for MirageOS 3, remove the Xen support (merged into Solo5), and support only OCaml >= 4.08 (@hannesm, dinosaure/overlap#3) --- .../bigarray-overlap.0.2.1/opam | 51 +++++++++++++++++++ 1 file changed, 51 insertions(+) create mode 100644 packages/bigarray-overlap/bigarray-overlap.0.2.1/opam diff --git a/packages/bigarray-overlap/bigarray-overlap.0.2.1/opam b/packages/bigarray-overlap/bigarray-overlap.0.2.1/opam new file mode 100644 index 00000000000..347b92a25f7 --- /dev/null +++ b/packages/bigarray-overlap/bigarray-overlap.0.2.1/opam @@ -0,0 +1,51 @@ +opam-version: "2.0" +maintainer: "Romain Calascibetta " +authors: "Romain Calascibetta " +homepage: "https://github.com/dinosaure/overlap" +bug-reports: "https://github.com/dinosaure/overlap/issues" +dev-repo: "git+https://github.com/dinosaure/overlap.git" +doc: "https://dinosaure.github.io/overlap/" +license: "MIT" +synopsis: "Bigarray.overlap" +description: """A minimal library to know that 2 bigarray share physically the same memory or not.""" + +build: [ + [ "dune" "build" "-p" name "-j" jobs ] + [ "dune" "runtest" "-p" name "-j" jobs ] {with-test} +] + +install: [ + [ "dune" "install" "-p" name ] {with-test} + [ "./test/test_runes.ml" ] {with-test} +] + +depends: [ + "ocaml" {>= "4.08.0"} + "dune" {>= "2.6"} + "alcotest" {with-test} + "astring" {with-test} + "fpath" {with-test} + "bos" {with-test} + "ocamlfind" {with-test} + "conf-pkg-config" {with-test} +] + +depopts: [ + "ocaml-freestanding" + "mirage-xen-posix" + "js_of_ocaml-compiler" +] + +conflicts: [ + "mirage-xen-posix" {< "3.1.0"} + "ocaml-freestanding" {< "0.4.3"} +] +url { + src: + "https://github.com/dinosaure/overlap/releases/download/v0.2.1/bigarray-overlap-0.2.1.tbz" + checksum: [ + "sha256=2f520ac470054e335883eba9254bf28b6676ddb57753cfb58b22cf84ae1a66e0" + "sha512=223f15f815cd944cf2e9955ed9e3cf5608a9db36103e9bb017c2fe452dfb319908228b419f416f6239b8562208027068b7c44e8fb4be6c6a7858ecba540d5439" + ] +} +x-commit-hash: "ebdd14f8c399ffab0a111bb5a62a0f9aff72bf85" From bc27116e5b0b5579d9592d5ca6911c692a394ced Mon Sep 17 00:00:00 2001 From: Calascibetta Romain Date: Fri, 8 Apr 2022 13:12:15 +0200 Subject: [PATCH 2/2] Update packages/bigarray-overlap/bigarray-overlap.0.2.1/opam Co-authored-by: Hannes Mehnert --- packages/bigarray-overlap/bigarray-overlap.0.2.1/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/bigarray-overlap/bigarray-overlap.0.2.1/opam b/packages/bigarray-overlap/bigarray-overlap.0.2.1/opam index 347b92a25f7..33e12d48c17 100644 --- a/packages/bigarray-overlap/bigarray-overlap.0.2.1/opam +++ b/packages/bigarray-overlap/bigarray-overlap.0.2.1/opam @@ -27,7 +27,7 @@ depends: [ "fpath" {with-test} "bos" {with-test} "ocamlfind" {with-test} - "conf-pkg-config" {with-test} + "conf-pkg-config" {build} ] depopts: [