diff -r dace11211dc9 -r 03cd058c33ba streamlet/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/streamlet/Makefile	Sat Jan 11 18:06:58 2020 +0100
@@ -0,0 +1,27 @@
+.PHONY: all display display-messages display-protocol constants
+
+all: protocol.pdf constants
+
+protocol.pdf: messages.csv protocol.csv protocol.sh
+	./protocol.sh
+
+display: display-messages display-protocol
+
+display-messages:
+	cat messages.csv | relpipe-in-csv "messages" | relpipe-out-tabular
+
+display-protocol:
+	cat protocol.csv | relpipe-in-csv "protocol" | relpipe-out-tabular
+
+constants: StreamletMsg.h
+
+StreamletMsg.h: messages.csv constants.cpp.sh
+	cat messages.csv | ./constants.cpp.sh > StreamletMsg.h
+	echo '#include "StreamletMsg.h"' > StreamletMsg.envelope.h
+	g++ StreamletMsg.envelope.h
+	rm StreamletMsg.envelope.h
+	rm StreamletMsg.envelope.h.gch
+
+clean:
+	rm -f protocol.pdf
+	rm -f StreamletMsg.h