diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-06 20:50:34 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-06 20:50:34 +0200 |
| commit | 032386b944456ab67f7eec26b1e1c392ff05073a (patch) | |
| tree | f3319788ff1f5ad99439e099104eed5f16ea5bbf /test/monniaux/pcre2-10.32 | |
| parent | 8c090e72d2737673926a9f32bec348e43f72e731 (diff) | |
| download | compcert-kvx-032386b944456ab67f7eec26b1e1c392ff05073a.tar.gz compcert-kvx-032386b944456ab67f7eec26b1e1c392ff05073a.zip | |
keep the .s files
Diffstat (limited to 'test/monniaux/pcre2-10.32')
| -rw-r--r-- | test/monniaux/pcre2-10.32/Makefile | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/test/monniaux/pcre2-10.32/Makefile b/test/monniaux/pcre2-10.32/Makefile index ae4316cb..28e03f60 100644 --- a/test/monniaux/pcre2-10.32/Makefile +++ b/test/monniaux/pcre2-10.32/Makefile @@ -1,10 +1,3 @@ -all: pcre2test.gcc.k1c.out pcre2test.ccomp.k1c.out - -ALL_CFLAGS = -DHAVE_CONFIG_H -DPCRE2_CODE_UNIT_WIDTH=8 -EXECUTE_ARGS = testdata/testinput6 - -include ../rules.mk - CFILES = \ pcre2_auto_possess.c \ pcre2_chartables.c \ @@ -39,11 +32,20 @@ CFILES = \ HFILES = config.h pcre2_internal.h pcre2posix.h \ pcre2.h pcre2_intmodedep.h pcre2_ucp.h - K1C_GCC_OFILES=$(CFILES:.c=.gcc.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) + +all: pcre2test.gcc.k1c.out pcre2test.ccomp.k1c.out $(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES) + +ALL_CFLAGS = -DHAVE_CONFIG_H -DPCRE2_CODE_UNIT_WIDTH=8 +EXECUTE_ARGS = testdata/testinput6 + +include ../rules.mk + -$(K1C_GCC_OFILES) $(K1C_CCOMP_OFILES): $(HFILES) +$(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES): $(HFILES) pcre2test.gcc.k1c: $(K1C_GCC_OFILES) $(K1C_CC) $(K1C_CFLAGS) -o $@ $+ ../clock.gcc.k1c.o |