diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 11:26:22 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 11:26:22 +0100 |
commit | 2569e84cd235045e4419e8d65c0e69bb3f2ffb60 (patch) | |
tree | 86c410fc496c15b28175861794662dd5a7832483 | |
parent | 5fe8b78a18f3bd8b4ad80c7318115d5d2ebe932f (diff) | |
download | compcert-kvx-2569e84cd235045e4419e8d65c0e69bb3f2ffb60.tar.gz compcert-kvx-2569e84cd235045e4419e8d65c0e69bb3f2ffb60.zip |
stdlib path
-rw-r--r-- | test/monniaux/yarpgen/Makefile | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/test/monniaux/yarpgen/Makefile b/test/monniaux/yarpgen/Makefile index f94dffce..bdb7cb63 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -11,7 +11,8 @@ endif MAX=300 PREFIX=ran%06.f -CCOMPFLAGS+=-funprototyped -fbitfields -fno-cse2 # FIXME +CCOMPOPTS=-static +CCOMPFLAGS+=-funprototyped -fbitfields -fno-cse2 -stdlib ../../../runtime # FIXME TESTS_C=$(shell seq --format $(PREFIX)/func.c 1 $(MAX)) \ $(shell seq --format $(PREFIX)/driver.c 1 $(MAX)) \ @@ -29,7 +30,7 @@ TESTS_GCC_HOST_S=$(shell seq --format $(PREFIX)/func.gcc.host.s 1 $(MAX)) \ 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)) -TESTS_CMP=$(shell seq --format $(PREFIX)/example.target.cmp 1 $(MAX)) $(shell seq --format $(PREFIX)/example.host_target.cmp 1 $(MAX)) +TESTS_CMP=$(shell seq --format $(PREFIX)/example.host_target.cmp 1 $(MAX)) $(shell seq --format $(PREFIX)/example.target.cmp 1 $(MAX)) all: $(TESTS_CCOMP_TARGET_OUT) $(TESTS_GCC_TARGET_OUT) $(TESTS_GCC_HOST_OUT) $(TESTS_CCOMP_TARGET_S) $(TESTS_GCC_TARGET_S) $(TESTS_GCC_HOST_S) $(TESTS_CMP) $(TESTS_C) @@ -73,7 +74,7 @@ ran%/driver.c ran%/func.c ran%/init.c ran%/check.c ran%/hash.c ran%/init.h: ran%/example.target.cmp : ran%/example.gcc.target.out ran%/example.ccomp.target.out cmp $+ > $@ -ran%/example.host_target.cmp : ran%/example.gcc.host.out ran%/example.gcc.target.out +ran%/example.host_target.cmp : ran%/example.gcc.host.out ran%/example.ccomp.target.out cmp $+ > $@ yarpgen: @@ -83,6 +84,7 @@ yarpgen: cp yarpgen-1.1/yarpgen $@ .PHONY: all clean tests_c tests_c +.SECONDARY: .s .target .out clean: -rm -rf ran* |