From 936f1beb2bbc9db6182ba8b706668e146c3657d9 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 9 Jul 2018 16:30:06 +0100
Subject: Changes for anonymisation. Ensure headers are in correct format.
 Remove some redundant files.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 9a6dd42a..c7fbd951 100644
--- a/Makefile
+++ b/Makefile
@@ -54,15 +54,19 @@ apply_header:
 	$(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 riscv/*.sail`
+	headache -c etc/headache_config -h etc/anon_header `ls riscv/*.ml`
+	headache -c etc/headache_config -h etc/anon_header `ls lib/*.ml`
+	headache -c etc/headache_config -h etc/anon_header `ls lib/coq/*.v`
 	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`
 	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 .
+	tar czf sail.tar.gz aarch64 cheri mips riscv language lib src snapshots
 
 clean:
 	for subdir in src arm ; do\
-- 
cgit v1.2.3