From 5af554ae637d71c760481915f8ac90a4176ca74e Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Tue, 20 Oct 2026 10:56:24 -0400 Subject: [PATCH 1/2] Add GT package dep to camlp5 rules These two rules require access to the GT.common library, which is only available with the GT package installed. --- camlp5/dune | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/camlp5/dune b/camlp5/dune index 85d7ab2b..f0d10645 100644 --- a/camlp5/dune +++ b/camlp5/dune @@ -107,7 +107,9 @@ (rule (targets pp5+gt+o.exe) - (deps pa_gt.cmxa) + (deps + pa_gt.cmxa + (package GT)) (action (run mkcamlp5.opt @@ -121,7 +123,9 @@ (rule (targets pp5+gt+o.byte) - (deps pa_gt.cma) + (deps + pa_gt.cma + (package GT)) (action (run mkcamlp5 From 16856e0e3ac4ef0a2f652fe6af936f3971b07de3 Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Tue, 20 Oct 2026 11:14:37 -0400 Subject: [PATCH 2/2] Add GT package dep to mdx test The mdx tests `#require "GT"`. Because dune sandboxes testing operations such as mdx, even tho the mdx tests are associated with the `GT` package, dune will not assume this means the GT package should be available to operations *insde* the mdx rules, unless the package dependency is made explicit. --- dune | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/dune b/dune index eb4e0d45..629740c7 100644 --- a/dune +++ b/dune @@ -6,4 +6,6 @@ (mdx (files index.mld README.md) (package GT) - (libraries GT)) + (libraries GT) + (deps + (package GT)))