-
Notifications
You must be signed in to change notification settings - Fork 9
/
Makefile-tex
74 lines (66 loc) · 2.55 KB
/
Makefile-tex
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
# -*-makefile-*-
lemdir=../lem
lemdir2=../../lem
saildir=src_sail_legacy
sail2dir=../sail
LEM=$(lemdir)/lem
MACHINEFILES=\
$(saildir)/src/lem_interp/sail_impl_base.lem\
$(saildir)/src/gen_lib/sail_values.lem\
$(saildir)/src/gen_lib/prompt.lem\
$(sail2dir)/src/gen_lib/sail2_instr_kinds.lem\
$(sail2dir)/src/gen_lib/sail2_values.lem\
$(sail2dir)/src/gen_lib/sail2_operators.lem\
$(sail2dir)/src/gen_lib/sail2_operators_mwords.lem\
$(sail2dir)/src/gen_lib/sail2_prompt_monad.lem\
$(sail2dir)/src/gen_lib/sail2_prompt.lem\
$(sail2dir)/src/gen_lib/sail2_string.lem\
src_concurrency_model/utils.lem\
src_concurrency_model/freshIds.lem\
src_concurrency_model/instructionSemantics.lem\
src_concurrency_model/exceptionTypes.lem\
src_concurrency_model/events.lem\
src_concurrency_model/fragments.lem\
src_concurrency_model/elfProgMemory.lem\
src_concurrency_model/isa.lem\
src_concurrency_model/regUtils.lem\
src_concurrency_model/uiTypes.lem\
src_concurrency_model/params.lem\
src_concurrency_model/dwarfTypes.lem\
src_concurrency_model/instructionKindPredicates.lem\
src_concurrency_model/candidateExecution.lem\
src_concurrency_model/machineDefTypes.lem\
src_concurrency_model/machineDefUI.lem\
src_concurrency_model/machineDefPLDI11StorageSubsystem.lem\
src_concurrency_model/machineDefFlowingStorageSubsystem.lem\
src_concurrency_model/machineDefFlatStorageSubsystem.lem\
src_concurrency_model/machineDefPOPStorageSubsystem.lem\
src_concurrency_model/machineDefTSOStorageSubsystem.lem\
src_concurrency_model/machineDefThreadSubsystemUtils.lem\
src_concurrency_model/machineDefThreadSubsystem.lem\
src_concurrency_model/machineDefSystem.lem\
src_concurrency_model/machineDefTransitionUtils.lem\
src_concurrency_model/promisingViews.lem\
src_concurrency_model/promisingTransitions.lem\
src_concurrency_model/promisingThread.lem\
src_concurrency_model/promisingStorageTSS.lem\
src_concurrency_model/promisingStorage.lem\
src_concurrency_model/promising.lem\
src_concurrency_model/promisingDwarf.lem\
src_concurrency_model/promisingUI.lem
LEMFLAGS += -only_changed_output
LEMFLAGS += -wl_unused_vars ign
LEMFLAGS += -wl_pat_comp ign
LEMFLAGS += -wl_pat_exh ign
# LEMFLAGS += -wl_pat_fail ign
LEMFLAGS += -wl_comp_message ign
LEMFLAGS += -wl_rename ign
TEXOUT=tex
all:
mkdir -p $(TEXOUT)
@echo "${BLUE}generating concurrency model tex definition ..."
$(LEM) $(LEMFLAGS) -outdir $(TEXOUT) -tex $(MACHINEFILES)
cd tex && TEXINPUTS=$(lemdir2)/tex-lib/:$(TEXINPUTS) pdflatex MachineDefThreadSubsystem
clean:
rm -rf tex
rm -f *~