aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/uzlib
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-30 17:13:15 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-30 17:13:15 +0100
commitd48a2f396dede39eae20fcfe551bb11832360a5b (patch)
tree19763eab59218ca08658dc8165e733ac6bd7f0ff /test/monniaux/uzlib
parent2b36046e05e6688d225ca0ecc4e8436bd8c2720f (diff)
downloadcompcert-kvx-d48a2f396dede39eae20fcfe551bb11832360a5b.tar.gz
compcert-kvx-d48a2f396dede39eae20fcfe551bb11832360a5b.zip
remove cruft dealing with __int128 and __thread
Diffstat (limited to 'test/monniaux/uzlib')
-rw-r--r--test/monniaux/uzlib/make.log24
1 files changed, 0 insertions, 24 deletions
diff --git a/test/monniaux/uzlib/make.log b/test/monniaux/uzlib/make.log
deleted file mode 100644
index 56e39658..00000000
--- a/test/monniaux/uzlib/make.log
+++ /dev/null
@@ -1,24 +0,0 @@
-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'