From 04d0d602ef7245fd566debd91bcb148acd9ed067 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 28 Jul 2014 12:13:15 +0000
Subject: PowerPC port: refactored the expansion of built-in functions and
 pseudo-instructions so that it does not need to be re-done in cchecklink.
 cchecklink: updated accordingly. testsuite: compile with -sdump and run
 cchecklink if supported.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2553 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/raytracer/Makefile | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'test/raytracer')

diff --git a/test/raytracer/Makefile b/test/raytracer/Makefile
index a4b8894..c6eb190 100644
--- a/test/raytracer/Makefile
+++ b/test/raytracer/Makefile
@@ -4,6 +4,10 @@ CC=../../ccomp
 CFLAGS=-stdlib ../../runtime -dparse -dclight -dasm -fstruct-return
 LIBS=$(LIBMATH)
 TIME=xtime -mintime 2.0
+ifeq ($(CCHECKLINK),true)
+CCHECK=../../cchecklink
+CFLAGS+= -sdump
+endif
 
 OBJS=memory.o gmllexer.o gmlparser.o eval.o \
   arrays.o vector.o matrix.o object.o intersect.o surface.o light.o \
@@ -15,7 +19,7 @@ render: $(OBJS)
 	$(CC) $(CFLAGS) -o render $(OBJS) $(LIBS)
 
 clean:
-	rm -f *.o *.parsed.c *.light.c *.s *.ppm render
+	rm -f *.o *.parsed.c *.light.c *.s *.sdump *.ppm render
 
 include .depend
 
@@ -55,3 +59,8 @@ test:
 
 bench:
 	@echo -n "raytracer: "; $(TIME) ./render < kal.gml
+
+ccheck:
+	@echo "---- render"
+	@$(CCHECK) -exe render *.sdump
+
-- 
cgit v1.2.3