and it is solvedHEADmaster

1 files changed, 4 insertions, 0 deletions

diff --git a/bs5/dune b/bs5/dune
index a49c55c..60ecc7a 100644
--- a/bs5/dune
+++ b/bs5/dune
@@ -11,6 +11,10 @@
    ; redirect inside a string
    (bash "date > %{project_root}/.running/built_at.txt"))))
 
+(alias
+ (name default)
+ (deps (alias demo)))
+
 (install
  (section bin)
  (files