diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 10:03:26 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 10:03:26 +0100 |
commit | 3e5fcc7e1bea051e2f14f7b3a20d4e78cb23e539 (patch) | |
tree | d3594544e30e16c9c9a162b631160cb387c47fce /test/monniaux/yarpgen | |
parent | 6dc7548e1e8dad708ad3348ecc324e02cd5f3472 (diff) | |
download | compcert-kvx-3e5fcc7e1bea051e2f14f7b3a20d4e78cb23e539.tar.gz compcert-kvx-3e5fcc7e1bea051e2f14f7b3a20d4e78cb23e539.zip |
fix Makefile (again)
Diffstat (limited to 'test/monniaux/yarpgen')
-rw-r--r-- | test/monniaux/yarpgen/Makefile | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/test/monniaux/yarpgen/Makefile b/test/monniaux/yarpgen/Makefile index 7a62ef61..ffa58172 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -1,4 +1,7 @@ TARGET_CCOMP=../../../ccomp +TARGET_CC=gcc + +all: ifndef YARPGEN YARPGEN=./yarpgen @@ -10,9 +13,10 @@ PREFIX=ran%06.f CCOMPFLAGS+=-funprototyped -fbitfields -TESTS_C=$(shell seq --format $(PREFIX)/func.c 0 $(MAX)) \ - $(shell seq --format $(PREFIX)/driver.c 0 $(MAX)) \ - $(shell seq --format $(PREFIX)/init.h 0 $(MAX)) +TESTS_C=$(shell seq --format $(PREFIX)/func.c 1 $(MAX)) \ + $(shell seq --format $(PREFIX)/driver.c 1 $(MAX)) \ + $(shell seq --format $(PREFIX)/init.c 1 $(MAX)) \ + $(shell seq --format $(PREFIX)/init.h 1 $(MAX)) $(TESTS_C): $(GENERATOR) @@ -53,18 +57,15 @@ tests_s: $(TESTS_CCOMP_TARGET_S) ran%/func.ccomp.target.s ran%/func.gcc.target.s ran%/func.ccomp.host.s ran%/func.gcc.host.s : ran%/init.h -ran%/example.ccomp.target: ran%/func.ccomp.target.o ran%/driver.ccomp.target.o +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%/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 $(TARGET_CC) $(TARGET_CFLAGS) $+ -o $@ -ran%/example.gcc.host: ran%/func.gcc.host.o ran%/driver.gcc.host.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 $(CC) $(CFLAGS) $+ -o $@ -ran%/example.ccomp.host: ran%/func.ccomp.host.o ran%/driver.ccomp.host.o - $(CCOMP) $(CCOMPFLAGS) $+ -o $@ - ran%/driver.c ran%/func.c ran%/init.h: mkdir -p ran$* $(YARPGEN) --seed=$* --out-dir=ran$*/ --std=c99 |