diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-19 17:48:31 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-19 17:48:31 +0200 |
| commit | 143db5638d6941009eda3e5c70c84a1c45f7bff6 (patch) | |
| tree | 32a9340d8769881d51a5d4d57166dfdd041d3468 /test/monniaux/csmith | |
| parent | 2e5a2138b9853717f467e4cce5ab397d380bb368 (diff) | |
| download | compcert-kvx-143db5638d6941009eda3e5c70c84a1c45f7bff6.tar.gz compcert-kvx-143db5638d6941009eda3e5c70c84a1c45f7bff6.zip | |
paths for carlit
Diffstat (limited to 'test/monniaux/csmith')
| -rw-r--r-- | test/monniaux/csmith/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index e6961036..37c560d6 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -2,7 +2,7 @@ CSMITH=csmith MAX=1000 include ../rules.mk -K1C_CCOMPFLAGS+=-I/usr/include/csmith -fstruct-passing -fbitfields +K1C_CCOMPFLAGS+=-I/local/monniaux/packages/csmith-2.3.0/include/csmith-2.3.0 -I/usr/include/csmith -fstruct-passing -fbitfields TARGETS_S=$(shell seq --format src%06.f.ccomp.k1c.s 0 $(MAX)) TARGETS_C=$(shell seq --format src%06.f.c 0 $(MAX)) |