Skip to content

Commit

Permalink
add CI test for bundled Yosys
Browse files Browse the repository at this point in the history
  • Loading branch information
aWZHY0yQH81uOYvH committed Nov 27, 2023
1 parent 64dcc99 commit 7791bfc
Showing 1 changed file with 45 additions and 0 deletions.
45 changes: 45 additions & 0 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -487,6 +487,51 @@ jobs:
grep ^ERROR log.txt || exit 0
exit 1
test-plugin-with-bundled-yosys:
name: Test With Bundled Yosys
runs-on: [self-hosted, Linux, X64]
container: debian:trixie
needs: build-binaries
env:
DEBIAN_FRONTEND: noninteractive
PIPX_BIN_DIR: /usr/local/bin

steps:
- uses: actions/checkout@v3
with:
submodules: false
fetch-depth: 1

- name: Install Dependencies
run: |
tuttest README.md dependencies | bash -
- name: Download binaries
uses: actions/download-artifact@v2
with:
name: binaries-debian

- name: Extract
run: |
# Extract into a different directory than it was built in
# to ensure no path dependencies
tar --one-top-level -xf binaries-debian.tar
- name: Verify yosys-config
run: |
# Check that the directories reported by yosys-config exist
echo "yosys-config reports data directory is" $(binaries-debian/out/current/bin/yosys-config --datdir)
ls $(binaries-debian/out/current/bin/yosys-config --datdir) > /dev/null
- name: Load Plugin
run: |
binaries-debian/out/current/bin/yosys \
-Q -m systemverilog \
-p "help read_systemverilog" \
-p "help read_uhdm" 2>&1 | tee log.txt
grep ^ERROR log.txt || exit 0
exit 1
# needed for test linting
upload-event-file:
name: Upload GHA event file
Expand Down

0 comments on commit 7791bfc

Please sign in to comment.