diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-05 19:05:09 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-05 19:05:09 +0100 |
| commit | c5ce41e18c1cf9f2213a37825137aba5a38365a6 (patch) | |
| tree | 5aa4ec766a3f0759f157787686298c28fe18273f /test/monniaux/heapsort/Makefile | |
| parent | 3ded76b3c514f21b3e3f10589d2ca2eb43f4fe6a (diff) | |
| download | compcert-kvx-c5ce41e18c1cf9f2213a37825137aba5a38365a6.tar.gz compcert-kvx-c5ce41e18c1cf9f2213a37825137aba5a38365a6.zip | |
simplification des Makefile
Diffstat (limited to 'test/monniaux/heapsort/Makefile')
| -rw-r--r-- | test/monniaux/heapsort/Makefile | 25 |
1 files changed, 6 insertions, 19 deletions
diff --git a/test/monniaux/heapsort/Makefile b/test/monniaux/heapsort/Makefile index c3aa07ac..6c72a58d 100644 --- a/test/monniaux/heapsort/Makefile +++ b/test/monniaux/heapsort/Makefile @@ -1,27 +1,14 @@ -CFLAGS=-Wall -O3 -K1C_CC=k1-mbr-gcc -K1C_CFLAGS=-Wall -O3 -std=c99 -K1C_CCOMP=../../../ccomp -K1C_CCOMPFLAGS=-Wall -O3 +include ../rules.mk -PRODUCTS=heapsort.host heapsort.gcc.k1c.out heapsort.ccomp.k1c.out heapsort.ccomp.k1c.s heapsort.gcc.k1c.s heapsort.gcc.k1c heapsort.ccomp.k1c +PRODUCTS=heapsort.gcc.host.out heapsort.ccomp.host.out heapsort.gcc.k1c.out heapsort.ccomp.k1c.out heapsort.ccomp.k1c.s heapsort.gcc.k1c.s heapsort.gcc.k1c heapsort.ccomp.k1c all: $(PRODUCTS) -%.gcc.k1c.s: %.c - $(K1C_CC) $(K1C_CFLAGS) -S $< -o $@ +heapsort.gcc.host: heapsort.c heapsort_run.gcc.host.o heapsort.h + $(CC) $(CFLAGS) heapsort.c heapsort_run.gcc.host.o -o $@ -%.gcc.k1c.o: %.gcc.k1c.s - $(K1C_CC) $(K1C_CFLAGS) -c $< -o $@ - -%.ccomp.k1c.s: %.c - $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -S $< -o $@ - -%.ccomp.k1c.o: %.ccomp.k1c.s - $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -c $< -o $@ - -heapsort.host: heapsort.c heapsort_run.c heapsort.h - $(CC) $(CFLAGS) heapsort.c heapsort_run.c -o $@ +heapsort.ccomp.host: heapsort.c heapsort_run.gcc.host.o heapsort.h + $(CCOMP) $(CCOMPFLAGS) heapsort.c heapsort_run.gcc.host.o -o $@ heapsort.gcc.k1c.s heapsort.ccomp.k1c.s heapsort_run.gcc.k1c.s: heapsort.h |