mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-24 09:35:32 +00:00
Smallfixes
This commit is contained in:
parent
3313645fd0
commit
a05ae175c6
2 changed files with 4 additions and 3 deletions
1
.github/workflows/codeql.yml
vendored
1
.github/workflows/codeql.yml
vendored
|
@ -9,6 +9,7 @@ jobs:
|
|||
analyze:
|
||||
name: Analyze
|
||||
runs-on: ubuntu-latest
|
||||
permissions: write-all
|
||||
steps:
|
||||
- name: Install deps
|
||||
run: sudo apt-get install bison flex libreadline-dev tcl-dev libffi-dev
|
||||
|
|
6
.github/workflows/test-build.yml
vendored
6
.github/workflows/test-build.yml
vendored
|
@ -59,8 +59,8 @@ jobs:
|
|||
run: |
|
||||
mkdir build
|
||||
cd build
|
||||
make -f ../Makefile config-$CC ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
|
||||
make -f ../Makefile -j$procs ENABLE_LTO=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
|
||||
make -f ../Makefile config-$CC ENABLE=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
|
||||
make -f ../Makefile -j$procs ENABLE_LTO=1 ENABLE_PLUGINS=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
|
||||
|
||||
- name: Log yosys-config output
|
||||
run: |
|
||||
|
@ -155,7 +155,7 @@ jobs:
|
|||
- name: Run tests
|
||||
shell: bash
|
||||
run: |
|
||||
make -j$procs test TARGETS= EXTRA_TARGETS= CONFIG=$CC ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0
|
||||
make -j$procs test TARGETS= EXTRA_TARGETS= CONFIG=$CC ENABLE_PLUGINS=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0
|
||||
|
||||
- name: Report errors
|
||||
if: ${{ failure() }}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue