Mac执行brew install opencv@3时dav1d下载失败求助

问题重现 #

执行brew install opencv@3时，卡在dav1d下载环节，报错：

==> Fetching dav1d
==> Downloading https://code.videolan.org/videolan/dav1d-test-data/raw/1.1.0/8-b
curl: (7) Failed to connect to code.videolan.org port 443: Operation timed out
Error: dav1d: Failed to download resource "dav1d--00000000.ivf"
Download failed: https://code.videolan.org/videolan/dav1d-test-data/raw/1.1.0/8-bit/data/00000000.ivf

且无法直接访问code.videolan.org网站，说明网络无法连接该域名。

可行解决方案 #

• 先单独安装不带测试的dav1d，再装opencv@3
  问题出在dav1d的测试文件下载，直接跳过测试安装dav1d：

  brew install dav1d --without-tests
  

  完成后再执行：

  brew install opencv@3
  

• 临时给brew配置代理
  如果有可用的代理，先在终端设置代理环境变量（替换成你的代理地址和端口）：

  export http_proxy=http://127.0.0.1:1087
  export https_proxy=http://127.0.0.1:1087
  

  再执行brew安装命令，完成后可以取消代理：

  unset http_proxy https_proxy
  

• 修改brew的dav1d配方文件
  编辑dav1d的brew配方，移除测试文件的下载步骤：

  1. 打开配方文件：

     brew edit dav1d
     

  2. 在打开的编辑器中，找到包含test_data相关的下载代码段，删除或注释掉这部分内容
  3. 保存退出后，执行brew install dav1d，再安装opencv@3

内容的提问来源于stack exchange，提问作者Terry Xia