diff options
| author | Pau Ruiz Safont <pau.ruizsafont@cloud.com> | 2023-02-24 20:31:56 +0000 |
|---|---|---|
| committer | Pau Ruiz Safont <pau.ruizsafont@cloud.com> | 2023-02-24 20:31:56 +0000 |
| commit | 69a7cdbc03a200ebd9af8e2bec628c5f9c32610f (patch) | |
| tree | 99e0a266e60148c4e844c886e957ef5a0b24a2ad /utils | |
| parent | d71ea3d089ae3c338b8b6e2fb7beb08908076c7a (diff) | |
| download | ocaml-69a7cdbc03a200ebd9af8e2bec628c5f9c32610f.tar.gz | |
dune: enable building @libs target
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/dune | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/utils/dune b/utils/dune index a9f7629803..ec264d3405 100644 --- a/utils/dune +++ b/utils/dune @@ -15,12 +15,10 @@ (rule (targets config.ml) (mode fallback) - (deps (:mk Makefile) - ../Makefile.config - ; for now the utils Makefile does not use build_config - config.mlp - config.common.ml) - (action (system "make -f %{mk} %{targets}"))) + (deps config.generated.ml config.common.ml) + (action + (with-stdout-to %{targets} + (system "cat %{deps}")))) (rule (targets domainstate.ml) |