PERFORCE change 222701 for review

[Jonathan Anderson]

http://p4web.freebsd.org/@@222701?ac=10

Change 222701 by jonathan at jonathan-on-kent on 2013/03/07 14:51:29

	Add support for 'make tesla.dot', which produces a GraphViz representation of the automata described in the current program.

Affected files ...

.. //depot/projects/ctsrd/tesla/src/share/mk/sys.mk#5 edit

Differences ...

==== //depot/projects/ctsrd/tesla/src/share/mk/sys.mk#5 (text+ko) ====

@@ -32,7 +32,7 @@
 .if defined(%POSIX)
 .SUFFIXES:	.o .c .y .l .a .sh .f
 .else
-.SUFFIXES:	.out .a .instrll .instro .oll .obc .ln .o .c .cc .cpp .cxx .C .m .F .f .e .r .tesla .y .l .S .asm .s .cl .p .h .sh
+.SUFFIXES:	.out .a .dot .instrll .instro .oll .obc .ln .manifest .o .c .cc .cpp .cxx .C .m .F .f .e .r .tesla .y .l .S .asm .s .cl .p .h .sh
 .endif
 
 AR		?=	ar
@@ -282,6 +282,9 @@
 .instrll.instro: tesla.manifest
 	${LLC} -filetype=obj ${.IMPSRC} -o ${.TARGET}
 
+.manifest.dot:
+	${TESLA} graph ${.IMPSRC} -o ${.TARGET}
+
 .oll.instrll:
 	${TESLA} instrument -S -verify-each -tesla-manifest tesla.manifest \
 		${.IMPSRC} -o ${.TARGET}