]> matita.cs.unibo.it Git - helm.git/blob - daemons/graphs/tools/Makefile
bef00fca356b88eba54d5fe30a6f9013028fdc21
[helm.git] / daemons / graphs / tools / Makefile
1 PID=
2 DOT=dot
3 #SED=sed "s/font-family:Times;//g"
4 SED=cat
5
6 REQUIRES = http helm-registry
7 PREDICATES = mt
8 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
9 OCAMLFIND = OCAMLPATH=../../../components/METAS/ ocamlfind
10 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
11 OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
12 EXECUTABLES = uriSetQueue drawGraph
13 EXECUTABLES_OPT = $(patsubst %,%.opt,$(EXECUTABLES))
14
15 #OBJS=prova.$(PID).svg prova.$(PID).ps prova.$(PID).gif prova.$(PID).ismap prova.$(PID).imap prova.$(PID).html
16 OBJS=prova.$(PID).gif prova.$(PID).ismap prova.$(PID).html
17
18 all: $(EXECUTABLES)
19 opt: $(EXECUTABLES_OPT)
20 world: all opt
21 clean:
22         rm -f *.cm[aiox] *.cmxa *.[ao] $(EXECUTABLES) $(EXECUTABLES_OPT)
23
24 tmp: $(OBJS)
25 clean_tmp:
26         rm -f $(OBJS) prova.$(PID).dot xx.$(PID)00 xx.$(PID)01 xx.$(PID)02 \
27                 xx.$(PID)02n xx.$(PID)03 log.$(PID)
28
29 uriSetQueue: uriSetQueue.ml
30         $(OCAMLC) -linkpkg -o $@ $<
31 uriSetQueue.opt: uriSetQueue.ml
32         $(OCAMLOPT) -linkpkg -o $@ $<
33
34 drawGraph: drawGraph.ml
35         $(OCAMLC) -linkpkg -o $@ $<
36 drawGraph.opt: drawGraph.ml
37         $(OCAMLOPT) -linkpkg -o $@ $<
38
39 prova.$(PID).dot: prova0.$(PID).dot
40         csplit --prefix=xx.$(PID) prova0.$(PID).dot 1 2 `expr \`wc -l prova0.$(PID).dot | sed 's/\([0123456789]\+\) prova0.$(PID).dot/\1/'\` + 1`
41         ./simplify_deps/simplify_deps.opt < xx.$(PID)02 > xx.$(PID)02n
42         cat xx.$(PID)01 xx.$(PID)02n xx.$(PID)03 > prova.$(PID).dot
43
44 prova.$(PID).svg: prova.$(PID).dot
45         $(DOT) -Tsvg prova.$(PID).dot | $(SED) > prova.$(PID).svg
46
47 prova.$(PID).ps: prova.$(PID).dot
48         $(DOT) -Tps prova.$(PID).dot > prova.$(PID).ps
49
50 prova.$(PID).imap: prova.$(PID).dot
51         $(DOT) -Timap prova.$(PID).dot > prova.$(PID).imap
52
53 prova.$(PID).gif: prova.$(PID).dot
54         $(DOT) -Tgif prova.$(PID).dot > prova.$(PID).gif
55
56 prova.$(PID).ismap: prova.$(PID).dot
57         $(DOT) -Tismap prova.$(PID).dot > prova.$(PID).ismap
58
59 prova.$(PID).html: prova.$(PID).ismap
60         cat xx.$(PID)00 prova.$(PID).ismap | ./mk_html.pl $(PID) > prova.$(PID).html
61