diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-22 09:03:53 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-22 09:03:53 +0200 |
commit | 68e0385e72e960af9ce839a0b76e4279732ef3b6 (patch) | |
tree | eb460ee46b3555e5a242190353f94727894a60cd /test | |
parent | 122397842225e4353e30319e4b1f252dc3e1f41c (diff) | |
parent | 8b8e019d7086478c633167e47a339d42e12d4f76 (diff) | |
download | compcert-kvx-68e0385e72e960af9ce839a0b76e4279732ef3b6.tar.gz compcert-kvx-68e0385e72e960af9ce839a0b76e4279732ef3b6.zip |
Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into csmith
Diffstat (limited to 'test')
-rw-r--r-- | test/monniaux/csmith/Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index 1e4b5e5f..cb5be771 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -6,7 +6,7 @@ INCLUDES=-I csmith/include/csmith-2.3.0/ TARGET_CCOMP=../../../ccomp ifndef TARGET_CC -TARGET_CC=gcc +TARGET_CC=gcc # kvx-cos-gcc endif ifndef EXECUTE @@ -23,7 +23,7 @@ CSMITHOPT=--max-funcs 10 --no-packed-struct MAX=500 PREFIX=ran%06.f -CCOMPOTS=-static +# CCOMPOPTS=-Wl,--defsym=USER_STACK_SIZE=0x80000 CCOMPFLAGS+= -fstruct-passing -fbitfields -fno-cse2 -fno-cse -fno-cse3 -stdlib ../../../runtime TESTS_C=$(shell seq --format $(PREFIX)/source.c 1 $(MAX)) @@ -79,10 +79,11 @@ ran%/source.c: mkdir -p ran$* $(CSMITH) $(CSMITHOPT) --seed $* --output ran$*/source.c -ran%/example.target.cmp : ran%/example.gcc.target.out ran%/example.ccomp.target.out +ran%/example.target.cmp : ran%/example.ccomp.target.out ran%/example.gcc.target.out cmp $+ > $@ + cat $< -ran%/example.host_target.cmp : ran%/example.gcc.host.out ran%/example.ccomp.target.out +ran%/example.host_target.cmp : ran%/example.ccomp.target.out ran%/example.gcc.host.out cmp $+ > $@ .PHONY: all clean tests_c tests_c |