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 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)))