From a8c317c18b74c4eb4d341e29ff7b5c885481de36 Mon Sep 17 00:00:00 2001 From: Swrup Date: Mon, 1 Apr 2024 21:00:47 +0200 Subject: [PATCH] fix dune-project --- dune-project | 8 +++++++- happy/dune | 1 + src/dune | 1 + 3 files changed, 9 insertions(+), 1 deletion(-) diff --git a/dune-project b/dune-project index 31f1f3b..1542d39 100644 --- a/dune-project +++ b/dune-project @@ -1,2 +1,8 @@ (lang dune 2.0) -(name http-client) +(name httpcats) + +(package + (name httpcats)) + +(package + (name happy)) diff --git a/happy/dune b/happy/dune index 6be8b8e..dd34cbb 100644 --- a/happy/dune +++ b/happy/dune @@ -1,5 +1,6 @@ (library (name happy) + (public_name happy) (modules happy) (libraries miou.unix mtime.clock.os ipaddr.unix cstruct dns dns-client happy-eyeballs mirage-crypto-rng hxd.string hxd.core) diff --git a/src/dune b/src/dune index eb75d1b..a465fc0 100644 --- a/src/dune +++ b/src/dune @@ -1,5 +1,6 @@ (library (name httpcats) + (public_name httpcats) (modules httpcats tls_miou http_miou_unix http_miou_client http_miou_server flow runtime) (libraries hxd.string hxd.core ca-certs happy httpaf h2 tls miou.unix))