1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 88f2903c..97e42f7e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all sail language clean archs apply_header
+.PHONY: all sail language clean archs isabelle-lib apply_header
 
 all: sail interpreter
 
@@ -17,6 +17,9 @@ archs:
 	  $(MAKE) -C "$$arch" || exit;\
 	done
 
+isabelle-lib:
+	$(MAKE) -C isabelle-lib
+
 apply_header:
 	$(MAKE) clean
 	headache -c etc/headache_config -h etc/mips_header `ls mips/*.sail`
@@ -32,4 +35,3 @@ clean:
 	  $(MAKE) -C "$$subdir" clean;\
 	done
 	-rm sail
-