diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-26 11:46:30 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-26 11:46:30 +0100 |
| commit | c6fd1131142f6733d7f49b409bab08443af4365f (patch) | |
| tree | 43d2bc85a4175121724639aa7ecc117c244a9375 /test/monniaux/micro-bunzip | |
| parent | 47165c526b865d0f0a1b33fa02e7eccda010c821 (diff) | |
| download | compcert-kvx-c6fd1131142f6733d7f49b409bab08443af4365f.tar.gz compcert-kvx-c6fd1131142f6733d7f49b409bab08443af4365f.zip | |
to test
Diffstat (limited to 'test/monniaux/micro-bunzip')
| -rw-r--r-- | test/monniaux/micro-bunzip/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/monniaux/micro-bunzip/Makefile b/test/monniaux/micro-bunzip/Makefile index 46a4ec77..a9776b6c 100644 --- a/test/monniaux/micro-bunzip/Makefile +++ b/test/monniaux/micro-bunzip/Makefile @@ -5,6 +5,9 @@ all: testfile.txt testfile.txt.2ccomp testfile.txt.2gcc testfile.txt.ccomp.out t ../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.k1c: micro-bunzip.c ../clock.gcc.k1c.o ../../../ccomp -Wall -O3 $+ -U __SIZEOF_INT128__ -D __SIZE_TYPE__='unsigned long long' -o $@ @@ -33,3 +36,6 @@ testfile.txt.2ccomp testfile.txt.ccomp.out: testfile.txt micro-bunzip.ccomp.k1c 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.txt micro-bunzip.host + bzip2 <testfile.txt | valgrind ./micro-bunzip.host > testfile.txt.2host + |