diff -r fd9a33a86532 -r dace11211dc9 exec/Makefile
--- a/exec/Makefile	Tue Jan 07 17:01:06 2020 +0100
+++ b/exec/Makefile	Sat Jan 11 01:02:01 2020 +0100
@@ -1,6 +1,6 @@
-.PHONY: all display display-messages display-protocol
+.PHONY: all display display-messages display-protocol constants
 
-all: protocol.pdf
+all: protocol.pdf constants
 
 protocol.pdf: messages.csv protocol.csv protocol.sh
 	./protocol.sh
@@ -12,3 +12,14 @@
 
 display-protocol:
 	cat protocol.csv | relpipe-in-csv "protocol" | relpipe-out-tabular
+
+constants: ExecMsg.h
+
+ExecMsg.h: messages.csv constants.cpp.sh
+	cat messages.csv | ./constants.cpp.sh > ExecMsg.h
+	g++ ExecMsg.h
+	rm ExecMsg.h.gch
+
+clean:
+	rm -f protocol.pdf
+	rm -f ExecMsg.h