From d06c798825cd5ec5cd767c8d8b498f3b90ed9f2b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ignas=20Vy=C5=A1niauskas?= Date: Thu, 21 Nov 2024 17:07:00 +0200 Subject: [PATCH] Avoid linking against ppxlib in jsonm driver Similar change to 1be9d66 --- drivers/jsonm/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/drivers/jsonm/dune b/drivers/jsonm/dune index fb0bc81..554241f 100644 --- a/drivers/jsonm/dune +++ b/drivers/jsonm/dune @@ -1,6 +1,6 @@ (library (name protocol_conv_jsonm) (public_name ppx_protocol_conv_jsonm) - (libraries ppx_protocol_conv ppx_protocol_conv.runtime ppx_protocol_conv.driver ezjsonm) + (libraries ppx_protocol_conv.runtime ppx_protocol_conv.driver ezjsonm) (synopsis "jsonm (de)serialization driver for ppx_protocol_conv based on ezjsonm") )