From 69a7cdbc03a200ebd9af8e2bec628c5f9c32610f Mon Sep 17 00:00:00 2001
From: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
Date: Fri, 24 Feb 2023 20:31:56 +0000
Subject: dune: enable building @libs target

---
 utils/dune | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

(limited to 'utils')

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)
-- 
cgit v1.2.1