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/compression/Makefile | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

(limited to 'test/compression')

diff --git a/test/compression/Makefile b/test/compression/Makefile
index 8db55dd..e35e1a1 100644
--- a/test/compression/Makefile
+++ b/test/compression/Makefile
@@ -1,7 +1,13 @@
+include ../../Makefile.config
+
 CC=../../ccomp 
 CFLAGS=-U__GNUC__ -stdlib ../../runtime -dclight -dasm
 LIBS=
 TIME=xtime -o /dev/null -mintime 1.0
+ifeq ($(CCHECKLINK),true)
+CCHECK=../../cchecklink
+CFLAGS+= -sdump
+endif
 
 EXE=arcode lzw lzss
 
@@ -51,10 +57,18 @@ bench:
          done
 	rm -f $(TESTCOMPR)
 
+ccheck:
+	@echo "---- arcode"
+	@$(CCHECK) -exe arcode $(ARCODE_OBJS:.o=.sdump)
+	@echo "---- lzw"
+	@$(CCHECK) -exe lzw $(LZW_OBJS:.o=.sdump)
+	@echo "---- lzss"
+	@$(CCHECK) -exe lzss $(LZSS_OBJS:.o=.sdump)
+
 include .depend
 
 clean:
-	rm -f *.o *.light.c *.s $(EXE)
+	rm -f *.o *.light.c *.s *.sdump $(EXE)
 
 depend:
 	gcc -MM *.c > .depend
-- 
cgit v1.2.3