blob: b6be46b458e24d1bc29a1652b2c88dcf6eaf1b57 (
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
28
29
30
31
|
LEMSRC = \
../../src/lem_interp/sail_instr_kinds.lem \
../../src/gen_lib/sail_values.lem \
../../src/gen_lib/sail_operators.lem \
../../src/gen_lib/sail_operators_mwords.lem \
../../src/gen_lib/sail_operators_bitlists.lem \
../../src/gen_lib/state_monad.lem \
../../src/gen_lib/state.lem \
prompt_monad.lem \
prompt.lem
SCRIPTS = sail_instr_kindsScript.sml sail_valuesScript.sml sail_operatorsScript.sml \
sail_operators_mwordsScript.sml sail_operators_bitlistsScript.sml \
state_monadScript.sml stateScript.sml \
prompt_monadScript.sml promptScript.sml
all: sail-heap
$(SCRIPTS): $(LEMSRC)
lem -hol -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib $(LEMSRC)
THYS = $(patsubst %Script.sml,%Theory.uo,$(SCRIPTS))
$(THYS) sail-heap: $(SCRIPTS)
Holmake
# Holmake will also clear out the generated $(SCRIPTS) files
clean:
Holmake cleanAll
.PHONY: all clean
|
