From 04941b3cb8712cee9c3b0806cfe7aa76287c40e8 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sun, 24 Jul 2016 16:09:47 +0200
Subject: Updates to the local test suite

- Adjust parameters to bring the running time of each test closer to 1 second
- compression/arcode.c: array access one past
- "inline" -> "static inline"
- Remove cchecklink support
---
 test/spass/Makefile | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'test/spass')

diff --git a/test/spass/Makefile b/test/spass/Makefile
index 6a4cd598..f6acc551 100644
--- a/test/spass/Makefile
+++ b/test/spass/Makefile
@@ -2,10 +2,6 @@ include ../../Makefile.config
 
 CC=../../ccomp 
 CFLAGS=-stdlib ../../runtime -dparse -dclight -dasm -fstruct-return
-ifeq ($(CCHECKLINK),true)
-CCHECK=../../cchecklink
-CFLAGS+= -sdump
-endif
 
 SRCS=analyze.c clause.c clock.c closure.c cnf.c component.c                 \
   condensing.c context.c defs.c dfgparser.c dfgscanner.c doc-proof.c        \
@@ -34,10 +30,6 @@ TIME=xtime -o /dev/null     # Xavier's hack
 bench:
 	@echo -n "spass: "; $(TIME) ./spass problem.dfg
 
-ccheck:
-	@echo "---- spass"
-	@$(CCHECK) -exe spass *.sdump
-
 depend:
 	gcc -MM $(SRCS) > .depend
 
-- 
cgit