From a51c4665c80b1c0e92ed70a59b18c1f684f97f59 Mon Sep 17 00:00:00 2001 From: Marek Kubica Date: Mon, 3 Jun 2024 17:38:11 +0200 Subject: [PATCH] Make `num` dependency optional sexplib pulls in a dependency on `num` which for most users is unnecessary. Those users that need `sexplib.num` to convert to and from `num` values have a dependency on `num` already, those who don't have no need for `num` in their dependency cone. Signed-off-by: Marek Kubica --- num/lib/dune | 3 ++- sexplib.opam | 2 ++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/num/lib/dune b/num/lib/dune index 5247be1..9431a5f 100644 --- a/num/lib/dune +++ b/num/lib/dune @@ -2,4 +2,5 @@ (name sexplib_num) (public_name sexplib.num) (libraries num sexplib) - (preprocess no_preprocessing)) + (preprocess no_preprocessing) + (optional)) diff --git a/sexplib.opam b/sexplib.opam index 35f63dd..db6149c 100644 --- a/sexplib.opam +++ b/sexplib.opam @@ -14,6 +14,8 @@ depends: [ "parsexp" "sexplib0" "dune" {>= "3.11.0"} +] +depopts: [ "num" ] available: arch != "arm32" & arch != "x86_32"