From 961d9a2bc9781e5d318d2065d25216d2fcd19dec Mon Sep 17 00:00:00 2001 From: Antonio Nuno Monteiro Date: Sat, 5 Oct 2024 20:28:39 -0700 Subject: [PATCH] wip --- jscomp/stdlib/dune | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/jscomp/stdlib/dune b/jscomp/stdlib/dune index 37e379912..39be0b3d6 100644 --- a/jscomp/stdlib/dune +++ b/jscomp/stdlib/dune @@ -168,3 +168,9 @@ (target sys.ml) (action (run cppo -D=BS %{env:CPPO_FLAGS=} %{deps} -o %{target}))) + +(rule + (deps sys.cppo.mli) + (target sys.mli) + (action + (run cppo -D=BS %{env:CPPO_FLAGS=} %{deps} -o %{target})))