Merge pull request #107073 from ryantm/arduino-ci

arduino-ci: 0.1.0 -> 0.2.0
This commit is contained in:
Ryan Mulligan 2020-12-17 07:21:29 -08:00 committed by GitHub
commit f654cad7c8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,23 +1,22 @@
{ stdenv, fetchFromGitHub, makeWrapper, arduino-cli, ruby, python3, patchelf }:
{ stdenv, fetchFromGitHub, makeWrapper, arduino-cli, ruby, python3 }:
let
runtimePath = stdenv.lib.makeBinPath [
arduino-cli
(python3.withPackages (ps: [ ps.pyserial ])) # required by esp32 core
patchelf # required by esp32 core
python3 # required by the esp8266 core
];
in
stdenv.mkDerivation rec {
pname = "arduino-ci";
version = "0.1.0";
version = "0.2.0";
src = fetchFromGitHub {
owner = "pololu";
repo = "arduino-ci";
rev = "v${version}";
sha256 = "sha256-uLCLupzJ446WcxXZtzJk1wnae+k1NTSy0cGHLqW7MZU=";
sha256 = "sha256-9RbBxgwsSQ7oGGKr1Vsn9Ug9AsacoRgvQgd9jbRQ034=";
};
nativeBuildInputs = [ makeWrapper ];