ci: Cleaner Verilator install (#79)

ethanuppal · Feb 22, 2025 · ed06192 · ed06192
1 parent c8c0cb1
commit ed06192
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 13 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -20,8 +20,13 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - uses: Swatinem/rust-cache@v2
-      - name: Install verilator
-        run: make install_verilator
+      - name: Install Verilator
+        run: |
+          if [[ "$(uname)" == 'Darwin' ]]; then
+            brew install verilator
+          else
+            sudo apt-get install -y verilator
+          fi
       - name: Manual test
         run: |
           cd examples/verilog-project
@@ -42,8 +47,13 @@ jobs:
       - uses: actions/checkout@v4
       - name: Rust Caching
         uses: Swatinem/rust-cache@v2
-      - name: Install verilator
-        run: make install_verilator
+      - name: Install Verilator
+        run: |
+          if [[ "$(uname)" == 'Darwin' ]]; then
+            brew install verilator
+          else
+            sudo apt-get install -y verilator
+          fi
       - name: Install swim
         run: cargo install --locked --git https://gitlab.com/spade-lang/swim --rev 639c5d88db76ef3454af4feef842c37985ca1943
       - name: Test

diff --git a/.gitignore b/.gitignore
@@ -3,3 +3,4 @@ target/
 **/artifacts2/
 **/artifacts3/
 docs/
+version.txt
diff --git a/Makefile b/Makefile
diff --git a/version.txt b/version.txt