]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / graphs / tools / Makefile
index 0635c4c263104553f48fc9b855a575408d2108e9..cbcc1694636b9e105cbddafc292f9b846aaf0aaa 100644 (file)
@@ -2,11 +2,27 @@ PID=
 DOT=../gv1.7c/bin/dot
 SED=sed "s/font-family:Times;//g"
 
+REQUIRES = http
+PREDICATES = mt
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
+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