aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/yarpgen
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-03-28 10:03:26 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-03-28 10:03:26 +0100
commit3e5fcc7e1bea051e2f14f7b3a20d4e78cb23e539 (patch)
treed3594544e30e16c9c9a162b631160cb387c47fce /test/monniaux/yarpgen
parent6dc7548e1e8dad708ad3348ecc324e02cd5f3472 (diff)
downloadcompcert-kvx-3e5fcc7e1bea051e2f14f7b3a20d4e78cb23e539.tar.gz
compcert-kvx-3e5fcc7e1bea051e2f14f7b3a20d4e78cb23e539.zip
fix Makefile (again)
Diffstat (limited to 'test/monniaux/yarpgen')
-rw-r--r--test/monniaux/yarpgen/Makefile19
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