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

Add cgtests.mk, which builds the cgtests using GNU make.

Browse Source 
This may go away, or it may end up as a replacement for compile-cgtests.
This commit is contained in:
Adam Sampson 2008-02-29 17:13:19 +00:00
parent d021edbd48
commit 6456dad42e
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
cgtests.mk Normal file
View File

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