From 894098dcc34edb7c349b01c4688610006408363d Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sun, 7 Jun 2020 13:05:01 +0200
Subject: [PATCH] chore: de-Nix-ify macOS binary

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d39d63e12d..4d82dbc62f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -84,9 +84,16 @@ jobs:
           cd build
           cmake .. ${{ matrix.CMAKE_OPTIONS }}
           make -j4
+      # de-Nix-ify binary
       - name: Patch
         run: patchelf --set-interpreter /lib64/ld-linux-x86-64.so.2 --remove-rpath build/stage0.5/bin/lean
         if: matrix.name == 'Linux release'
+      - name: Patch
+        run: |
+          for lib in $(otool -L build/stage0.5/bin/lean | tail -n +2 | cut -d' ' -f1); do
+            install_name_tool -change "$lib" "/usr/lib/$(basename $lib | sed 's/libc++\.1\.0/libc++.1/')" build/stage0.5/bin/lean
+          done
+        if: matrix.name == 'macOS'
       - name: Pack
         run: cd build/stage0.5; cpack
       - uses: actions/upload-artifact@v2