@@ -7,3 +7,5 @@

 /um.um

 /um-spec.txt

 /um

+/umix.um

+/publications.txt

@@ -1,7 +1,7 @@

 .POSIX:

 .PHONY: all

-all: um

+all: publications.txt

 .PHONY: test

@@ -44,3 +44,32 @@ test: um sandmark.umz sandmark-output.txt

 	{ time ./um sandmark.umz; } \

 	| tee /dev/tty \

 	| diff -q sandmark-output.txt -

+

+umix.um: um codex.umz codex-key.txt

+	# It's faster if we don't output to `/dev/tty`, but it looks cool.

+	{ cat codex-key.txt; echo 'p'; } \

+	| { time ./um codex.umz; } \

+	| { tee /dev/stderr | cat -v > /dev/tty; } 2>&1 \

+	| LC_ALL=C awk ' \

+	  program; \

+	  !program && program = match($$0, /UM program follows colon:/) { \

+	    print substr($$0, RSTART+RLENGTH); \

+	  } \

+	' > $@

+	echo

+

+.PHONY: publications.txt

+.PRECIOUS: publications.txt

+publications.txt: um umix.um

+	publications=$$(cat $@); \

+	{ \

+	  ! [ "$$publications" ] || echo "$$publications"; \

+	  { time ./um umix.um; } \

+	  | tee /dev/tty \

+	  | awk ' \

+	    match($$0, /[A-Z]{5}\.[A-Z]{3}=[0-9]+@[0-9]+\|[0-9a-f]{31}/) { \

+	      print substr($$0, RSTART, RSTART+RLENGTH); \

+	    } \

+	  '; \

+	} \

+	| awk '!seen[$$0]++' > $@