From c85dc01842643c7a21d9aaf4a52f076f346cbb6f Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 1 Apr 2009 19:25:40 +0000
Subject: [PATCH] Changed the cgtests Makefile to use the new separate
 compilation for cglib

---
 cgtests.mk | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/cgtests.mk b/cgtests.mk
index d555e5e..f09b5a7 100644
--- a/cgtests.mk
+++ b/cgtests.mk
@@ -6,13 +6,16 @@ tests = $(patsubst %.occ,%,$(wildcard cgtests/cgtest??.occ))
 all: $(tests)
 
 clean:
-	rm -f $(tests)
+	rm -f $(tests) cgtests/cglib.inc
 
 checkout:
 	svn co http://projects.cs.kent.ac.uk/projects/kroc/svn/kroc/trunk/tests/cgtests
 
-%: %.occ
-	./tock -vk --backend=$(BACKEND) --run-indent -o $@ $<
+%: %.occ cgtests/cglib.inc
+	./tock -vk --backend=$(BACKEND) --usage-checking=off --run-indent -o $@ $<
+
+cgtests/cglib.inc: cgtests/cglib.occ
+	./tock -vk --backend=$(BACKEND) --usage-checking=off --run-indent --no-main $<
 
 run: $(tests)
 	cd cgtests && ./run-tests