From c9cdb9911223d405785ba40469d76f00af0eccff Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Mon, 28 Aug 2017 14:52:17 +0200 Subject: For running tests with the interpreter, use the correct -stdlib option Otherwise the interpreter uses the system's header files instead of CompCert's. This can lead to mismatches e.g. on the definition of wchar_t. --- test/regression/Makefile | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'test/regression') diff --git a/test/regression/Makefile b/test/regression/Makefile index fd34bb1b..a0f1fe12 100644 --- a/test/regression/Makefile +++ b/test/regression/Makefile @@ -2,7 +2,7 @@ include ../../Makefile.config CCOMP=../../ccomp 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 \ @@ -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 \ -- cgit