Commit 02dd1cf0 authored by Matthew Brett's avatar Matthew Brett
Browse files

Use HTTP on Mac for Ragel

Certificate expired error using macOS curl.  Temporary fix while we wait
for the certificates to get upgraded.
parent 367172fc
...@@ -370,7 +370,14 @@ function build_libtool { ...@@ -370,7 +370,14 @@ function build_libtool {
} }
function build_ragel { function build_ragel {
build_simple ragel $RAGEL_VERSION https://www.colm.net/files/ragel local htprefix=https
if [ -n "$IS_OSX" ]; then
# Invalid certificate, when using macOS curl.
# https://security.stackexchange.com/questions/232445/https-connection-to-specific-sites-fail-with-curl-on-macos
# Cert will likely be removed by Safari update in due course.
htprefix=http
fi
build_simple ragel $RAGEL_VERSION ${htprefix}://www.colm.net/files/ragel
} }
function build_bison { function build_bison {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment