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