From e9c738e3bd156f68905968e25c70ec796d3119c4 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Tue, 22 Sep 2020 17:06:58 +0200 Subject: Test clightgen with -short-idents and -normalize options Use different combination of options for different test files. --- test/clightgen/Makefile | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'test') 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: -- cgit