Cannot build CBMC about cbmc HOT 10 CLOSED

[14:46:07][Step 1/1] Downloading zlib 1.2.8
[14:46:07][Step 1/1] Saving to 'zlib-1.2.8.tar.gz'...
[14:46:08][Step 1/1] 64% of 558 KB                                                              - 
[14:46:08][Step 1/1]                                                                             
[14:46:08][Step 1/1] 558 KB received in 1 seconds (558 KB/sec)
[14:46:09][Step 1/1] Downloading libzip 1.1.2
[14:46:09][Step 1/1] Saving to 'libzip-1.1.2.tar.gz'...
[14:46:10][Step 1/1]                                                                             
[14:46:10][Step 1/1] 655 KB received
[14:46:12][Step 1/1] Building zlib
[14:46:12][Step 1/1] Checking for gcc...
[14:46:13][Step 1/1] Checking for shared library support...
[14:46:13][Step 1/1] No shared library support.
[14:46:13][Step 1/1] Building static library libz.a version 1.2.8 with gcc.
[14:46:13][Step 1/1] Checking for off64_t... No.
[14:46:14][Step 1/1] Checking for fseeko... Yes.
[14:46:14][Step 1/1] Checking for strerror... Yes.
[14:46:14][Step 1/1] Checking for unistd.h... Yes.
[14:46:15][Step 1/1] Checking for stdarg.h... Yes.
[14:46:15][Step 1/1] Checking whether to use vs[n]printf() or s[n]printf()... using vs[n]printf().
[14:46:15][Step 1/1] Checking for vsnprintf() in stdio.h... Yes.
[14:46:16][Step 1/1] Checking for return value of vsnprintf()... Yes.
[14:46:16][Step 1/1] Checking for attribute(visibility) support... No.
[14:46:16][Step 1/1] make[1]: Entering directory '/cygdrive/c/BuildAgent/work/880b85fa39f1ecb6/zlib'
[14:46:16][Step 1/1] gcc -O3  -I. -c -o example.o test/example.c
[14:46:16][Step 1/1] gcc -O3    -c -o adler32.o adler32.c
[14:46:17][Step 1/1] gcc -O3    -c -o crc32.o crc32.c
[14:46:17][Step 1/1] gcc -O3    -c -o deflate.o deflate.c
[14:46:17][Step 1/1] gcc -O3    -c -o infback.o infback.c
[14:46:18][Step 1/1] gcc -O3    -c -o inffast.o inffast.c
[14:46:18][Step 1/1] gcc -O3    -c -o inflate.o inflate.c
[14:46:18][Step 1/1] gcc -O3    -c -o inftrees.o inftrees.c
[14:46:19][Step 1/1] gcc -O3    -c -o trees.o trees.c
[14:46:19][Step 1/1] gcc -O3    -c -o zutil.o zutil.c
[14:46:19][Step 1/1] gcc -O3    -c -o compress.o compress.c
[14:46:19][Step 1/1] gcc -O3    -c -o uncompr.o uncompr.c
[14:46:19][Step 1/1] gcc -O3    -c -o gzclose.o gzclose.c
[14:46:20][Step 1/1] gcc -O3    -c -o gzlib.o gzlib.c
[14:46:20][Step 1/1] gcc -O3    -c -o gzread.o gzread.c
[14:46:20][Step 1/1] gcc -O3    -c -o gzwrite.o gzwrite.c
[14:46:20][Step 1/1] ar rc libz.a adler32.o crc32.o deflate.o infback.o inffast.o inflate.o inftrees.o trees.o zutil.o compress.o uncompr.o gzclose.o gzlib.o gzread.o gzwrite.o 
[14:46:20][Step 1/1] gcc -O3  -o example.exe example.o -L. libz.a
[14:46:21][Step 1/1] gcc -O3  -I. -c -o minigzip.o test/minigzip.c
[14:46:21][Step 1/1] gcc -O3  -o minigzip.exe minigzip.o -L. libz.a
[14:46:21][Step 1/1] make[1]: Leaving directory '/cygdrive/c/BuildAgent/work/880b85fa39f1ecb6/zlib'
[14:46:21][Step 1/1] Building libzip
[14:46:24][Step 1/1] checking for a BSD-compatible install... /usr/bin/install -c
[14:46:24][Step 1/1] checking whether build environment is sane... yes
[14:46:24][Step 1/1] checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
[14:46:24][Step 1/1] checking for gawk... gawk
[14:46:24][Step 1/1] checking whether make sets $(MAKE)... yes
[14:46:24][Step 1/1] checking whether make supports nested variables... yes
[14:46:26][Step 1/1] checking build system type... x86_64-unknown-cygwin
[14:46:26][Step 1/1] checking host system type... x86_64-unknown-cygwin
[14:46:26][Step 1/1] checking for gcc... gcc
[14:46:27][Step 1/1] checking whether the C compiler works... yes
[14:46:27][Step 1/1] checking for C compiler default output file name... a.exe
[14:46:27][Step 1/1] checking for suffix of executables... .exe
[14:46:28][Step 1/1] checking whether we are cross compiling... no
[14:46:28][Step 1/1] checking for suffix of object files... o
[14:46:28][Step 1/1] checking whether we are using the GNU C compiler... yes
[14:46:29][Step 1/1] checking whether gcc accepts -g... yes
[14:46:29][Step 1/1] checking for gcc option to accept ISO C89... none needed
[14:46:29][Step 1/1] checking whether gcc understands -c and -o together... yes
[14:46:29][Step 1/1] checking for style of include used by make... GNU
[14:46:30][Step 1/1] checking dependency style of gcc... gcc3
[14:46:30][Step 1/1] checking for special C compiler options needed for large files... no
[14:46:30][Step 1/1] checking for _FILE_OFFSET_BITS value needed for large files... no
[14:46:31][Step 1/1] checking for main in -lz... no
[14:46:31][Step 1/1] checking new ZLIB version... no
[14:46:31][Step 1/1] configure: error: ZLIB version too old, please install at least v1.1.2
[14:46:32][Step 1/1] make[1]: Entering directory '/cygdrive/c/BuildAgent/work/880b85fa39f1ecb6/libzip'
[14:46:32][Step 1/1] make[1]: *** No targets specified and no makefile found.  Stop.
[14:46:32][Step 1/1] make[1]: Leaving directory '/cygdrive/c/BuildAgent/work/880b85fa39f1ecb6/libzip'
[14:46:32][Step 1/1] make: *** [libzip-build] Error 2