Permalink
Browse files

makefile for converting .dot files to .png files

Fixes #5
  • Loading branch information...
1 parent 5417491 commit 9e10518a2fed8a4a5961b6abad50ef92b4747600 @vapniks vapniks committed with Sep 29, 2016
Showing with 31 additions and 0 deletions.
  1. +31 −0 recipes/dot/to-png/Makefile
@@ -0,0 +1,31 @@
+# This is a template for the Makefile.
+# Parameters should go in the upper half as:
+# width = 200
+# and be referenced in the command as $(width)
+
+# ______________________________________________________________________________
+
+DIRDOT = $(shell dir *.dot)
+
+DIRPNG = $(DIRDOT:.dot=.png)
+
+all: clean Makefile $(DIRPNG)
+
+%.png: %.dot
+ dot -Tpng "$^" > "$@"
+ echo $@ >> provide
+
+clean:
+ rm -f *.png provide
+
+# Insert the install command here.
+# e.g. sudo apt-get install ffmpeg
+install-tools:
+ sudo apt-get install graphviz
+
+# Use this target when one file requires another.
+# See "../../cue/split/Makefile" for an example.
+require:
+ @echo
+
+.PHONY: all install-tools require clean

0 comments on commit 9e10518

Please sign in to comment.