From e74b82c578216605fc8e0b54b1db62df26127282 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Tue, 13 Jun 2017 16:19:49 +0100
Subject: Add Makefile and ROOT for Isabelle library

---
 Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'Makefile')

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
-
-- 
cgit v1.2.3