From 8f2e818c444363e29675d569ceaac48203f9d006 Mon Sep 17 00:00:00 2001 From: xleroy Date: Sat, 2 Feb 2013 11:32:47 +0000 Subject: Errors for excessively large global variables or stack frames. test/: update Makefiles so that "all" is the default target. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2107 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- test/c/Makefile | 4 ++-- test/regression/Makefile | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'test') diff --git a/test/c/Makefile b/test/c/Makefile index 2b445d2..f4d8f41 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -17,10 +17,10 @@ PROGS=fib integr qsort fft sha1 aes almabench lists \ PROGS_INTERP=floats -all_s: $(PROGS:%=%.s) - all: $(PROGS:%=%.compcert) +all_s: $(PROGS:%=%.s) + all_gcc: $(PROGS:%=%.gcc) %.compcert: %.c $(CCOMP) diff --git a/test/regression/Makefile b/test/regression/Makefile index 0a9212d..31ea51b 100644 --- a/test/regression/Makefile +++ b/test/regression/Makefile @@ -22,10 +22,10 @@ EXTRAS=annot1 commaprec expr2 expr3 expr4 extern1 funct2 funptr1 init1 \ # Test known to fail FAILURES=funct1 varargs1 -all_s: $(TESTS:%=%.s) $(EXTRAS:%=%.s) - all: $(TESTS:%=%.compcert) $(EXTRAS:%=%.s) +all_s: $(TESTS:%=%.s) $(EXTRAS:%=%.s) + %.compcert: %.c $(CCOMP) $(CCOMP) $(CCOMPFLAGS) -o $*.compcert $*.c $(LIBS) -- cgit v1.2.3