diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 12:33:54 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 12:33:54 +0100 |
commit | 8beb9b73085b2ad49dfa68a74ac3812b78d6e558 (patch) | |
tree | 063ed3ac70d4e8ee1ff6187eae6ed6a70da123b6 | |
parent | dd76ee0e14acbff78b6cd575e53d9c9d59fa6747 (diff) | |
download | compcert-kvx-8beb9b73085b2ad49dfa68a74ac3812b78d6e558.tar.gz compcert-kvx-8beb9b73085b2ad49dfa68a74ac3812b78d6e558.zip |
fix inconsistency
-rw-r--r-- | test/monniaux/yarpgen/Makefile | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/test/monniaux/yarpgen/Makefile b/test/monniaux/yarpgen/Makefile index 9800d9f0..af586ac4 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -3,6 +3,8 @@ TARGET_CC=gcc all: +.SECONDARY: + ifndef YARPGEN YARPGEN=./yarpgen GENERATOR=yarpgen @@ -23,12 +25,9 @@ TESTS_C=$(shell seq --format $(PREFIX)/func.c 1 $(MAX)) \ $(TESTS_C): $(GENERATOR) -TESTS_CCOMP_TARGET_S=$(shell seq --format $(PREFIX)/func.ccomp.target.s 1 $(MAX)) \ - $(shell seq --format $(PREFIX)/driver.ccomp.target.s 1 $(MAX)) -TESTS_GCC_TARGET_S=$(shell seq --format $(PREFIX)/func.gcc.target.s 1 $(MAX)) \ - $(shell seq --format $(PREFIX)/driver.gcc.target.s 1 $(MAX)) -TESTS_GCC_HOST_S=$(shell seq --format $(PREFIX)/func.gcc.host.s 1 $(MAX)) \ - $(shell seq --format $(PREFIX)/driver.gcc.host.s 1 $(MAX)) +TESTS_CCOMP_TARGET_S=$(TEST_C:.c=.ccomp.target.s) +TESTS_GCC_TARGET_S=$(TEST_C:.c=.gcc.target.s) +TESTS_GCC_HOST_S=$(TEST_C:.c=.gcc.host.s) TESTS_CCOMP_TARGET_OUT=$(shell seq --format $(PREFIX)/example.ccomp.target.out 1 $(MAX)) TESTS_GCC_TARGET_OUT=$(shell seq --format $(PREFIX)/example.gcc.target.out 1 $(MAX)) TESTS_GCC_HOST_OUT=$(shell seq --format $(PREFIX)/example.gcc.host.out 1 $(MAX)) @@ -58,12 +57,12 @@ tests_s: $(TESTS_CCOMP_TARGET_S) %.host.out : %.host ./$< > $@ -ran%/func.ccomp.target.s ran%/func.gcc.target.s ran%/func.ccomp.host.s ran%/func.gcc.host.s : ran%/init.h +ran%/func.ccomp.target.s ran%/func.gcc.target.s ran%/func.ccomp.host.s ran%/func.gcc.host.s ran%/init.gcc.host.s : ran%/init.h ran%/example.ccomp.target: ran%/func.ccomp.target.o ran%/driver.ccomp.target.o ran%/init.ccomp.target.o ran%/check.ccomp.target.o ran%/hash.ccomp.target.o $(TARGET_CCOMP) $(CCOMPOPTS) $(CCOMPFLAGS) $+ -o $@ -ran%/example.gcc.target: ran%/func.gcc.target.o ran%/driver.gcc.target.o ran%/init.ccomp.target.o ran%/check.gcc.target.o ran%/hash.gcc.target.o +ran%/example.gcc.target: ran%/func.gcc.target.o ran%/driver.gcc.target.o ran%/init.gcc.target.o ran%/check.gcc.target.o ran%/hash.gcc.target.o $(TARGET_CC) $(TARGET_CFLAGS) $+ -o $@ ran%/example.gcc.host: ran%/func.gcc.host.o ran%/driver.gcc.host.o ran%/init.gcc.host.o ran%/check.gcc.host.o ran%/hash.gcc.host.o |