From ec319c9ec0acc975fcdfbfa2e378b82c9be9ab0a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 30 Aug 2020 14:03:40 +0100
Subject: Add RTLBlock intermediate language

---
 shell.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'shell.nix')

diff --git a/shell.nix b/shell.nix
index 3906659..887f8fb 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,5 +1,7 @@
 with import <nixpkgs> {};
 
 mkShell {
-  buildInputs = (import ./.).buildInputs ++ [ocamlPackages.ocp-indent verilog yosys];
+  buildInputs = (import ./.).buildInputs ++ [ ocamlPackages.ocp-indent verilog yosys
+                                              ocamlPackages.merlin ocamlPackages.utop
+                                            ];
 }
-- 
cgit