Merge branch 'inQWIRE:main' into ccz

wjbs · Feb 23, 2023 · 4470efa · 4470efa
2 parents 468c8e9 + 4fec5cf
commit 4470efa
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -5,13 +5,13 @@ all:
 	git submodule update;
 	@dune build
 
-sqir:
+sqir: FORCE
 	@dune build SQIR
 
-voqc:
+voqc: FORCE
 	@dune build VOQC
 
-examples:
+examples: FORCE
 	@dune build examples
 
 shor:
@@ -35,3 +35,4 @@ doc: all
 	cd _build/default && coqdoc -g --utf8 --toc --no-lib-name -d ../../docs -R . SQIR $(FILES)
 
 .PHONY: all clean install uninstall doc
+FORCE: