diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-29 22:31:50 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-29 22:31:50 +0100 |
commit | 417b4381dda4b88a1e382f821c8964cf8954307e (patch) | |
tree | 020b770318331a6016d61f838ee382445387982d /test/monniaux/uzlib/make.log | |
parent | 15aafbb6ff578e10bfc9348c0d04aeaf83279705 (diff) | |
download | compcert-kvx-417b4381dda4b88a1e382f821c8964cf8954307e.tar.gz compcert-kvx-417b4381dda4b88a1e382f821c8964cf8954307e.zip |
https://github.com/pfalcon/uzlib
Diffstat (limited to 'test/monniaux/uzlib/make.log')
-rw-r--r-- | test/monniaux/uzlib/make.log | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/monniaux/uzlib/make.log b/test/monniaux/uzlib/make.log new file mode 100644 index 00000000..56e39658 --- /dev/null +++ b/test/monniaux/uzlib/make.log @@ -0,0 +1,24 @@ +make -C src all +make[1]: Entering directory '/home/monniaux/progs/compcert/tests/uzlib/src' +/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o tinflate.o -c tinflate.c +/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o tinfgzip.o -c tinfgzip.c +/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o tinfzlib.o -c tinfzlib.c +/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o adler32.o -c adler32.c +/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o crc32.o -c crc32.c +/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o defl_static.o -c defl_static.c +/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -Os -o genlz77.o -c genlz77.c +rm -f ../lib/libtinf.a +ar -frs ../lib/libtinf.a tinflate.o tinfgzip.o tinfzlib.o adler32.o crc32.o defl_static.o genlz77.o +ar: creating ../lib/libtinf.a +ranlib ../lib/libtinf.a +make[1]: Leaving directory '/home/monniaux/progs/compcert/tests/uzlib/src' +make -C examples/tgzip all +make[1]: Entering directory '/home/monniaux/progs/compcert/tests/uzlib/examples/tgzip' +/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -I../../src -Os -c tgzip.c +/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -I../../src -Os -s -Wl,-Map,ld.map -o tgzip tgzip.o ../../lib/libtinf.a ../../lib/libtinf.a +make[1]: Leaving directory '/home/monniaux/progs/compcert/tests/uzlib/examples/tgzip' +make -C examples/tgunzip all +make[1]: Entering directory '/home/monniaux/progs/compcert/tests/uzlib/examples/tgunzip' +/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -I../../src -Os -c tgunzip.c +/opt/CompCert/3.4/x86_64-linux/bin/ccomp -Wall -I../../src -Os -s -Wl,-Map,ld.map -o tgunzip tgunzip.o ../../lib/libtinf.a ../../lib/libtinf.a +make[1]: Leaving directory '/home/monniaux/progs/compcert/tests/uzlib/examples/tgunzip' |