summaryrefslogtreecommitdiff
path: root/bs5/dune
diff options
context:
space:
mode:
authorpolwex <polwex@sortug.com>2025-06-22 14:32:59 +0700
committerpolwex <polwex@sortug.com>2025-06-22 14:32:59 +0700
commit20cc3637c7268ceb8ca18ce55027ad8584e1cfd8 (patch)
tree343b364da65444e96c7e986c13c9faba1f853102 /bs5/dune
parent71c20233ff79e696d0eeca2ce1462d3083fbcfed (diff)
checkpoint
Diffstat (limited to 'bs5/dune')
-rw-r--r--bs5/dune6
1 files changed, 0 insertions, 6 deletions
diff --git a/bs5/dune b/bs5/dune
index 8dc2bb1..a49c55c 100644
--- a/bs5/dune
+++ b/bs5/dune
@@ -1,7 +1,5 @@
(rule
(alias demo)
- (enabled_if
- (= %{profile} "dev"))
(deps
server/server.exe
(alias_rec client))
@@ -15,15 +13,11 @@
(install
(section bin)
- (enabled_if
- (= %{profile} dev))
(files
("./js/node_modules/@tailwindcss/cli/dist/index.mjs" as tailwind)))
(rule
(target output.css)
- (enabled_if
- (= %{profile} dev))
(alias client)
(deps
(source_tree ./)