+{ inputs, pkgs, ... }:
+pkgs.mkShell {
+ name = "air-duino";
+ src = null;
+ #preferLocalBuild = true;
+ #allowSubstitutes = false;
+ buildInputs = with pkgs; [
+ arduino
+ arduino-core
+ arduino-mk
+ gcc
+ gcc-arm-embedded
+ avrdude
+ ];
+ #enableParallelBuilding = true;
+
+ ARDUINO = pkgs.arduino;
+ ARDUINO_PATH = pkgs.arduino-core;
+ ARDUINO_DIR = pkgs.arduino-core + "/share/arduino";
+ ARDMK_DIR = pkgs.arduino-mk;
+ AVR_TOOLS_DIR = pkgs.arduino + "/share/arduino/hardware/tools/avr";
+ USER_LIB_PATH = toString ./. + "/libraries";
+
+ #PATH="${pkgs.arduino + "/share/arduino/hardware/tools/avr/bin"}:$PATH"
+ shellHook = ''
+ '';
+}