1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 01eaa57b..9d3e613e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 .PHONY: all sail language clean archs isabelle-lib apply_header
 
-all: sail
+all: sail interpreter
 
 sail:
 	$(MAKE) -C src