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 8, 2025 · 35bfd4f · 35bfd4f
1 parent 18b0aec
commit 35bfd4f
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