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