From a621daac9ff240ec947b9ca3cc7efa35fdf9f05a Mon Sep 17 00:00:00 2001
From: Adam Sampson <ats@offog.org>
Date: Wed, 5 Mar 2008 16:30:06 +0000
Subject: [PATCH] Make the backend a variable in cgtests.mk.

---
 cgtests.mk | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/cgtests.mk b/cgtests.mk
index 1f11325..da9da29 100644
--- a/cgtests.mk
+++ b/cgtests.mk
@@ -1,5 +1,6 @@
 # GNUmakefile for compiling the cgtests using Tock.
 
+BACKEND ?= cppcsp
 tests = $(patsubst %.occ,%,$(wildcard cgtests/cgtest??.occ))
 
 all: $(tests)
@@ -7,8 +8,8 @@ all: $(tests)
 checkout:
 	svn co http://projects.cs.kent.ac.uk/projects/kroc/svn/kroc/trunk/tests/cgtests
 
-cgtests/%: cgtests/%.occ
-	./tock -vk --backend=cppcsp -o $@ $<
+%: %.occ
+	./tock -vk --backend=$(BACKEND) -o $@ $<
 
 run-all: $(addprefix run-,$(tests))