blob: 45ed41ffccb93c3deda7add984a6202a1b87a5d5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
SCRIPTS = sail_instr_kindsScript.sml sail_valuesScript.sml sail_operatorsScript.sml \
sail_operators_mwordsScript.sml sail_operators_bitlistsScript.sml \
state_monadScript.sml stateScript.sml promptScript.sml prompt_monadScript.sml
EXTRA_CLEANS = $(SCRIPTS)
THYS = $(patsubst %Script.sml,%Theory.uo,$(SCRIPTS))
LEMDIR=../../../lem/hol-lib
INCLUDES = $(LEMDIR)
all: $(THYS)
.PHONY: all
ifdef POLY
HOLHEAP = sail-heap
EXTRA_CLEANS = $(SCRIPTS) $(HOLHEAP) $(HOLHEAP).o
BASE_HEAP = $(LEMDIR)/lemheap
$(HOLHEAP):
$(protect $(HOLDIR)/bin/buildheap) -o $(HOLHEAP) -b $(BASE_HEAP)
all: $(HOLHEAP)
endif
|
