From 872157d5c534b3b7de5853da1851cd50f43f97e7 Mon Sep 17 00:00:00 2001 From: Abhinav Srivastava Date: Wed, 19 Jun 2024 00:04:36 -0400 Subject: [PATCH 1/2] wip --- etc/headache_config | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 etc/headache_config 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:"*/" From 20a04cd79ab3bf5c059cc1673044fe6b13fe7a42 Mon Sep 17 00:00:00 2001 From: Abhinav Srivastava Date: Wed, 19 Jun 2024 09:28:11 -0400 Subject: [PATCH 2/2] Remove apply_header target and etc directory --- Makefile | 4 ---- 1 file changed, 4 deletions(-) diff --git a/Makefile b/Makefile index d62c85839..deb0876d8 100644 --- a/Makefile +++ b/Makefile @@ -474,10 +474,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/*