-
-
Notifications
You must be signed in to change notification settings - Fork 7k
Added librariesDependencies
in package_index.json
#7642
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: master
Are you sure you want to change the base?
Conversation
The new method will be used in next commits to handle installations of multiple libraries. This commit fix also minor bug in progress bar.
It's no more required to pass this information from outside, just library that is being installed is now sufficient.
This will be useful in the next commits. Probably the overall progress tracking may be revamped/simplified, but this is not going to happen shortly.
✅ Build completed. Please test this code using one of the following: ⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-7642-BUILD-749-linux32.tar.xz ℹ️ The |
This change allows to install additional libraries in user sketchbook when a platform is installed.
As already explained in #3082:
The change in the
package_index.json
format is the following:Fixes #3082