diff options
Diffstat (limited to 'handwritten_support/Holmakefile')
| -rw-r--r-- | handwritten_support/Holmakefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/handwritten_support/Holmakefile b/handwritten_support/Holmakefile new file mode 100644 index 0000000..dd483e9 --- /dev/null +++ b/handwritten_support/Holmakefile @@ -0,0 +1,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 |