From 3ab947ce345e9d18ddcda57d8f88b2a9b8f5d267 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 12 Oct 2015 11:48:36 +0200
Subject: Removal of cchecklink, superseded by AbsInt's Valex tool.

---
 checklink/Makefile | 52 ----------------------------------------------------
 1 file changed, 52 deletions(-)
 delete mode 100644 checklink/Makefile

(limited to 'checklink/Makefile')

diff --git a/checklink/Makefile b/checklink/Makefile
deleted file mode 100644
index 1518e2c6..00000000
--- a/checklink/Makefile
+++ /dev/null
@@ -1,52 +0,0 @@
-TESTS=c arcode lzw lzss raytracer regression spass
-
-.PHONY: all $(TESTS)
-
-all: $(TESTS)
-
-CL=../cchecklink $(ARGS)
-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