diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-10-01 16:36:42 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-10-01 16:36:42 +0200 |
commit | c61c6f0260498a36821b798fa3686deeb4ef4b6b (patch) | |
tree | 440f51299428eab19b87e3d1138e59ab871659b5 /test/kvx/mmult | |
parent | b2fc9b55d9c59a9c507786a650377e2f0a1ddad8 (diff) | |
download | compcert-kvx-c61c6f0260498a36821b798fa3686deeb4ef4b6b.tar.gz compcert-kvx-c61c6f0260498a36821b798fa3686deeb4ef4b6b.zip |
Updating test/kvx for KVX tools
Diffstat (limited to 'test/kvx/mmult')
-rw-r--r-- | test/kvx/mmult/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/test/kvx/mmult/Makefile b/test/kvx/mmult/Makefile index e7cd890e..252f8911 100644 --- a/test/kvx/mmult/Makefile +++ b/test/kvx/mmult/Makefile @@ -1,8 +1,8 @@ -KVXC ?= k1-cos-gcc +KVXC ?= kvx-elf-gcc CC ?= gcc CCOMP ?= ccomp CFLAGS ?= -O2 -SIMU ?= k1-mppa +SIMU ?= kvx-mppa TIMEOUT ?= 10s KVXCPATH=$(shell which $(KVXC)) @@ -65,3 +65,7 @@ check: $(CCOMP_OUT) $(STUB_OUT) else\ echo "GOOD kvx: $< succeeded";\ fi + +.PHONY: +clean: + rm -f *.out mmult-test-ccomp-kvx mmult-test-gcc-kvx mmult-test-gcc-x86 |