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/bitsliced-tea | |
parent | 3ded76b3c514f21b3e3f10589d2ca2eb43f4fe6a (diff) | |
download | compcert-kvx-c5ce41e18c1cf9f2213a37825137aba5a38365a6.tar.gz compcert-kvx-c5ce41e18c1cf9f2213a37825137aba5a38365a6.zip |
simplification des Makefile
Diffstat (limited to 'test/monniaux/bitsliced-tea')
-rw-r--r-- | test/monniaux/bitsliced-tea/Makefile | 32 |
1 files changed, 1 insertions, 31 deletions
diff --git a/test/monniaux/bitsliced-tea/Makefile b/test/monniaux/bitsliced-tea/Makefile index 6f886c64..4751a280 100644 --- a/test/monniaux/bitsliced-tea/Makefile +++ b/test/monniaux/bitsliced-tea/Makefile @@ -1,33 +1,9 @@ -CFLAGS=-Wall -O3 -CCOMP=ccomp -CCOMPFLAGS=-Wall -O3 -K1C_CC=k1-mbr-gcc -K1C_CFLAGS=-Wall -O3 -std=c99 -K1C_CCOMP=../../../ccomp -K1C_CCOMPFLAGS=-Wall -O3 +include ../rules.mk PRODUCTS=bstea.gcc.host.out bstea.ccomp.host.out bstea.gcc.k1c.out bstea.ccomp.k1c.out bstea.ccomp.k1c.s bstea.gcc.k1c.s bstea.gcc.k1c bstea.ccomp.k1c bstea.gcc.host bstea.ccomp.host all: $(PRODUCTS) -%.gcc.k1c.s: %.c - $(K1C_CC) $(K1C_CFLAGS) -S $< -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 $@ - -%.gcc.gcc.o: %.c - $(CC) $(CFLAGS) -c $< -o $@ - -%.ccomp.k1c.o: %.c - $(CCOMP) $(CCOMPFLAGS) -c $< -o $@ - bstea.gcc.host: bstea.c bstea_run.c bstea.h ../clock.o $(CC) $(CFLAGS) bstea.c bstea_run.c ../clock.o -o $@ @@ -42,12 +18,6 @@ bstea.gcc.k1c: bstea.gcc.k1c.o bstea_run.gcc.k1c.o ../clock.gcc.k1c.o bstea.ccomp.k1c: bstea.ccomp.k1c.o bstea_run.gcc.k1c.o ../clock.gcc.k1c.o $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ -%.k1c.out: %.k1c - k1-cluster --cycle-based -- $< | tee $@ - -%.host.out: %.host - ./$< | tee $@ - clean: $(RM) -f *.k1c *.host *.out *.o *.s |