Merge pull request #507 from hannesm/no-mirage3

remove ocaml-freestanding runes (i.e. MirageOS 3.x support)
mirage · Mar 17, 2023 · ac655de · ac655de
2 parents cc0cbc7 + 9268753
commit ac655de
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 55 deletions.
diff --git a/META.tcpip.template b/META.tcpip.template
diff --git a/freestanding/Makefile b/freestanding/Makefile
diff --git a/freestanding/dune b/freestanding/dune
diff --git a/tcpip.opam b/tcpip.opam
@@ -19,11 +19,10 @@ build: [
 ]
 conflicts: [
   "mirage-xen" {< "6.0.0"}
-  "ocaml-freestanding" {< "0.4.1"}
+  "ocaml-freestanding"
   "result" {< "1.5"}
 ]
 depends: [
-  "conf-pkg-config" {build}
   "dune" {>= "2.7.0"}
   "bisect_ppx" {dev & >= "2.5.0"}
   "ocaml" {>= "4.08.0"}
@@ -56,9 +55,6 @@ depends: [
   "metrics"
   "cmdliner" {>= "1.1.0"}
 ]
-depopts: [
-  "ocaml-freestanding"
-]
 synopsis: "OCaml TCP/IP networking stack, used in MirageOS"
 description: """
 `mirage-tcpip` provides a networking stack for the [Mirage operating