diff options
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) |