source: Deliverables/D1.1/Presentations/figs/Makefile @ 662

Last change on this file since 662 was 662, checked in by regisgia, 9 years ago

New version of the slides.

File size: 1.0 KB
Line 
1
2MAIN = main.tex
3
4MLMPS = mlpost -latex $(MAIN)
5
6FILES = nothing cerco_present ternary1 ternary2 symbolic
7
8COMPILATION2_ = compilation21 compilation22 compilation23       \
9                compilation24 compilation25 compilation26
10DIAGRAM_ = diagram1 diagram2 diagram3
11LABELLING_ = labelling1 labelling2
12GOTO_ = goto1 goto2
13CALL_ = call1 call2 call3
14
15ML = $(FILES:=.ml)
16MPS = $(ML:.ml=.mps)
17
18COMPILATION2 = $(COMPILATION2_:=.mps)
19DIAGRAM = $(DIAGRAM_:=.mps)
20LABELLING = $(LABELLING_:=.mps)
21GOTO = $(GOTO_:=.mps)
22CALL = $(CALL_:=.mps)
23
24SFS = $(COMPILATION2) $(DIAGRAM) $(LABELLING) $(GOTO) $(CALL)
25
26
27COMP_FILE = *.log *.mp *.mpx mpxerr.*
28
29
30all: $(SFS) $(MPS)
31
32$(COMPILATION2): compilation2.ml
33        $(MLMPS) compilation2.ml
34
35$(DIAGRAM): diagram.ml
36        $(MLMPS) diagram.ml
37
38$(LABELLING): labelling.ml
39        $(MLMPS) labelling.ml
40
41$(GOTO): goto.ml
42        $(MLMPS) goto.ml
43
44$(CALL): call.ml
45        $(MLMPS) call.ml
46
47$(MPS) $(SFS): $(MAIN)
48
49
50.SUFFIXES: .ml .mps
51
52.ml.mps:
53        $(MLMPS) $<
54
55clean:
56        rm -f *~ $(COMP_FILE)
57
58distclean: clean
59        rm -f *.mps
60
61.PHONY = clean distclean
Note: See TracBrowser for help on using the repository browser.