diff options
Diffstat (limited to 'aarch64/mono/demo/Holmakefile')
| -rw-r--r-- | aarch64/mono/demo/Holmakefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/aarch64/mono/demo/Holmakefile b/aarch64/mono/demo/Holmakefile new file mode 100644 index 00000000..47959f81 --- /dev/null +++ b/aarch64/mono/demo/Holmakefile @@ -0,0 +1,11 @@ +LEMDIR=../../../../lem/hol-lib + +INCLUDES = $(LEMDIR) ../../../lib/hol + +all: aarch64_monoTheory.uo +.PHONY: all + +ifdef POLY +HOLHEAP = ../../../lib/hol/sail-heap + +endif |