Fix build

examples/global/barbell1.kat

@@ -1,4 +1,4 @@
-(* The barbell-topology example from the ICFP paper.
+(* The barbell-topology example.
 
    Two classes of packets enter switch 3:
    * Packets originiating from port 1 at switch 1.
@@ -13,4 +13,4 @@
 filter switch=1;(
   filter port=1; port:=3; 1@3=>3@3; port:=1 +
   filter port=2; port:=3; 1@3=>3@3; port:=2
-)
+)

frenetic.opam

@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "5.0.4"
+version: "5.0.5"
 synopsis: "The Frenetic Programming Language and Runtime System"
 maintainer: "Steffen Smolka <[email protected]>"
 authors: "Arjun Guha <[email protected]>, Nate Foster <[email protected]>, Steffen Smolka <[email protected]>"
@@ -14,20 +14,21 @@ build: [
 ]
 depends: [
   "ocaml" {build & >= "4.11.0"}
-  "cppo" {>= "1.6.6" }
+  "cppo" {>= "1.6.7" }
   "dune" {build & >= "2.0"}
   "odoc"
   #########################
   "async"  {>= "v0.14.0" }
-  "base64" {>= "3.4.0"}
-  "cohttp" {>= "2.5.4"}
-  "cohttp-async" {>= "2.5.4" }
+  "base64" {>= "3.5.0"}
+  "cohttp" {>= "4.0.0"}
+  "cohttp-async" {>= "4.0.0" }
   "core"   {>= "v0.14.0" }
   "cstruct" {>= "5.2.0"}
   "cstruct-sexp" {>= "5.2.0"}
-  "ipaddr" {>= "5.0.1"}
-  "menhir" {>= "20200624"}
-  "mparser" {>= "1.2.3"}
+  "ipaddr" {>= "5.1.0"}
+  "menhir" {>= "20210419"}
+  "mparser" {>= "1.3"}
+  "mparser-re" {>= "1.3"}
   "ocamlgraph" {>= "2.0.0"}
   "open" {>= "0.2.1"}
   "ppxlib" {>= "0.15.0"}
@@ -36,6 +37,6 @@ depends: [
   "ppx_deriving" {>= "5.1"}
   "sedlex" {>= "2.2"}
   "sexplib" {>= "0.14.0"}
-  "tcpip" {>= "5.0.1"}
+  "tcpip" {>= "6.1.0"}
   "yojson" {>= "1.7.0"}
 ]

src/lib/async/dune

@@ -3,7 +3,7 @@
  (public_name frenetic.async)
  (wrapped true)
  (libraries async cohttp cohttp-async core cstruct
-   frenetic.kernel frenetic.netkat mparser mparser.re str)
+   frenetic.kernel frenetic.netkat mparser mparser-re str)
  (preprocess
   (pps ppx_sexp_conv))
  (flags :standard -safe-string))

src/lib/kernel/dune

@@ -2,7 +2,7 @@
  (name frenetic_kernel)
  (public_name frenetic.kernel)
  (wrapped true)
- (libraries core base64 cstruct cstruct-sexp ocamlgraph open tcpip yojson ipaddr sedlex
+ (libraries core base64 cstruct cstruct-sexp ocamlgraph open tcpip tcpip.unix yojson ipaddr sedlex
    sexplib str menhirLib compiler-libs.common)
  (preprocess
   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))