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/sort | |
| parent | b2fc9b55d9c59a9c507786a650377e2f0a1ddad8 (diff) | |
| download | compcert-kvx-c61c6f0260498a36821b798fa3686deeb4ef4b6b.tar.gz compcert-kvx-c61c6f0260498a36821b798fa3686deeb4ef4b6b.zip | |
Updating test/kvx for KVX tools
Diffstat (limited to 'test/kvx/sort')
| -rw-r--r-- | test/kvx/sort/Makefile | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/test/kvx/sort/Makefile b/test/kvx/sort/Makefile index c4090352..1afab6e9 100644 --- a/test/kvx/sort/Makefile +++ b/test/kvx/sort/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)) @@ -89,3 +89,10 @@ check: $(STUB_OUT) $(CCOMP_OUT) echo "GOOD kvx: $$test succeeded";\ fi;\ done + +.PHONY: +clean: + for test in insertion main merge selection; do\ + rm -f $$test-ccomp-kvx $$test-gcc-kvx $$test-gcc-x86;\ + done + rm -f *.out |