diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 09:59:21 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 09:59:21 +0200 |
| commit | 031a19368c0ff752011f13503c78a513728f0448 (patch) | |
| tree | bd57f457f68670575e5a5f9dac42b7e806cac4ce /test/monniaux/pcre2-10.32/Makefile | |
| parent | 7aaf4a040fb72fe1eeed7cdb0a2302dc4786a374 (diff) | |
| parent | 61e43b19a3fa145a91f3697349f032de73edc779 (diff) | |
| download | compcert-kvx-031a19368c0ff752011f13503c78a513728f0448.tar.gz compcert-kvx-031a19368c0ff752011f13503c78a513728f0448.zip | |
Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
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 4a5a2ded..d6da8556 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) ../clock.gcc.k1c.o $(K1C_CC) $(K1C_CFLAGS) -o $@ $+ |