diff --git a/.github/workflows/test-build.yml b/.github/workflows/test-build.yml index 6979c90e0..ab3300bee 100644 --- a/.github/workflows/test-build.yml +++ b/.github/workflows/test-build.yml @@ -215,4 +215,5 @@ jobs: - name: Run tests shell: bash run: | + export PATH="$(brew --prefix make)/libexec/gnubin:$PATH" make -C docs test -j${{ env.procs }} SMALL=0 ENABLE_ABC=1 ENABLE_PLUGINS=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 diff --git a/Brewfile b/Brewfile index 69b8c293e..634fe530b 100644 --- a/Brewfile +++ b/Brewfile @@ -15,3 +15,4 @@ brew "lld" brew "dwarfutils" brew "libelf" +brew "make"