From 2281c620ce5593bf394bb73bceabf0680a2a6d32 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Mon, 29 Jul 2019 15:09:10 +0800
Subject: [PATCH] add development shell.nix

---
 shell.nix | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 shell.nix

diff --git a/shell.nix b/shell.nix
new file mode 100644
index 0000000..86d4ff2
--- /dev/null
+++ b/shell.nix
@@ -0,0 +1,16 @@
+{ }:
+let
+  pkgs = import <nixpkgs> { overlays = [ (import ./overlay.nix) ]; };
+  hx = import ./default.nix { inherit pkgs; };
+in
+  pkgs.mkShell {
+    buildInputs = [
+    	hx.binutils-riscv32 hx.binutils-riscv64 hx.gcc-riscv32 hx.gcc-riscv64 pkgs.rustc pkgs.cargo hx.rust-riscv32i-crates
+    	(pkgs.python3.withPackages(ps: [hx.nmigen hx.nmigen-boards hx.heavycomps hx.minerva]))
+    	pkgs.yosys
+      pkgs.nextpnr
+      pkgs.trellis
+      pkgs.openocd
+    ];
+    RUSTFLAGS="-L ${hx.rust-riscv32i-crates}/lib/rustlib/riscv32i-unknown-none-elf/lib -C linker=riscv32-unknown-elf-ld -C link-arg=-Tlink.x";
+  }