diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-28 14:52:17 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-28 14:52:17 +0200 |
commit | c9cdb9911223d405785ba40469d76f00af0eccff (patch) | |
tree | fd8c7c79374c72a316140d9b0feeb71f44f7779b /test/regression | |
parent | eb86160c37db09a0e201e25d90b0a9a1a6ef1cb6 (diff) | |
download | compcert-c9cdb9911223d405785ba40469d76f00af0eccff.tar.gz compcert-c9cdb9911223d405785ba40469d76f00af0eccff.zip |
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.
Diffstat (limited to 'test/regression')
-rw-r--r-- | test/regression/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
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 \ |