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/micro-bunzip | |
| parent | 3ded76b3c514f21b3e3f10589d2ca2eb43f4fe6a (diff) | |
| download | compcert-kvx-c5ce41e18c1cf9f2213a37825137aba5a38365a6.tar.gz compcert-kvx-c5ce41e18c1cf9f2213a37825137aba5a38365a6.zip | |
simplification des Makefile
Diffstat (limited to 'test/monniaux/micro-bunzip')
| -rw-r--r-- | test/monniaux/micro-bunzip/Makefile | 36 |
1 files changed, 22 insertions, 14 deletions
diff --git a/test/monniaux/micro-bunzip/Makefile b/test/monniaux/micro-bunzip/Makefile index 2f06e4c2..58dfed9b 100644 --- a/test/monniaux/micro-bunzip/Makefile +++ b/test/monniaux/micro-bunzip/Makefile @@ -1,19 +1,24 @@ -all: testfile.txt testfile.txt.2ccomp testfile.txt.2gcc testfile.txt.ccomp.out testfile.txt.gcc.out +include ../rules.mk + +all: testfile.txt testfile.txt.2ccomp testfile.txt.2gcc testfile.ccomp.k1c.out testfile.gcc.k1c.out testfile.ccomp.host.out testfile.gcc.host.out cmp testfile.txt testfile.txt.2ccomp cmp testfile.txt testfile.txt.2gcc -../clock.gcc.k1c.o : ../clock.c ../cycles.h - k1-mbr-gcc -c -Wall -O3 $< -o $@ - -micro-bunzip.host: micro-bunzip.c ../clock.c - $(CC) $+ -o $@ +micro-bunzip.ccomp.host: micro-bunzip.c ../clock.gcc.host.o + $(CCOMP) $(CCOMPFLAGS) $+ -o $@ micro-bunzip.ccomp.k1c: micro-bunzip.c ../clock.gcc.k1c.o - ../../../ccomp -Wall -O3 $+ -o $@ + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ + +micro-bunzip.gcc.host: micro-bunzip.c ../clock.gcc.host.o + $(CC) $(CFLAGS) $+ -o $@ + +# micro-bunzip.gcc.k1c: micro-bunzip.c ../clock.gcc.k1c.o +# $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ # TODO: -O3 buggy?? micro-bunzip.gcc.k1c: micro-bunzip.c ../clock.gcc.k1c.o - k1-mbr-gcc -Wall -O2 $+ -o $@ + $(K1C_CC) -Wall -O2 $+ -o $@ testfile.txt: micro-bunzip.c cat micro-bunzip.c > $@ @@ -30,14 +35,17 @@ testfile.txt: micro-bunzip.c # sha512sum micro-bunzip.c >> $@ #x cat micro-bunzip.c >> $@ -testfile.txt.2ccomp testfile.txt.ccomp.out: testfile.txt micro-bunzip.ccomp.k1c - bzip2 <testfile.txt | k1-cluster --cycle-based --syscall=libstd_scalls.so -- micro-bunzip.ccomp.k1c > testfile.txt.2ccomp 2> testfile.txt.ccomp.out +testfile.txt.2ccomp testfile.ccomp.k1c.out: testfile.txt micro-bunzip.ccomp.k1c + bzip2 <testfile.txt | k1-cluster --cycle-based --syscall=libstd_scalls.so -- micro-bunzip.ccomp.k1c > testfile.txt.2ccomp 2> testfile.ccomp.k1c.out + +testfile.txt.2gcc testfile.gcc.k1c.out: testfile.txt micro-bunzip.gcc.k1c + bzip2 <testfile.txt | k1-cluster --cycle-based --syscall=libstd_scalls.so -- micro-bunzip.gcc.k1c > testfile.txt.2gcc 2> testfile.gcc.k1c.out -testfile.txt.2gcc testfile.txt.gcc.out: testfile.txt micro-bunzip.gcc.k1c - bzip2 <testfile.txt | k1-cluster --cycle-based --syscall=libstd_scalls.so -- micro-bunzip.gcc.k1c > testfile.txt.2gcc 2> testfile.txt.gcc.out +testfile.txt.2host testfile.gcc.host.out: testfile.txt micro-bunzip.gcc.host + bzip2 <testfile.txt | ./micro-bunzip.gcc.host > testfile.txt.2host 2> testfile.gcc.host.out -testfile.txt.2host: testfile.txt micro-bunzip.host - bzip2 <testfile.txt | valgrind ./micro-bunzip.host > testfile.txt.2host +testfile.ccomp.host.out: testfile.txt micro-bunzip.ccomp.host + bzip2 <testfile.txt | ./micro-bunzip.ccomp.host > /dev/null 2> testfile.ccomp.host.out clean: rm -f *.k1c *.out test*txt* |