diff options
| -rw-r--r-- | Makefile | 4 | ||||
| -rw-r--r-- | etc/headache_config | 6 |
2 files changed, 0 insertions, 10 deletions
@@ -478,10 +478,6 @@ 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/* diff --git a/etc/headache_config b/etc/headache_config deleted file mode 100644 index 203f888..0000000 --- a/etc/headache_config +++ /dev/null @@ -1,6 +0,0 @@ - ".*\\.mllib" -> frame open:"(*" line:"=" close:"*)" -| ".*\\.lem" -> frame open:"(*" line:"=" close:"*)" -| ".*\\.v" -> frame open:"(*" line:"=" close:"*)" -| ".*\\.thy" -> frame open:"(*" line:"=" close:"*)" -| ".*\\.sml" -> frame open:"(*" line:"=" close:"*)" -| ".*\\.sail" -> frame open:"/*" line:"=" close:"*/" |