diff options
author | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-04-04 11:59:38 +0000 |
---|---|---|
committer | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-04-04 11:59:38 +0000 |
commit | 3d8c8ffbcaa07b6b421c75298a25887875a78c34 (patch) | |
tree | 3e63e0cd7bf4a96a6cfe1811241f41cc12faaf75 /checklink/Makefile | |
parent | 6b5556326d9b922b299383de0b7b39f89ab6d595 (diff) | |
download | compcert-3d8c8ffbcaa07b6b421c75298a25887875a78c34.tar.gz compcert-3d8c8ffbcaa07b6b421c75298a25887875a78c34.zip |
New Makefile for testing checklink
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1867 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'checklink/Makefile')
-rw-r--r-- | checklink/Makefile | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/checklink/Makefile b/checklink/Makefile new file mode 100644 index 00000000..c81cbbd3 --- /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) |