mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-21 16:16:39 +00:00
Use good make
This commit is contained in:
parent
bf8277e280
commit
de0b6cfabc
2
.github/workflows/test-build.yml
vendored
2
.github/workflows/test-build.yml
vendored
|
@ -68,6 +68,7 @@ jobs:
|
|||
- name: Build
|
||||
shell: bash
|
||||
run: |
|
||||
export PATH="$(brew --prefix make)/libexec/gnubin:$PATH"
|
||||
mkdir build
|
||||
cd build
|
||||
make -f ../Makefile config-$CC SMALL=0 ENABLE_ABC=1 ENABLE_PLUGINS=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
|
||||
|
@ -166,6 +167,7 @@ jobs:
|
|||
- name: Run tests
|
||||
shell: bash
|
||||
run: |
|
||||
export PATH="$(brew --prefix make)/libexec/gnubin:$PATH"
|
||||
make -j$procs test TARGETS= EXTRA_TARGETS= CONFIG=$CC SMALL=0 ENABLE_ABC=1 ENABLE_PLUGINS=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0
|
||||
|
||||
- name: Report errors
|
||||
|
|
Loading…
Reference in a new issue