diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-17 16:31:40 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-17 16:31:40 +0200 |
| commit | 02083d1e3d82898197966ae1117d89eed9e4e22b (patch) | |
| tree | eef5e204bb34fde87fee83a9dd8840c6c38408d8 /test/mppa | |
| parent | a3f91e32d5d907290d194f7c3a0596ab29b3d3fb (diff) | |
| download | compcert-kvx-02083d1e3d82898197966ae1117d89eed9e4e22b.tar.gz compcert-kvx-02083d1e3d82898197966ae1117d89eed9e4e22b.zip | |
Dans test/mppa : changer k1-mbr-gcc en k1-cos-gcc
Diffstat (limited to 'test/mppa')
| -rw-r--r-- | test/mppa/instr/Makefile | 6 | ||||
| -rw-r--r-- | test/mppa/interop/Makefile | 4 | ||||
| -rw-r--r-- | test/mppa/lib/Makefile | 4 | ||||
| -rw-r--r-- | test/mppa/mmult/Makefile | 2 | ||||
| -rw-r--r-- | test/mppa/prng/Makefile | 2 | ||||
| -rw-r--r-- | test/mppa/sort/Makefile | 2 |
6 files changed, 12 insertions, 8 deletions
diff --git a/test/mppa/instr/Makefile b/test/mppa/instr/Makefile index ea86114c..4129b628 100644 --- a/test/mppa/instr/Makefile +++ b/test/mppa/instr/Makefile @@ -1,4 +1,6 @@ -K1CC ?= k1-mbr-gcc +SHELL := /bin/bash + +K1CC ?= k1-cos-gcc CC ?= gcc CCOMP ?= ccomp OPTIM ?= -O2 @@ -48,7 +50,7 @@ NC=\033[0m .PHONY: test: $(X86_GCC_OUT) $(GCC_OUT) @echo "Comparing x86 gcc output to k1 gcc.." - @for test in $(TESTNAMES); do\ + for test in $(TESTNAMES); do\ x86out=$(OUTDIR)/$$test.x86-gcc.out;\ gccout=$(OUTDIR)/$$test.gcc.out;\ if $(DIFF) $$x86out $$gccout > /dev/null; test $${PIPESTATUS[0]} -ne 0; then\ diff --git a/test/mppa/interop/Makefile b/test/mppa/interop/Makefile index a405ebd6..e615e89a 100644 --- a/test/mppa/interop/Makefile +++ b/test/mppa/interop/Makefile @@ -1,4 +1,6 @@ -K1CC ?= k1-mbr-gcc +SHELL := /bin/bash + +K1CC ?= k1-cos-gcc CC ?= gcc CCOMP ?= ccomp CFLAGS ?= -O2 -Wno-varargs diff --git a/test/mppa/lib/Makefile b/test/mppa/lib/Makefile index affc1afd..08901db6 100644 --- a/test/mppa/lib/Makefile +++ b/test/mppa/lib/Makefile @@ -1,5 +1,5 @@ -K1CC ?= k1-mbr-gcc -K1AR ?= k1-mbr-ar +K1CC ?= k1-cos-gcc +K1AR ?= k1-cos-ar CC ?= gcc AR ?= gcc-ar CCOMP ?= ccomp diff --git a/test/mppa/mmult/Makefile b/test/mppa/mmult/Makefile index 5895ce3d..667faef8 100644 --- a/test/mppa/mmult/Makefile +++ b/test/mppa/mmult/Makefile @@ -1,4 +1,4 @@ -K1CC ?= k1-mbr-gcc +K1CC ?= k1-cos-gcc CC ?= gcc CCOMP ?= ccomp CFLAGS ?= -O2 diff --git a/test/mppa/prng/Makefile b/test/mppa/prng/Makefile index 4770c901..9cbb3872 100644 --- a/test/mppa/prng/Makefile +++ b/test/mppa/prng/Makefile @@ -1,4 +1,4 @@ -K1CC ?= k1-mbr-gcc +K1CC ?= k1-cos-gcc CC ?= gcc CCOMP ?= ccomp CFLAGS ?= -O2 diff --git a/test/mppa/sort/Makefile b/test/mppa/sort/Makefile index 5173528c..0ae9d1f6 100644 --- a/test/mppa/sort/Makefile +++ b/test/mppa/sort/Makefile @@ -1,4 +1,4 @@ -K1CC ?= k1-mbr-gcc +K1CC ?= k1-cos-gcc CC ?= gcc CCOMP ?= ccomp CFLAGS ?= -O2 |