diff options
| author | Robert Norton | 2018-07-09 16:30:06 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-07-09 16:30:13 +0100 |
| commit | 936f1beb2bbc9db6182ba8b706668e146c3657d9 (patch) | |
| tree | 1bc2a4852b45e4cdd9e3c738c33283b460f5fc3d /Makefile | |
| parent | 6c04e4bf31b7632283c69a30c30f3869e9146874 (diff) | |
Changes for anonymisation. Ensure headers are in correct format. Remove some redundant files.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -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\ |