From 3d8c8ffbcaa07b6b421c75298a25887875a78c34 Mon Sep 17 00:00:00 2001
From: varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 4 Apr 2012 11:59:38 +0000
Subject: New Makefile for testing checklink

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1867 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 checklink/Makefile | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 52 insertions(+)
 create mode 100644 checklink/Makefile

(limited to 'checklink')

diff --git a/checklink/Makefile b/checklink/Makefile
new file mode 100644
index 0000000..c81cbbd
--- /dev/null
+++ b/checklink/Makefile
@@ -0,0 +1,52 @@
+TESTS=c arcode lzw lzss raytracer regression spass
+
+.PHONY: all $(TESTS)
+
+all: $(TESTS)
+
+CL=../cchecklink -noexhaust
+TESTDIR=../test
+
+C=aes almabench binarytrees bisect chomp fannkuch fft fib integr knucleotide \
+  lists mandelbrot nbody nsievebits nsieve perlin qsort sha1 spectral vmach
+
+c:
+	for x in $(C); do \
+		echo $(CL) $(TESTDIR)/c/$$x.compcert $(TESTDIR)/c/$$x.sdump; \
+		$(CL) $(TESTDIR)/c/$$x.compcert $(TESTDIR)/c/$$x.sdump; \
+	done
+
+ARCODE=optlist bitfile arcode armain
+ARCODE_SDUMP=$(addsuffix .sdump, $(ARCODE))
+arcode:
+	$(CL) $(addprefix $(TESTDIR)/compression/, arcode $(ARCODE_SDUMP))
+
+LZW=optlist bitfile lzwencode lzwdecode lzwmain
+LZW_SDUMP=$(addsuffix .sdump, $(LZW))
+lzw:
+	$(CL) $(addprefix $(TESTDIR)/compression/, lzw $(LZW_SDUMP))
+
+LZSS=optlist bitfile lzvars lzhash lzencode lzdecode
+LZSS_SDUMP=$(addsuffix .sdump, $(LZSS))
+lzss:
+	$(CL) $(addprefix $(TESTDIR)/compression/, lzss $(LZSS_SDUMP))
+
+RAYTRACER_SDUMP=`ls $(TESTDIR)/raytracer/*.sdump`
+raytracer:
+	$(CL) $(TESTDIR)/raytracer/render $(RAYTRACER_SDUMP)
+
+SDUMP_COMPCERT=`echo $$x | sed s/sdump/compcert/`
+REGRESSION_SDUMP=`ls $(TESTDIR)/regression/*.sdump`
+regression:
+	for x in $(REGRESSION_SDUMP); \
+	do \
+		if [ -f $(SDUMP_COMPCERT) ] ; \
+		then \
+			echo $(CL) $(SDUMP_COMPCERT) $$x; \
+			$(CL) $(SDUMP_COMPCERT) $$x ; \
+		fi ; \
+	done
+
+SPASS_SDUMP=`ls $(TESTDIR)/spass/*.sdump`
+spass:
+	$(CL) $(TESTDIR)/spass/spass $(SPASS_SDUMP)
-- 
cgit v1.2.3