From b1f7fc1439228bcbbc1b3891059162e80c67eccb Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 27 Oct 2021 18:14:57 +0200
Subject: [PATCH] fix: CI: copy Homebrew dependencies

---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 87e4228861..d7e0d1eb72 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -135,6 +135,8 @@ jobs:
           cd build/stage1
           for f in lib/lean/libleanshared.dylib bin/lean bin/leanpkg bin/leanc bin/lake; do
             for lib in $(otool -L $f | tail -n +2 | cut -d' ' -f1); do
+              # copy Homebrew dependencies
+              if [[ "$lib" == /usr/local/opt/* ]]; then cp -n "$lib" lib/ || true; fi
               [[ "$lib" == /usr/lib/* ]] || install_name_tool -change "$lib" "@rpath/$(basename $lib)" $f
             done
             otool -L $f