diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 12:17:41 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 12:17:41 +0100 |
| commit | dd76ee0e14acbff78b6cd575e53d9c9d59fa6747 (patch) | |
| tree | 87ff59d340dfbb11f12bf5c164ac01b49abf5f52 /test/monniaux/yarpgen | |
| parent | aa52be6e57fb0627113cfcaf26340e323f58b3bc (diff) | |
| download | compcert-kvx-dd76ee0e14acbff78b6cd575e53d9c9d59fa6747.tar.gz compcert-kvx-dd76ee0e14acbff78b6cd575e53d9c9d59fa6747.zip | |
better assemble with gcc
Diffstat (limited to 'test/monniaux/yarpgen')
| -rw-r--r-- | test/monniaux/yarpgen/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/monniaux/yarpgen/Makefile b/test/monniaux/yarpgen/Makefile index 2aafd394..9800d9f0 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -17,6 +17,8 @@ CCOMPFLAGS+=-funprototyped -fbitfields -fno-cse2 -stdlib ../../../runtime # FIXM 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)/hash.c 1 $(MAX)) \ + $(shell seq --format $(PREFIX)/check.c 1 $(MAX)) \ $(shell seq --format $(PREFIX)/init.h 1 $(MAX)) $(TESTS_C): $(GENERATOR) @@ -48,7 +50,7 @@ tests_s: $(TESTS_CCOMP_TARGET_S) $(CC) $(CFLAGS) -S -o $@ $< %.target.o : %.target.s - $(TARGET_CCOMP) $(CCOMPOPTS) $(CCOMPFLAGS) -c -o $@ $< + $(TARGET_CC) -c -o $@ $< %.target.out : %.target $(EXECUTE) $< > $@ @@ -84,7 +86,6 @@ yarpgen: cp yarpgen-1.1/yarpgen $@ .PHONY: all clean tests_c tests_c -.SECONDARY: .s .target .out clean: -rm -rf ran* |