source: Deliverables/Dissemination/final-review/wp5/Pics/Makefile @ 3282

Last change on this file since 3282 was 3282, checked in by regisgia, 7 years ago
  • WP5 slides for the final review.
File size: 1.1 KB
Line 
1
2MAIN = main.tex
3
4MLMPS = mlpost -latex $(MAIN)
5
6FILES =                                                                                 \
7   nothing cerco_present ternary1 ternary2 symbolic cost framac wrapper label_annot     \
8   summul_result_c summul_clight summul_result_mips summul_mips summul_cost_scope \
9   summul_mips_raw summul_cost_incr summul_result_erased_mips
10
11COMPILATION2_ = compilation21 compilation22
12DIAGRAM_ = diagram1 diagram2 diagram3
13LABELLING_ = labelling1 labelling2
14GOTO_ = goto1 goto2
15CALL_ = call1 call2 call3
16
17ML = $(FILES:=.ml)
18MPS = $(ML:.ml=.mps)
19
20COMPILATION2 = $(COMPILATION2_:=.mps)
21DIAGRAM = $(DIAGRAM_:=.mps)
22LABELLING = $(LABELLING_:=.mps)
23GOTO = $(GOTO_:=.mps)
24CALL = $(CALL_:=.mps)
25
26SFS = $(COMPILATION2) $(DIAGRAM) $(LABELLING) $(GOTO) $(CALL)
27
28
29COMP_FILE = *.log *.mp *.mpx mpxerr.*
30
31
32all: $(SFS) $(MPS)
33
34$(COMPILATION2): compilation2.ml
35        $(MLMPS) compilation2.ml
36
37$(DIAGRAM): diagram.ml
38        $(MLMPS) diagram.ml
39
40$(LABELLING): labelling.ml
41        $(MLMPS) labelling.ml
42
43$(GOTO): goto.ml
44        $(MLMPS) goto.ml
45
46$(CALL): call.ml
47        $(MLMPS) call.ml
48
49$(MPS) $(SFS): $(MAIN)
50
51
52.SUFFIXES: .ml .mps
53
54.ml.mps:
55        $(MLMPS) $<
56
57clean:
58        rm -f *~ $(COMP_FILE)
59
60distclean: clean
61        rm -f *.mps
62
63.PHONY = clean distclean
Note: See TracBrowser for help on using the repository browser.