diff options
| author | Robert Norton <robert.norton@microsoft.com> | 2021-07-29 16:36:43 +0100 |
|---|---|---|
| committer | Robert Norton <robert.norton@microsoft.com> | 2021-07-29 16:36:43 +0100 |
| commit | aff2e7aed6fd946f40a223e8cc45c0db3608f9a6 (patch) | |
| tree | 3eff0652d2fe5351e45f34e163fe85233d7f3996 /Makefile | |
| parent | d09307935cd8830765523ef2a34818a32897116b (diff) | |
| download | sail-riscv-aff2e7aed6fd946f40a223e8cc45c0db3608f9a6.zip sail-riscv-aff2e7aed6fd946f40a223e8cc45c0db3608f9a6.tar.gz sail-riscv-aff2e7aed6fd946f40a223e8cc45c0db3608f9a6.tar.bz2 | |
Use headache to apply copyright header at request of Peter Sewell.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -439,6 +439,10 @@ opam-uninstall: if [ -z "$(INSTALL_DIR)" ]; then echo INSTALL_DIR is unset; false; fi rm $(INSTALL_DIR)/bin/riscv_sim_RV64 rm $(INSTALL_DIR)/bin/riscv_sim_RV32 +apply_header: + headache -c etc/headache_config -h LICENCE `ls model/*.sail` + headache -c etc/headache_config -h LICENCE `ls handwritten_support/*.lem` + headache -c etc/headache_config -h LICENCE `ls handwritten_support/*.v` clean: -rm -rf generated_definitions/ocaml/* generated_definitions/c/* generated_definitions/latex/* |