X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2FMakefile;h=8246a81dac6bcc5a28e1db80efda4b0bd156bbd4;hb=4c67cc0208078e3952a5146563d4d49116f7edf4;hp=0635c4c263104553f48fc9b855a575408d2108e9;hpb=cb9f345924b8595b2e4922326ff335af133e46ce;p=helm.git diff --git a/helm/graphs/tools/Makefile b/helm/graphs/tools/Makefile index 0635c4c26..8246a81da 100644 --- a/helm/graphs/tools/Makefile +++ b/helm/graphs/tools/Makefile @@ -2,11 +2,27 @@ PID= DOT=../gv1.7c/bin/dot SED=sed "s/font-family:Times;//g" +REQUIRES = http +PREDICATES = +OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" +OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS) +OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS) + #OBJS=prova.$(PID).svg prova.$(PID).ps prova.$(PID).gif prova.$(PID).ismap prova.$(PID).imap prova.$(PID).html OBJS=prova.$(PID).gif prova.$(PID).ismap prova.$(PID).html all: $(OBJS) +uriSetQueue: uriSetQueue.ml + $(OCAMLC) -linkpkg -o $@ $< +uriSetQueue.opt: uriSetQueue.ml + $(OCAMLOPT) -linkpkg -o $@ $< + +drawGraph: drawGraph.ml + $(OCAMLC) -package "unix netclient" -linkpkg -o $@ $< +drawGraph.opt: drawGraph.ml + $(OCAMLOPT) -package "unix netclient" -linkpkg -o $@ $< + prova.$(PID).dot: prova0.$(PID).dot csplit --prefix=xx.$(PID) prova0.$(PID).dot 1 2 `expr \`wc -l prova0.$(PID).dot | sed 's/\([0123456789]\+\) prova0.$(PID).dot/\1/'\` + 1` ./simplify_deps/simplify_deps.opt < xx.$(PID)02 > xx.$(PID)02n