]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/Makefile
First release checked in
[helm.git] / helm / graphs / tools / Makefile
diff --git a/helm/graphs/tools/Makefile b/helm/graphs/tools/Makefile
new file mode 100644 (file)
index 0000000..0635c4c
--- /dev/null
@@ -0,0 +1,34 @@
+PID=
+DOT=../gv1.7c/bin/dot
+SED=sed "s/font-family:Times;//g"
+
+#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)
+
+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
+
+clean:
+       rm -f $(OBJS) prova.$(PID).dot xx.$(PID)00 xx.$(PID)01 xx.$(PID)02 xx.$(PID)02n xx.$(PID)03 log.$(PID)