diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-05 13:43:18 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-05 13:43:18 +0200 |
| commit | 579f90c074584b27fceae7975cf6e52ef694c96c (patch) | |
| tree | d60dd8a6061312607be1d9a9b3edd299a1e6c9b2 /test/monniaux/pcre2-10.32/Makefile | |
| parent | 72288298ea871d30db6693a65fe0ac2236a045c1 (diff) | |
| download | compcert-kvx-579f90c074584b27fceae7975cf6e52ef694c96c.tar.gz compcert-kvx-579f90c074584b27fceae7975cf6e52ef694c96c.zip | |
disable large benchmarks that rely on heap saturation and other limits
Diffstat (limited to 'test/monniaux/pcre2-10.32/Makefile')
| -rw-r--r-- | test/monniaux/pcre2-10.32/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/monniaux/pcre2-10.32/Makefile b/test/monniaux/pcre2-10.32/Makefile index 35f1e049..dbee118c 100644 --- a/test/monniaux/pcre2-10.32/Makefile +++ b/test/monniaux/pcre2-10.32/Makefile @@ -37,6 +37,7 @@ K1C_GCC_OFILES_O1=$(CFILES:.c=.gcc.o1.k1c.o) K1C_CCOMP_OFILES=$(CFILES:.c=.ccomp.k1c.o) K1C_GCC_SFILES=$(CFILES:.c=.gcc.k1c.s) K1C_CCOMP_SFILES=$(CFILES:.c=.ccomp.k1c.s) +HOST_GCC_OFILES=$(CFILES:.c=.gcc.host.o) all: pcre2test.gcc.o1.k1c.out pcre2test.gcc.k1c.out pcre2test.ccomp.k1c.out $(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES) @@ -46,7 +47,10 @@ EXECUTE_ARGS = testdata/testinput6 include ../rules.mk -$(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES): $(HFILES) +$(K1C_GCC_SFILES) $(K1C_GCC_OFILES_O1) $(K1C_CCOMP_SFILES) $(HOST_GCC_OFILES): $(HFILES) + +pcre2test.gcc.host: $(HOST_GCC_OFILES) + $(CC) $(CFLAGS) -o $@ $+ ../clock.gcc.host.o pcre2test.gcc.k1c: $(K1C_GCC_OFILES) $(K1C_CC) $(K1C_CFLAGS) -o $@ $+ ../clock.gcc.k1c.o |