Some fixes for tcpip

For mirage/mirage#969
`implements` requires public library name.
Dummy tcpip lib so that `tcpip` is resolved.
Fix dependencies in the opam definition.

src/tcpip/dune

@@ -0,0 +1,4 @@
+(library
+ (name tcp)
+ (public_name tcpip.tcp)
+ )

src/tcpip_checksum/ocaml/dune

@@ -1,4 +1,4 @@
 (library
  (name tcpip_checksum_ocaml)
  (public_name tcpip-checksum.ocaml)
- (implements tcpip_checksum))
+ (implements tcpip-checksum))

src/tcpip_checksum/unix/dune

@@ -1,7 +1,7 @@
 (library
  (name tcpip_checksum_unix)
  (public_name tcpip-checksum.unix)
- (implements tcpip_checksum)
+ (implements tcpip-checksum)
  (c_names checksum_stubs))
 
 (copy_files# ../checksum_stubs.c)

src/tcpip_checksum/xen/dune

@@ -1,7 +1,7 @@
 (library
  (name tcpip_checksum_xen)
  (public_name tcpip-checksum.xen)
- (implements tcpip_checksum)
+ (implements tcpip-checksum)
  (c_names checksum_stubs)
  (c_flags (:include c_flags_xen.sexp)))
 

tcpip-checksum.opam

@@ -0,0 +1,37 @@
+opam-version: "2.0"
+maintainer:   "anil@recoil.org"
+homepage:     "https://github.com/mirage/mirage-tcpip"
+dev-repo:     "git+https://github.com/mirage/mirage-tcpip.git"
+bug-reports:  "https://github.com/mirage/mirage-tcpip/issues"
+doc:          "https://mirage.github.io/mirage-tcpip/"
+authors: [
+  "Anil Madhavapeddy" "Balraj Singh" "Richard Mortier" "Nicolas Ojeda Bar"
+  "Thomas Gazagnaire" "Vincent Bernardoff" "Magnus Skjegstad" "Mindy Preston"
+  "Thomas Leonard" "David Scott" "Gabor Pali" "Hannes Mehnert" "Haris Rotsos"
+  "Kia" "Luke Dunstan" "Pablo Polvorin" "Tim Cuthbertson" "lnmx" "pqwy" ]
+license: "ISC"
+tags: ["org:mirage"]
+
+build: [
+  ["dune" "subst"] {pinned}
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+
+depends: [
+  "dune"     {build & >= "1.0"}
+  "configurator" {build}
+  "ocaml" {>= "4.03.0"}
+  "cstruct" {>= "3.0.2"}
+]
+synopsis: "OCaml TCP/IP networking stack, used in MirageOS"
+description: """
+`mirage-tcpip` provides a networking stack for the [Mirage operating
+system](https://mirage.io). It provides implementations for the following module types
+(which correspond with the similarly-named protocols):
+
+* IP (via the IPv4 and IPv6 modules)
+* ICMP
+* UDP
+* TCP
+"""

tcpip.opam

@@ -19,12 +19,11 @@ build: [
 ]
 
 depends: [
-  "dune"     {build & >= "1.0"}
+  "dune" {build & >= "1.0"}
   "configurator" {build}
   "ocaml" {>= "4.03.0"}
   "rresult" {>= "0.5.0"}
   "cstruct" {>= "3.0.2"}
-  "cstruct-lwt"
   "mirage-net" {>= "1.0.0"}
   "mirage-net-lwt" {>= "1.0.0"}
   "mirage-clock" {>= "1.2.0"}
@@ -35,6 +34,7 @@ depends: [
   "mirage-protocols-lwt" {>= "1.4.0"}
   "mirage-time-lwt" {>= "1.0.0"}
   "ipaddr" {>= "3.0.0"}
+  "tcpip-checksum"
   "macaddr"
   "mirage-profile" {>= "0.5"}
   "fmt"
@@ -47,7 +47,7 @@ depends: [
   "ethernet"
   "mirage-flow" {with-test & >= "1.2.0"}
   "mirage-vnetif" {with-test & >= "0.4.0"}
-  "alcotest" {with-test & >="0.7.0"}
+  "alcotest" {with-test & >= "0.7.0"}
   "pcap-format" {with-test}
   "mirage-clock-unix" {with-test & >= "1.2.0"}
   "mirage-random-test" {with-test}
@@ -65,3 +65,5 @@ system](https://mirage.io). It provides implementations for the following module
 * UDP
 * TCP
 """
+name: "tcpip"
+version: "3.7.0"