From 1711385730a96c18f6b89ba47e5030136b54c0c0 Mon Sep 17 00:00:00 2001 From: Abhinav Srivastava / August Radjoe Date: Mon, 24 Jun 2024 09:51:25 -0400 Subject: [PATCH] Remove `etc` directory (#500) Remove apply_header target and etc directory, as it is no longer used --- Makefile | 4 ---- etc/headache_config | 6 ------ 2 files changed, 10 deletions(-) delete mode 100644 etc/headache_config diff --git a/Makefile b/Makefile index af355efc1..1f8c8320c 100644 --- a/Makefile +++ b/Makefile @@ -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 203f888e6..000000000 --- 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:"*/"