From 7791bfcfa9b060b49c982af4a49bc9422d818370 Mon Sep 17 00:00:00 2001
From: aWZHY0yQH81uOYvH <32046476+aWZHY0yQH81uOYvH@users.noreply.github.com>
Date: Mon, 27 Nov 2023 15:00:06 -0800
Subject: [PATCH] add CI test for bundled Yosys

---
 .github/workflows/main.yml | 45 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index ca48f8ec5..9c8c55131 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -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