From cdd13f9891a83c09a5775f4b993d87ceac22f19f Mon Sep 17 00:00:00 2001 From: polwex Date: Sun, 22 Jun 2025 15:04:32 +0700 Subject: and it is solved --- bs5/dune | 4 ++++ 1 file changed, 4 insertions(+) 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 -- cgit v1.2.3