aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression/Makefile
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2017-08-28 14:52:17 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2017-08-28 14:52:17 +0200
commitc9cdb9911223d405785ba40469d76f00af0eccff (patch)
treefd8c7c79374c72a316140d9b0feeb71f44f7779b /test/regression/Makefile
parenteb86160c37db09a0e201e25d90b0a9a1a6ef1cb6 (diff)
downloadcompcert-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/Makefile')
-rw-r--r--test/regression/Makefile5
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 \