try to use docker for verilator

stefanlippuner · Nov 4, 2023 · 14aa706 · 14aa706
1 parent 6442b63
commit 14aa706
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/.github/verilator_docker b/.github/verilator_docker
@@ -0,0 +1,2 @@
+#!/bin/bash
+docker run -t verilator/verilator:v5.018 $@
diff --git a/proto/tests.py b/proto/tests.py
@@ -413,8 +413,13 @@ def test_hdl_ref():
         if res.returncode != 0:
             error('VHDL elaboration failed for {}'.format(f))
 
+
+        if 'VERILATOR' in os.environ:
+            verilator_cmd = os.environ['VERILATOR']
+        else:
+            verilator_cmd = 'verilator'
         sv_pkgs = [srcdir + 'tb/dpssram.sv', srcdir + 'tb/wishbone_pkg.sv']
-        res = subprocess.run(['verilator', '--lint-only', '--top-module', top_entity] + sv_pkgs + [sv_file])
+        res = subprocess.run([verilator_cmd, '--lint-only', '--top-module', top_entity] + sv_pkgs + [sv_file])
         if res.returncode != 0:
             pass # error('SV elaboration failed for {}'.format(f))
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		#!/bin/bash
		docker run -t verilator/verilator:v5.018 $@