diff options
Diffstat (limited to 'test/spass')
-rw-r--r-- | test/spass/Makefile | 8 |
1 files changed, 0 insertions, 8 deletions
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 |