From c38b2e418ea8b1731fbf98f9d1eb4df7e159d009 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Fri, 30 Aug 2019 16:14:23 +0800
Subject: [PATCH] shell.nix: add openocd and gdb

---
 shell.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/shell.nix b/shell.nix
index 8488f3ae..1f59b6dd 100644
--- a/shell.nix
+++ b/shell.nix
@@ -8,14 +8,14 @@ let
 in
 with project;
 stdenv.mkDerivation {
-  name = "adc2tcp-env";
-  buildInputs = with rustPlatform.rust; [
+  name = "zynq-env";
+  buildInputs = (with rustPlatform.rust; [
     rustc cargo
     cargo-xbuild rustcSrc
     pkgsCross.armhf-embedded.buildPackages.gcc
     #pkgsCross.armv7l-hf-multiplatform.buildPackages.gcc
     #pkgsCross.armhf-embedded.buildPackages.binutils
-  ];
+  ]) ++ (with pkgs; [ openocd gdb ]);
 
   # Set Environment Variables
   RUST_BACKTRACE = 1;