handwritten_support/Holmakefile


1
2
3
4
5
6
7
8
9
10
11
12
13

INCLUDES = $(LEM_DIR)/hol-lib $(SAIL_LIB_DIR)/hol

SCRIPTS = riscv_extrasScript.sml  riscv_typesScript.sml  riscvScript.sml

THYS = $(patsubst %Script.sml,%Theory.uo,$(SCRIPTS))

all: $(THYS)
.PHONY: all

ifdef POLY
BASE_HEAP = $(SAIL_LIB_DIR)/hol/sail-heap

endif