aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa/instr
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-12-11 14:26:46 +0100
committerCyril SIX <cyril.six@kalray.eu>2018-12-11 14:26:46 +0100
commit51a27f176b0eb5fb2943807a5cb95f2024420936 (patch)
tree4e1aceadab40427a7a5a80ec9250595a2ed534f3 /test/mppa/instr
parenta045315a8d1da5c4f726512b0dd972897afe9971 (diff)
downloadcompcert-kvx-51a27f176b0eb5fb2943807a5cb95f2024420936.tar.gz
compcert-kvx-51a27f176b0eb5fb2943807a5cb95f2024420936.zip
Fixed div64 and mod64
Diffstat (limited to 'test/mppa/instr')
-rw-r--r--test/mppa/instr/Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/test/mppa/instr/Makefile b/test/mppa/instr/Makefile
index 336f3dcb..66e40365 100644
--- a/test/mppa/instr/Makefile
+++ b/test/mppa/instr/Makefile
@@ -1,7 +1,8 @@
K1CC ?= k1-mbr-gcc
CC ?= gcc
CCOMP ?= ccomp
-CFLAGS ?= -O2 -Wl,--wrap=printf
+OPTIM ?= -O2
+CFLAGS ?= $(OPTIM) -Wl,--wrap=printf
SIMU ?= k1-mppa
TIMEOUT ?= --signal=SIGTERM 120s
@@ -23,7 +24,7 @@ CCPATH=$(shell which $(CC))
CCOMPPATH=$(shell which $(CCOMP))
SIMUPATH=$(shell which $(SIMU))
-TESTNAMES=$(notdir $(subst .c,,$(wildcard $(DIR)/*.c)))
+TESTNAMES?=$(notdir $(subst .c,,$(wildcard $(DIR)/*.c)))
X86_GCC_OUT=$(addprefix $(OUTDIR)/,$(addsuffix .x86-gcc.out,$(TESTNAMES)))
GCC_OUT=$(addprefix $(OUTDIR)/,$(addsuffix .gcc.out,$(TESTNAMES)))
CCOMP_OUT=$(addprefix $(OUTDIR)/,$(addsuffix .ccomp.out,$(TESTNAMES)))