suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Make the backend a variable in cgtests.mk.

Browse Source
This commit is contained in:
Adam Sampson 2008-03-05 16:30:06 +00:00
parent aff90d8d45
commit a621daac9f
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
cgtests.mk
View File

@ -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))