Skip to content

[docs] instruct to clone yosys with '--recurse-submodules' #687

[docs] instruct to clone yosys with '--recurse-submodules'

[docs] instruct to clone yosys with '--recurse-submodules' #687

Workflow file for this run

name: ci
on:
push:
pull_request:
schedule:
- cron: '30 0 * * *'
jobs:
build_oss:
runs-on: ubuntu-latest
steps:
- name: Checkout SBY
uses: actions/checkout@v4
- name: Install oss-cad-suite
uses: YosysHQ/setup-oss-cad-suite@v3
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
- name: Run SBY tests
run: pip install xmlschema && make ci
build_verific:
runs-on: [self-hosted, linux, x64, fast]
steps:
- name: Checkout SBY
uses: actions/checkout@v4
- name: Checkout Yosys
uses: actions/checkout@v4
with:
repository: 'YosysHQ/yosys'
path: 'yosys'
submodules: true
- name: Runtime environment
run: |
echo "procs=$(nproc)" >> $GITHUB_ENV
- name: Build Yosys
run: |
cd yosys
make config-clang
echo "ENABLE_VERIFIC := 1" >> Makefile.conf
echo "ENABLE_VERIFIC_EDIF := 1" >> Makefile.conf
echo "ENABLE_VERIFIC_LIBERTY := 1" >> Makefile.conf
echo "ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 1" >> Makefile.conf
echo "ENABLE_CCACHE := 1" >> Makefile.conf
make -j${{ env.procs }}
make install DESTDIR=${GITHUB_WORKSPACE}/.local PREFIX=
- name: Build SBY
run: |
make install DESTDIR=${GITHUB_WORKSPACE}/.local PREFIX=
- name: Run SBY tests
run: |
make run_ci