Remove etc directory (#500)

Remove apply_header target and etc directory, as it is no longer used
riscv · Jun 24, 2024 · 1711385 · 1711385
1 parent 77bd4d5
commit 1711385
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 10 deletions.
diff --git 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