]> matita.cs.unibo.it Git - helm.git/blob - helm/graphs/tools/Makefile
BU_Conversion + omit-conclusion is a mess. I have partially fixed the
[helm.git] / helm / graphs / tools / Makefile
1 PID=
2 DOT=../gv1.7c/bin/dot
3 SED=sed "s/font-family:Times;//g"
4
5 REQUIRES = http
6 PREDICATES = mt
7 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
8 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
9 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
10
11 #OBJS=prova.$(PID).svg prova.$(PID).ps prova.$(PID).gif prova.$(PID).ismap prova.$(PID).imap prova.$(PID).html
12 OBJS=prova.$(PID).gif prova.$(PID).ismap prova.$(PID).html
13
14 all: $(OBJS)
15
16 uriSetQueue: uriSetQueue.ml
17         $(OCAMLC) -linkpkg -o $@ $<
18 uriSetQueue.opt: uriSetQueue.ml
19         $(OCAMLOPT) -linkpkg -o $@ $<
20
21 drawGraph: drawGraph.ml
22         $(OCAMLC) -package "unix netclient" -linkpkg -o $@ $<
23 drawGraph.opt: drawGraph.ml
24         $(OCAMLOPT) -package "unix netclient" -linkpkg -o $@ $<
25
26 prova.$(PID).dot: prova0.$(PID).dot
27         csplit --prefix=xx.$(PID) prova0.$(PID).dot 1 2 `expr \`wc -l prova0.$(PID).dot | sed 's/\([0123456789]\+\) prova0.$(PID).dot/\1/'\` + 1`
28         ./simplify_deps/simplify_deps.opt < xx.$(PID)02 > xx.$(PID)02n
29         cat xx.$(PID)01 xx.$(PID)02n xx.$(PID)03 > prova.$(PID).dot
30
31 prova.$(PID).svg: prova.$(PID).dot
32         $(DOT) -Tsvg prova.$(PID).dot | $(SED) > prova.$(PID).svg
33
34 prova.$(PID).ps: prova.$(PID).dot
35         $(DOT) -Tps prova.$(PID).dot > prova.$(PID).ps
36
37 prova.$(PID).imap: prova.$(PID).dot
38         $(DOT) -Timap prova.$(PID).dot > prova.$(PID).imap
39
40 prova.$(PID).gif: prova.$(PID).dot
41         $(DOT) -Tgif prova.$(PID).dot > prova.$(PID).gif
42
43 prova.$(PID).ismap: prova.$(PID).dot
44         $(DOT) -Tismap prova.$(PID).dot > prova.$(PID).ismap
45
46 prova.$(PID).html: prova.$(PID).ismap
47         cat xx.$(PID)00 prova.$(PID).ismap | ./mk_html.pl $(PID) > prova.$(PID).html
48
49 clean:
50         rm -f $(OBJS) prova.$(PID).dot xx.$(PID)00 xx.$(PID)01 xx.$(PID)02 xx.$(PID)02n xx.$(PID)03 log.$(PID)