diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-13 14:32:25 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-13 14:32:25 +0200 |
| commit | f0f25eabe5b374f20a5db30f652f6e994fff3fb3 (patch) | |
| tree | bbf790a23bc9a3f75195e7adc5505bfe80649a33 /test/c/Makefile | |
| parent | 70cc8540ed308d26b4c211a291fef66f942b8431 (diff) | |
| download | compcert-kvx-f0f25eabe5b374f20a5db30f652f6e994fff3fb3.tar.gz compcert-kvx-f0f25eabe5b374f20a5db30f652f6e994fff3fb3.zip | |
Scaling down most of c/ CompCert tests
Diffstat (limited to 'test/c/Makefile')
| -rw-r--r-- | test/c/Makefile | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/test/c/Makefile b/test/c/Makefile index 9580c8cc..31bf3cd1 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -14,11 +14,16 @@ TIME=time >/dev/null # Otherwise PROGS?=fib integr qsort fft fftsp fftw sha1 sha3 aes almabench \ lists binarytrees fannkuch mandelbrot nbody \ nsieve nsievebits spectral vmach \ - bisect chomp perlin siphash24 - -# Kalray NOTE : removed knucleotide from PROGS, it is hard to edit the input -# to modify its size without resulting in a seg fault, and the base input -# takes a too long time to complete in the simulator. + chomp perlin siphash24 + +## +# Kalray NOTE : +# * removed knucleotide from PROGS, it is hard to edit the input +# to modify its size without resulting in a seg fault, and the base input +# takes a too long time to complete in the simulator. +# * also removed bisect, who is exhibiting different float values on the Kalray +# architecture than using x86 GCC (for both CompCert and GCC ports) (tested with n=10) +## all: $(PROGS:%=%.compcert) |