Holmakefile « hol « test - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/test/hol/Holmakefile

blob: bc2ddc81a34541959739d74bc48fcd2b1b73fddb (plain)

ifndef SAILDIR
SAILDIR=../..
endif
INCLUDES = $(SAILDIR)/snapshots/hol4/sail/cheri $(SAILDIR)/snapshots/hol4/sail/lib/hol