Merge pull request #381 from rjmunro/update-zlib

Update zlib to latest - 1.2.10

Author: Daniel Kroening

src/Makefile

@@ -84,12 +84,12 @@ glucose-download:
 	@rm glucose-syrup.tgz
 
 zlib-download:
-	@echo "Downloading zlib 1.2.8"
-	@lwp-download http://zlib.net/zlib-1.2.8.tar.gz
-	@tar xfz zlib-1.2.8.tar.gz
+	@echo "Downloading zlib 1.2.10"
+	@lwp-download http://zlib.net/zlib-1.2.10.tar.gz
+	@tar xfz zlib-1.2.10.tar.gz
 	@rm -Rf ../zlib
-	@mv zlib-1.2.8 ../zlib
-	@rm zlib-1.2.8.tar.gz
+	@mv zlib-1.2.10 ../zlib
+	@rm zlib-1.2.10.tar.gz
 
 libzip-download:
 	@echo "Downloading libzip 1.1.2"