Make sure version number gets updated without having to run dune clean

Adds (deps (universe)) to the action that builds manifest.ml so it is always rebuilt (unless it was generated from manifest.ml.in by opam, as the action still has fallback mode). Fixes #204, and based on PR #863
rems-project · Jan 16, 2025 · 153c7b6 · 153c7b6
1 parent a1b339a
commit 153c7b6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/bin/dune b/src/bin/dune
@@ -1,4 +1,5 @@
 (rule
+ (deps (universe))
  (target manifest.ml)
  (mode fallback)
  (action