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