mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-06-05 04:40:51 +00:00
Code Activity

Update CI to build with CMake

Browse source
This commit is contained in:
Miodrag Milanovic 2026-06-03 13:46:53 +02:00
parent f57802a166
commit ea52d88750
1 changed files with 10 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

18
.github/workflows/ci.yml vendored
View file

@ -40,14 +40,16 @@ jobs:
- name: Build Yosys - name: Build Yosys
run: | run: |
cd yosys cd yosys
make config-clang rm -rf build Configuration.cmake
echo "ENABLE_VERIFIC := 1" >> Makefile.conf echo 'set(CMAKE_C_COMPILER clang CACHE STRING "")' >> Configuration.cmake
echo "ENABLE_VERIFIC_EDIF := 1" >> Makefile.conf echo 'set(CMAKE_CXX_COMPILER clang++ CACHE STRING "")' >> Configuration.cmake
echo "ENABLE_VERIFIC_LIBERTY := 1" >> Makefile.conf echo 'set(YOSYS_COMPILER_LAUNCHER ccache CACHE STRING "")' >> Configuration.cmake
echo "ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 1" >> Makefile.conf echo 'set(YOSYS_VERIFIC_DIR "/usr/local/src/verific_lib" CACHE STRING "")' >> Configuration.cmake
echo "ENABLE_CCACHE := 1" >> Makefile.conf
make -j${{ env.procs }} cmake -C Configuration.cmake -B build . -DCMAKE_INSTALL_PREFIX=${GITHUB_WORKSPACE}/.local -DCMAKE_BUILD_TYPE=Debug
make install DESTDIR=${GITHUB_WORKSPACE}/.local PREFIX=
cmake --build build -j${{ env.procs }}
cmake --build build --target install
- name: Build SBY - name: Build SBY
run: | run: |