Disable demo from main build

ml-in-barcelona · Mar 4, 2024 · f5a2666 · f5a2666
1 parent be5f882
commit f5a2666
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -79,11 +79,23 @@ lib-test: ## Run library tests
 
 .PHONY: demo
 demo: ## Run demo executable
-	$(DUNE) exec demo/index.exe --action-stdout-on-success=print --display-separate-messages --force --terminal-persistence=clear-on-rebuild
+	$(DUNE) exec demo/index.exe \
+		--profile=demo \
+		--action-stdout-on-success=print \
+		--display-separate-messages \
+		--force \
+		--terminal-persistence=clear-on-rebuild \
+		--watch
 
 .PHONY: demo-watch
 demo-watch: ## Run demo executable
-	$(DUNE) exec -w demo/index.exe --action-stdout-on-success=print --display-separate-messages --force --terminal-persistence=clear-on-rebuild
+	$(DUNE) exec demo/index.exe \
+		--watch \
+		--action-stdout-on-success=print \
+		--display-separate-messages \
+		--force \
+		--terminal-persistence=clear-on-rebuild \
+		--profile=demo
 
 .PHONY: subst
 subst: ## Run dune substitute

diff --git a/demo/dune b/demo/dune
@@ -1,3 +1,5 @@
 (executable
  (name index)
+ (enabled_if
+  (= %{profile} "demo"))
  (libraries quickjs))