From 9a65a9ee351f435b9c1cd6e7bc9762365ef27c9d Mon Sep 17 00:00:00 2001
From: Kevin Laeufer
Date: Wed, 6 Oct 2021 09:55:03 -0700
Subject: ci: use Tabby OSS CAD Suite to get solvers and verilator (#2134)

---
 .github/workflows/test.yml | 42 ++++++++++++------------------------------
 1 file changed, 12 insertions(+), 30 deletions(-)

(limited to '.github/workflows')

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index abce6d13..ee4d68d5 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -17,7 +17,6 @@ jobs:
         system: ["ubuntu-20.04"]
         jvm: ["adopt@1.8"]
         scala: ["2.13.6", "2.12.15"]
-        verilator: ["4.204"]
         espresso: ["2.4"]
     runs-on: ${{ matrix.system }}
 
@@ -25,32 +24,13 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v2
 
-      - name: Install Z3
-        if: matrix.system == 'ubuntu-20.04'
+      - name: Install Tabby OSS Cad Suite (from YosysHQ)
         run: |
-          sudo apt-get install -y z3
-          z3 --version
-
-      - name: Cache Verilator ${{ matrix.verilator }}
-        uses: actions/cache@v2.1.6
-        id: cache-verilator
-        with:
-          path: verilator-${{ matrix.verilator }}
-          key: ${{ matrix.system }}-verilator-${{ matrix.verilator }}
-      - name: Compile Verilator ${{ matrix.verilator }}
-        if: steps.cache-verilator.outputs.cache-hit != 'true'
-        run: |
-          wget https://github.com/verilator/verilator/archive/refs/tags/v${{ matrix.verilator }}.tar.gz
-          tar xvf v${{ matrix.verilator }}.tar.gz
-          cd verilator-${{ matrix.verilator }}
-          autoconf
-          ./configure
-          make
-      - name: Install Verilator ${{ matrix.verilator }}
-        run: |
-          cd verilator-${{ matrix.verilator }}
-          sudo make install
-          verilator --version
+          cd /home/runner/work/
+          wget https://github.com/YosysHQ/oss-cad-suite-build/releases/download/2021-09-23/oss-cad-suite-linux-x64-20210923.tgz
+          tar -xf oss-cad-suite-linux-x64-20210923.tgz
+          ls /home/runner/work/oss-cad-suite/bin
+          echo "/home/runner/work/oss-cad-suite/bin" >> $GITHUB_PATH
 
       - name: Install Espresso
         run: |
@@ -80,11 +60,13 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v2
-      - name: Install Verilator and Z3
+      - name: Install Tabby OSS Cad Suite (from YosysHQ)
         run: |
-          sudo apt-get install -y verilator z3
-          verilator --version
-          z3 --version
+          cd /home/runner/work/
+          wget https://github.com/YosysHQ/oss-cad-suite-build/releases/download/2021-09-23/oss-cad-suite-linux-x64-20210923.tgz
+          tar -xf oss-cad-suite-linux-x64-20210923.tgz
+          ls /home/runner/work/oss-cad-suite/bin
+          echo "/home/runner/work/oss-cad-suite/bin" >> $GITHUB_PATH
       - name: Install Espresso
         run: |
           cd /tmp
-- 
cgit v1.2.3


From 921a5859cb5f450851025e5dcbd10d68629ea5c9 Mon Sep 17 00:00:00 2001
From: Kevin Laeufer
Date: Wed, 10 Nov 2021 12:00:23 -0800
Subject: ci: use official action to install oss cad tools (#2243)

---
 .github/workflows/test.yml | 18 ++++++------------
 1 file changed, 6 insertions(+), 12 deletions(-)

(limited to '.github/workflows')

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index ee4d68d5..5f3252cc 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -25,12 +25,9 @@ jobs:
         uses: actions/checkout@v2
 
       - name: Install Tabby OSS Cad Suite (from YosysHQ)
-        run: |
-          cd /home/runner/work/
-          wget https://github.com/YosysHQ/oss-cad-suite-build/releases/download/2021-09-23/oss-cad-suite-linux-x64-20210923.tgz
-          tar -xf oss-cad-suite-linux-x64-20210923.tgz
-          ls /home/runner/work/oss-cad-suite/bin
-          echo "/home/runner/work/oss-cad-suite/bin" >> $GITHUB_PATH
+        uses: YosysHQ/setup-oss-cad-suite@v1
+        with:
+          osscadsuite-version: '2021-11-09'
 
       - name: Install Espresso
         run: |
@@ -61,12 +58,9 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v2
       - name: Install Tabby OSS Cad Suite (from YosysHQ)
-        run: |
-          cd /home/runner/work/
-          wget https://github.com/YosysHQ/oss-cad-suite-build/releases/download/2021-09-23/oss-cad-suite-linux-x64-20210923.tgz
-          tar -xf oss-cad-suite-linux-x64-20210923.tgz
-          ls /home/runner/work/oss-cad-suite/bin
-          echo "/home/runner/work/oss-cad-suite/bin" >> $GITHUB_PATH
+        uses: YosysHQ/setup-oss-cad-suite@v1
+        with:
+          osscadsuite-version: '2021-11-09'
       - name: Install Espresso
         run: |
           cd /tmp
-- 
cgit v1.2.3


From 392ea3c9b5b04e374eeb1bf3b0d87ac9fbf45513 Mon Sep 17 00:00:00 2001
From: Jack Koenig
Date: Wed, 1 Dec 2021 14:49:34 -0800
Subject: Require the chisel3 compiler plugin (#2271)

As the chisel3 compiler plugin is now required, we can delete unused
code for reflective autoclonetype as well as the noPluginTests.---
 .github/workflows/test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.github/workflows')

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 5f3252cc..ce18fab0 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -47,7 +47,7 @@ jobs:
         if: startsWith(matrix.scala, '2.12')
         run: sbt ++${{ matrix.scala }} docs/mdoc
       - name: Test
-        run: sbt ++${{ matrix.scala }} test noPluginTests/test
+        run: sbt ++${{ matrix.scala }} test
       - name: Binary compatibility
         run: sbt ++${{ matrix.scala }} mimaReportBinaryIssues
 
-- 
cgit v1.2.3