From 11753babcd5bfda7b454bf642c797198acdd1e49 Mon Sep 17 00:00:00 2001
From: Hugo McNally <hugo.mcnally@gmail.com>
Date: Wed, 7 Feb 2024 10:25:54 +0000
Subject: [PATCH] Reverting verilator version in the nix dev shell

There's a bug in verilator 5.018, which means the system can't be built.
Reverting to ibex's officially supported version, 4.210.
---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 8b43652c..650dade7 100644
--- a/flake.nix
+++ b/flake.nix
@@ -49,7 +49,6 @@
             cmake
             openocd
             screen
-            verilator
             # Needed to compile verilator generated files
             gcc
 
@@ -66,6 +65,7 @@
           ++ (with lowrisc-nix.packages.${system}; [
             spike-ibex-cosim
             lowrisc-toolchain-gcc-rv32imcb
+            verilator_ot
           ]);
         shellHook = ''
           # FIXME This works on Ubuntu, may not on other distros. FIXME