diff --git a/cgtests.mk b/cgtests.mk
new file mode 100644
index 0000000..bcc56dd
--- /dev/null
+++ b/cgtests.mk
@@ -0,0 +1,13 @@
+# GNUmakefile for compiling the cgtests using Tock.
+
+tests = $(patsubst %.occ,%,$(wildcard cgtests/cgtest??.occ))
+
+all: $(tests)
+
+cgtests/%: cgtests/%.occ
+	./tock -v --backend=cppcsp -o $@ $<
+
+run-all: $(addprefix run-,$(tests))
+
+run-cgtests/%: cgtests/%
+	cgtests/$*