Merge pull request #38 from yfyf/remove-jsonm-dependency-on-ppxlib

andersfugmann · web-flow · commit c51ed3e8eb56 · 2024-11-25T10:03:29.000+01:00
Avoid linking against ppxlib in jsonm driver
diff --git 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")
 )

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`(library`
`2`	`2`	`(name protocol_conv_jsonm)`
`3`	`3`	`(public_name ppx_protocol_conv_jsonm)`
`4`		`- (libraries ppx_protocol_conv ppx_protocol_conv.runtime ppx_protocol_conv.driver ezjsonm)`
	`4`	`+ (libraries ppx_protocol_conv.runtime ppx_protocol_conv.driver ezjsonm)`
`5`	`5`	`(synopsis "jsonm (de)serialization driver for ppx_protocol_conv based on ezjsonm")`
`6`	`6`	`)`