diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-04-22 16:28:44 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-04-22 16:28:44 +0000 |
| commit | 945e1e3c0e601f711ab83f65333f4c2b9e713c99 (patch) | |
| tree | 1253f0d42b4a90d3bb19730c66e53519573296cb /test/c/Makefile | |
| parent | ad19ac07d798f16ab72d269010de8724353512e8 (diff) | |
| download | compcert-kvx-945e1e3c0e601f711ab83f65333f4c2b9e713c99.tar.gz compcert-kvx-945e1e3c0e601f711ab83f65333f4c2b9e713c99.zip | |
driver: removed option -flonglong
test/c: added SHA3
cfrontend: support casts between long long and pointers, and comparisons between them.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2213 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/c/Makefile')
| -rw-r--r-- | test/c/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/c/Makefile b/test/c/Makefile index dbf39751..d14cb232 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -10,7 +10,7 @@ LIBS=$(LIBMATH) TIME=xtime -o /dev/null -mintime 2.0 # Xavier's hack #TIME=time >/dev/null # Otherwise -PROGS=fib integr qsort fft fftw sha1 aes almabench lists \ +PROGS=fib integr qsort fft fftw sha1 sha3 aes almabench lists \ binarytrees fannkuch knucleotide mandelbrot nbody \ nsieve nsievebits spectral vmach \ bisect chomp perlin siphash24 |