Skip to content

Commit

Permalink
CI: New zlib
Browse files Browse the repository at this point in the history
  • Loading branch information
pauldmccarthy committed Aug 29, 2023
1 parent 6744738 commit 52f6794
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions .ci/download_zlib.sh
Original file line number Diff line number Diff line change
Expand Up @@ -4,11 +4,13 @@
#
set -e

curl -o zlib.tar.gz https://www.zlib.net/zlib-1.2.13.tar.gz
ZLIB_VERSION=1.3

curl -o zlib.tar.gz https://www.zlib.net/zlib-${ZLIB_VERSION}.tar.gz

tar -xzf zlib.tar.gz

ZLIB_HOME=$(pwd)/zlib-1.2.13
ZLIB_HOME=$(pwd)/zlib-${ZLIB_VERSION}

# if windows, turn /drive/path/to/zlib into
# drive:/path/to/zlib.
Expand Down

0 comments on commit 52f6794

Please sign in to comment.