diff options
Diffstat (limited to 'test/regression/Makefile')
-rw-r--r-- | test/regression/Makefile | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/test/regression/Makefile b/test/regression/Makefile index 25b47c7e..42b6b247 100644 --- a/test/regression/Makefile +++ b/test/regression/Makefile @@ -1,8 +1,8 @@ include ../../Makefile.config CCOMP=../../ccomp -CCOMPFLAGS=-stdlib ../../runtime -dparse -dc -dclight -dasm -fall - +CCOMPFLAGS=$(CCOMPOPTS) -stdlib ../../runtime -dparse -dc -dclight -dasm -fall +INTERPFLAGS=-stdlib ../../runtime -interp -quiet -fall LIBS=$(LIBMATH) # Can run, both in compiled mode and in interpreter mode, @@ -15,7 +15,6 @@ TESTS=int32 int64 floats floats-basics \ sizeof1 sizeof2 binops bool for1 switch switch2 compound \ decl1 interop1 bitfields9 ptrs3 \ parsing krfun - # Can run, but only in compiled mode, and have reference output in Results TESTS_COMP=attribs1 bitfields1 bitfields2 bitfields3 bitfields4 \ @@ -28,7 +27,7 @@ TESTS_COMP=attribs1 bitfields1 bitfields2 bitfields3 bitfields4 \ ifeq ($(ARCH),powerpc) TESTS_COMP+=packedstruct1 endif -ifeq ($(ARCH),ia32) +ifeq ($(ARCH),x86) TESTS_COMP+=packedstruct1 endif @@ -51,17 +50,17 @@ all: $(TESTS:%=%.compcert) $(TESTS_COMP:%=%.compcert) $(TESTS_DIFF:%=%.compcert) all_s: $(TESTS:%=%.s) $(TESTS_COMP:%=%.s) $(TESTS_DIFF:%=%.s) $(EXTRAS:%=%.s) -interop1.compcert: interop1.c $(CCOMP) +interop1.compcert: interop1.c $(CC) -DCC_SIDE -c -o interop1n.o interop1.c $(CCOMP) $(CCOMPFLAGS) -DCOMPCERT_SIDE -o interop1.compcert interop1.c interop1n.o $(LIBS) -interop1.s: interop1.c $(CCOMP) +interop1.s: interop1.c $(CCOMP) $(CCOMPFLAGS) -S interop1.c -%.compcert: %.c $(CCOMP) +%.compcert: %.c $(CCOMP) $(CCOMPFLAGS) -o $*.compcert $*.c $(LIBS) -%.s: %.c $(CCOMP) +%.s: %.c $(CCOMP) $(CCOMPFLAGS) -S $*.c clean: @@ -75,7 +74,7 @@ test: done @echo "----------- Interpreted tests -------------" @for i in $(TESTS); do \ - SIMU='' ./Runtest $$i $(CCOMP) -fall -interp -quiet $$i.c; \ + SIMU='' ./Runtest $$i $(CCOMP) $(INTERPFLAGS) $$i.c; \ done @for i in $(TESTS_DIFF); do \ if $(CCOMP) -fall -interp -quiet $$i.c > _cinterp.log; then \ |