diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 15:57:52 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 15:57:52 +0200 |
| commit | e83ce9dcea07aa3d070bfe7268776987be00c95d (patch) | |
| tree | b6868e9348af8ad04ab1a5c389ee0ccf7ac5730e /test | |
| parent | cd4ad6f400ec43c9f9959b1c230703b0d68ae2e9 (diff) | |
| download | compcert-kvx-e83ce9dcea07aa3d070bfe7268776987be00c95d.tar.gz compcert-kvx-e83ce9dcea07aa3d070bfe7268776987be00c95d.zip | |
bump ocaml version
Diffstat (limited to 'test')
| -rw-r--r-- | test/monniaux/csmith/Makefile | 2 | ||||
| -rw-r--r-- | test/monniaux/csmith/Makefile.old | 23 |
2 files changed, 24 insertions, 1 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index ab1c36b1..c98baadd 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -11,7 +11,7 @@ ifndef CSMITH CSMITH=csmith endif -MAX=10 +MAX=300 PREFIX=ran%06.f CCOMPOTS=-static diff --git a/test/monniaux/csmith/Makefile.old b/test/monniaux/csmith/Makefile.old new file mode 100644 index 00000000..56313452 --- /dev/null +++ b/test/monniaux/csmith/Makefile.old @@ -0,0 +1,23 @@ +CSMITH?=/local/monniaux/packages/csmith-2.3.0/bin/csmith +MAX=1000 + +include ../rules.mk +KVX_CCOMPFLAGS+=-I/local/monniaux/packages/csmith-2.3.0/include/csmith-2.3.0 -fstruct-passing -fbitfields + +TARGETS_S=$(shell seq --format src%06.f.ccomp.kvx.s 0 $(MAX)) +TARGETS_C=$(shell seq --format src%06.f.c 0 $(MAX)) +TARGETS_O=$(shell seq --format src%06.f.ccomp.kvx.o 0 $(MAX)) + +all: c s o + +s: $(TARGETS_S) +c: $(TARGETS_C) +o: $(TARGETS_O) + +src%.c : + $(CSMITH) --output $@ --seed $* + +clean: + -rm -f $(TARGETS_C) $(TARGETS_S) $(TARGETS_O) + +.PHONY: s c o clean |