cheri/Holmakefile


1
2
3
4
5
6
7
8
9
10
11

LEMDIR=../../lem/hol-lib

INCLUDES = $(LEMDIR) ../lib/hol

all: cheri_sequentialTheory.uo
.PHONY: all

ifdef POLY
BASE_HEAP = ../lib/hol/sail-heap

endif