From 6456dad42e2dcc9779f3554bbb53f0bf4c9cdae1 Mon Sep 17 00:00:00 2001
From: Adam Sampson <ats@offog.org>
Date: Fri, 29 Feb 2008 17:13:19 +0000
Subject: [PATCH] Add cgtests.mk, which builds the cgtests using GNU make. This
 may go away, or it may end up as a replacement for compile-cgtests.

---
 cgtests.mk | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 cgtests.mk

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/$*