From 8739f39a6cc74496cbc4538612ff509399eb44ba Mon Sep 17 00:00:00 2001
From: Harry Callahan <hcallahan@lowrisc.org>
Date: Tue, 9 Apr 2024 10:49:05 +0100
Subject: [PATCH] Add verible to opentitan env

Signed-off-by: Harry Callahan <hcallahan@lowrisc.org>
---
 dev/opentitan.nix | 2 ++
 flake.nix         | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/dev/opentitan.nix b/dev/opentitan.nix
index 30c7534..329f00d 100644
--- a/dev/opentitan.nix
+++ b/dev/opentitan.nix
@@ -7,6 +7,7 @@
   bazel_ot,
   python_ot,
   verilator_ot,
+  verible_ot,
   edaTools ? [],
   wrapCCWith,
   gcc-unwrapped,
@@ -38,6 +39,7 @@ in
           bazel_ot
           python_ot
           verilator_ot
+          verible_ot
 
           # For serde-annotate which can be built with just cargo
           rustup
diff --git a/flake.nix b/flake.nix
index a009123..c0c4595 100644
--- a/flake.nix
+++ b/flake.nix
@@ -67,7 +67,7 @@
       packages = lowrisc_pkgs;
       devShells = {
         opentitan = pkgs.callPackage ./dev/opentitan.nix {
-          inherit (lowrisc_pkgs) ncurses5-fhs bazel_ot verilator_ot python_ot;
+          inherit (lowrisc_pkgs) ncurses5-fhs bazel_ot verilator_ot python_ot verible_ot;
         };
         cheriot = pkgs.mkShell {
           name = "cheriot";