From 249361793931443c71d2097148fa4c7fa1b4bc4b Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 26 May 2016 11:57:34 +0100
Subject: add makery for mips/cheir LOC count.

---
 src/Makefile | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index cd21ed1a..45a0dcad 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -53,6 +53,18 @@ _build/cheri.lem: $(CHERI_SAILS) ./sail.native
 	cd _build ;\
 	../sail.native -lem_ast -o cheri $(CHERI_SAILS)
 
+_build/mips_all.sail: $(MIPS_SAILS)
+	cat $(MIPS_SAILS) > $@
+
+_build/cheri_all.sail: $(CHERI_SAILS)
+	cat $(CHERI_SAILS) > $@
+
+_build/%_trimmed.sail: _build/%_all.sail
+	grep -v -e '^\s*$$' $< > $@
+
+count: _build/cheri_trimmed.sail _build/mips_trimmed.sail
+	wc -l $^
+
 %.ml: %.lem
 	$(LEM) -only_changed_output -ocaml -lib lem_interp/ $<
 
-- 
cgit v1.2.3