summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 4779bd22..27d8ab7b 100644
--- a/Makefile
+++ b/Makefile
@@ -45,6 +45,10 @@ build-lib:
doc:
cd compiler && dune build @doc
+.PHONY: clean
+clean:
+ cd compiler && dune clean
+
# Test the project by translating test files to F*
.PHONY: tests
tests: build trans-no_nested_borrows trans-paper \