3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-09-04 00:58:10 +00:00

ci: iverilog before yosys

This commit is contained in:
Krystine Sherwin 2025-08-19 10:46:02 +12:00
parent b42be1df80
commit d63f43acf0
No known key found for this signature in database

View file

@ -45,19 +45,6 @@ jobs:
- name: Setup environment
uses: ./.github/actions/setup-build-env
- name: Build
shell: bash
run: |
mkdir build
cd build
make -f ../Makefile config-$CC
echo 'SANITIZER = ${{ matrix.sanitizer }}' >> Makefile.conf
make -f ../Makefile -j$procs ENABLE_LTO=1
- name: Log yosys-config output
run: |
./yosys-config || true
- name: Get iverilog
shell: bash
run: |
@ -93,6 +80,24 @@ jobs:
make -j$procs
make install
- name: Check iverilog
shell: bash
run: |
iverilog -V
- name: Build
shell: bash
run: |
mkdir build
cd build
make -f ../Makefile config-$CC
echo 'SANITIZER = ${{ matrix.sanitizer }}' >> Makefile.conf
make -f ../Makefile -j$procs ENABLE_LTO=1
- name: Log yosys-config output
run: |
./yosys-config || true
- name: Run tests
shell: bash
run: |