Merge pull request #54 from hannesm/no-mirage3

Remove MirageOS 3 cross-compilation runes
inhabitedtype · Mar 19, 2023 · f329cb7 · f329cb7
2 parents 4ca34d9 + 3416a40
commit f329cb7
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 44 deletions.
diff --git a/META.bigstringaf.template b/META.bigstringaf.template
diff --git a/bigstringaf.opam b/bigstringaf.opam
@@ -24,14 +24,10 @@ depends: [
   "dune-configurator" {>= "3.0"}
   "alcotest" {with-test}
   "ocaml" {>= "4.08.0"}
-  "conf-pkg-config" {build}
-]
-depopts: [
-  "ocaml-freestanding"
 ]
 conflicts: [
   "mirage-xen" {< "6.0.0"}
-  "ocaml-freestanding" {< "0.4.1"}
+  "ocaml-freestanding"
   "js_of_ocaml" {< "3.5.0"}
 ]
 synopsis: "Bigstring intrinsics and fast blits based on memcpy/memmove"

diff --git a/lib/freestanding/Makefile b/lib/freestanding/Makefile
diff --git a/lib/freestanding/dune b/lib/freestanding/dune