diff options
| author | Peter Sewell | 2017-02-03 14:14:54 +0000 |
|---|---|---|
| committer | Peter Sewell | 2017-02-03 14:14:54 +0000 |
| commit | d8041f29ad728320ca763ff3852508b617592b1a (patch) | |
| tree | c708fdb87f7034bc131a7cf42df905715bb53c0b /Makefile | |
| parent | ba013c46a3d03448c5b0747e032f2d35d1c3fa12 (diff) | |
licensing
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -3,8 +3,11 @@ all: sail interpreter apply_header: + $(MAKE) clean headache -c etc/headache_config -h etc/mips_header `ls mips/*.sail` headache -c etc/headache_config -h etc/mips_header `ls cheri/*.sail` + headache -c etc/headache_config -h src/LICENCE `ls src/*.{ml,mli,nll,mly}` + headache -c etc/headache_config -h src/LICENCE `ls src/lem_interp*.{ml,mli,lem}` $(MAKE) -C arm apply_header sail: |