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 \