diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-04-09 15:02:40 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-04-09 15:02:40 +0200 |
commit | acbba77eafdfdee435147c3578171edfcdf5f780 (patch) | |
tree | 7a3b856673e45a6d9e358c742411374bc3910a20 /test/c | |
parent | 4138208d452b18f3d12926ff9cba9097e926558b (diff) | |
download | compcert-kvx-acbba77eafdfdee435147c3578171edfcdf5f780.tar.gz compcert-kvx-acbba77eafdfdee435147c3578171edfcdf5f780.zip |
All CompCert tests can be compiled
Diffstat (limited to 'test/c')
-rw-r--r-- | test/c/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/c/Makefile b/test/c/Makefile index 63d1964a..46670ec6 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -13,8 +13,8 @@ TIME=xtime -o /dev/null -mintime 2.0 # Xavier's hack PROGS=fib qsort fftw sha1 sha3 aes \ lists binarytrees fannkuch \ nsieve nsievebits vmach \ - chomp perlin siphash24 -# FIXME - Omitted tests: integr fft fftsp almabench knucleotide mandelbrot nbody spectral bisect + chomp perlin siphash24\ + integr fft fftsp almabench knucleotide mandelbrot nbody spectral bisect all: $(PROGS:%=%.compcert) |