diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-09-22 17:06:58 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-09-22 17:06:58 +0200 |
| commit | e9c738e3bd156f68905968e25c70ec796d3119c4 (patch) | |
| tree | c4c42e57a695db5c8e4dacc17a9721c6481da87b /test | |
| parent | 361726e23dc8ad15a61788349184e7790bec42c9 (diff) | |
| download | compcert-kvx-e9c738e3bd156f68905968e25c70ec796d3119c4.tar.gz compcert-kvx-e9c738e3bd156f68905968e25c70ec796d3119c4.zip | |
Test clightgen with -short-idents and -normalize options
Use different combination of options for different test files.
Diffstat (limited to 'test')
| -rw-r--r-- | test/clightgen/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/clightgen/Makefile b/test/clightgen/Makefile index fdfbc3fb..22c434b7 100644 --- a/test/clightgen/Makefile +++ b/test/clightgen/Makefile @@ -28,6 +28,12 @@ SRC+=arrays.c eval.c gmllexer.c gmlparser.c intersect.c light.c main.c \ CFLAGS=-DSYSTEM_$(SYSTEM) +aes.vo almabench.vo binarytrees.vo bisect.vo chomp.vo: CFLAGS += -short-idents + +fft.vo fftsp.vo fftw.vo fib.vo integr.vo knucleotide.vo: CFLAGS += -short-idents -normalize + +qsort.vo sha1.vo sha3.vo siphash24.vo spectral.vo vmach.vo: CFLAGS += -normalize + all: $(SRC:.c=.vo) test: |