X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2FMakefile;fp=helm%2Fgraphs%2Ftools%2FMakefile;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=0726670319c97eda7006eeeb0a78bc8d6a6aaabd;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/graphs/tools/Makefile b/helm/graphs/tools/Makefile
deleted file mode 100644
index 072667031..000000000
--- a/helm/graphs/tools/Makefile
+++ /dev/null
@@ -1,60 +0,0 @@
-PID=
-DOT=dot
-#SED=sed "s/font-family:Times;//g"
-SED=cat
-
-REQUIRES = http helm-registry
-PREDICATES = mt
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
-OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
-OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
-EXECUTABLES = uriSetQueue drawGraph
-EXECUTABLES_OPT = $(patsubst %,%.opt,$(EXECUTABLES))
-
-#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: $(EXECUTABLES)
-opt: $(EXECUTABLES_OPT)
-world: all opt
-clean:
-	rm -f *.cm[aiox] *.cmxa *.[ao] $(EXECUTABLES) $(EXECUTABLES_OPT)
-
-tmp: $(OBJS)
-clean_tmp:
-	rm -f $(OBJS) prova.$(PID).dot xx.$(PID)00 xx.$(PID)01 xx.$(PID)02 \
-		xx.$(PID)02n xx.$(PID)03 log.$(PID)
-
-uriSetQueue: uriSetQueue.ml
-	$(OCAMLC) -linkpkg -o $@ $<
-uriSetQueue.opt: uriSetQueue.ml
-	$(OCAMLOPT) -linkpkg -o $@ $<
-
-drawGraph: drawGraph.ml
-	$(OCAMLC) -linkpkg -o $@ $<
-drawGraph.opt: drawGraph.ml
-	$(OCAMLOPT) -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
-	cat xx.$(PID)01 xx.$(PID)02n xx.$(PID)03 > prova.$(PID).dot
-
-prova.$(PID).svg: prova.$(PID).dot
-	$(DOT) -Tsvg prova.$(PID).dot | $(SED) > prova.$(PID).svg
-
-prova.$(PID).ps: prova.$(PID).dot
-	$(DOT) -Tps prova.$(PID).dot > prova.$(PID).ps
-
-prova.$(PID).imap: prova.$(PID).dot
-	$(DOT) -Timap prova.$(PID).dot > prova.$(PID).imap
-
-prova.$(PID).gif: prova.$(PID).dot
-	$(DOT) -Tgif prova.$(PID).dot > prova.$(PID).gif
-
-prova.$(PID).ismap: prova.$(PID).dot
-	$(DOT) -Tismap prova.$(PID).dot > prova.$(PID).ismap
-
-prova.$(PID).html: prova.$(PID).ismap
-	cat xx.$(PID)00 prova.$(PID).ismap | ./mk_html.pl $(PID) > prova.$(PID).html
-