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