diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-12-11 14:26:46 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-12-11 14:26:46 +0100 |
commit | 51a27f176b0eb5fb2943807a5cb95f2024420936 (patch) | |
tree | 4e1aceadab40427a7a5a80ec9250595a2ed534f3 /test/mppa/instr/Makefile | |
parent | a045315a8d1da5c4f726512b0dd972897afe9971 (diff) | |
download | compcert-kvx-51a27f176b0eb5fb2943807a5cb95f2024420936.tar.gz compcert-kvx-51a27f176b0eb5fb2943807a5cb95f2024420936.zip |
Fixed div64 and mod64
Diffstat (limited to 'test/mppa/instr/Makefile')
-rw-r--r-- | test/mppa/instr/Makefile | 5 |
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))) |