Merge pull request #335 from djs55/unix-stubs

Add a dependency from tcpip to tcpip.unix
mirage · Aug 5, 2017 · 7ed0ce2 · 7ed0ce2
2 parents 7505d20 + da5542d
commit 7ed0ce2
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/tcpip_checksum/jbuild b/src/tcpip_checksum/jbuild
@@ -4,7 +4,7 @@
  ((name        tcpip)
   (public_name tcpip)
   (modules (tcpip_checksum))
-  (libraries   (cstruct))
+  (libraries   (cstruct tcpip.unix))
   (wrapped false)))
 
 (library
@@ -29,7 +29,6 @@
 (library
  ((name tcpip_unix)
   (public_name tcpip.unix)
-  (libraries (tcpip))
   (modules (tcpip_unix))
   (c_names (checksum_stubs))
   (wrapped false)))