From e82dfca1b60380a01133457dc6dddb2bb87f9f60 Mon Sep 17 00:00:00 2001
From: Matteo Perotti <mperotti@iis.ee.ethz.ch>
Date: Sat, 5 Aug 2023 19:01:32 +0200
Subject: [PATCH] [ci] Fix dependencies for Verilator v5.012

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b2a1c8e11..bbe42be2f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -149,7 +149,7 @@ jobs:
     - name: Compile Verilator
       if: steps.tc-verilator-cache.outputs.cache-hit != 'true'
       run: |
-        sudo apt-get install flex libfl-dev
+        sudo apt-get install flex libfl-dev help2man
         make verilator
     - name: Tar Verilator
       run: tar -cvf tc-verilator.tar install/verilator