1 files changed, 0 insertions, 11 deletions
diff --git a/riscv/Holmakefile b/riscv/Holmakefile
deleted file mode 100644
index 8269bc36..00000000
--- a/riscv/Holmakefile
+++ /dev/null
@@ -1,11 +0,0 @@
-LEMDIR=../../lem/hol-lib
-
-INCLUDES = $(LEMDIR) ../lib/hol
-
-all: riscvTheory.uo
-.PHONY: all
-
-ifdef POLY
-BASE_HEAP = ../lib/hol/sail-heap
-
-endif