integrate board manager into arduino builder

[pgollor]

Is there any plan to integrates the boards manager into the command line builder? This could be very useful for continuous integration with 3rd party hardware libraries like arduino-esp.

I wrote a python and bash script here which reads the json file and download all dependencies. I would be very nice if the arduino autobuilder could be handle it by itself.

[ffissore]

arduino-builder will not integrate boards manager. Use the arduino CLI from the Arduino IDE. See https://github.com/arduino/Arduino/blob/master/build/shared/manpage.adoc

[kubark42]

arduino-builder will not integrate boards manager.

Could I ask why? Being able to call the boards manager from the CLI is very useful for doing continuous integration.