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