From dde7b978d6acc6189f11dfff724c0d495457e53e Mon Sep 17 00:00:00 2001
From: Antono Vasiljev <self@antono.info>
Date: Sun, 23 Dec 2012 18:21:51 +0200
Subject: [PATCH] inotool: add avr-gcc-libc to inputs

---
 pkgs/development/arduino/ino/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/arduino/ino/default.nix b/pkgs/development/arduino/ino/default.nix
index dc658016acb4..6b88a8deaea7 100644
--- a/pkgs/development/arduino/ino/default.nix
+++ b/pkgs/development/arduino/ino/default.nix
@@ -1,4 +1,4 @@
-{ stdenv, fetchurl, buildPythonPackage, minicom, avrdude, arduino_core }:
+{ stdenv, fetchurl, buildPythonPackage, minicom, avrdude, arduino_core, avrgcclibc }:
 
 buildPythonPackage {
   name = "ino-0.3.4";
@@ -16,7 +16,7 @@ buildPythonPackage {
     echo "Patching Arduino distribution path"
     sed -i 's@/usr/local/share/arduino@${arduino_core}/share/arduino@g' ino/environment.py
   '';
-
+ 
   doCheck = false;
 
   meta = {