JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

arduino: use jdk8

Browse Source
This commit is contained in:
Gabriel Ebner 2020-09-19 15:52:45 +02:00
parent 92c406d41f
commit 3f3430072a
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/top-level/all-packages.nix
View File

@ -743,7 +743,9 @@ in
arduino-cli = callPackage ../development/arduino/arduino-cli { }; arduino-cli = callPackage ../development/arduino/arduino-cli { };
arduino-core = callPackage ../development/arduino/arduino-core { }; arduino-core = callPackage ../development/arduino/arduino-core {
jdk = jdk8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
};
arduino-mk = callPackage ../development/arduino/arduino-mk {}; arduino-mk = callPackage ../development/arduino/arduino-mk {};