From 8139ae498b4809833394b3e0548757426ff912cc Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 9 Jul 2018 14:50:16 +0100
Subject: Support building an anonymised version of manual. Fix sail example in
 manual. Remove incomplete types chapter from manual per AA's recommendation.

---
 Makefile | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index bfbf6bef..9a6dd42a 100644
--- a/Makefile
+++ b/Makefile
@@ -53,6 +53,17 @@ apply_header:
 	headache -c etc/headache_config -h LICENCE `ls src/lem_interp/*.lem`
 	$(MAKE) -C arm apply_header
 
+anon_dist:
+	$(MAKE) clean
+	headache -c etc/headache_config -h etc/anon_header `ls mips/*.sail`
+	headache -c etc/headache_config -h etc/anon_header `ls cheri/*.sail`
+	headache -c etc/headache_config -h etc/anon_header `ls src/Makefile*`
+	headache -c etc/headache_config -h etc/anon_header `ls src/*.ml*`
+	headache -c etc/headache_config -h etc/anon_header `ls src/lem_interp/*.ml`
+	headache -c etc/headache_config -h etc/anon_header `ls src/lem_interp/*.lem`
+	headache -c etc/headache_config -h etc/anon_header `ls arm/*.sail`
+	tar cvzf sail.tar.gz .
+
 clean:
 	for subdir in src arm ; do\
 	  $(MAKE) -C "$$subdir" clean;\
-- 
cgit v1.2.3