7 Commits (7f8175e493d7e4534d3784b3533e5b0e3b7c83ca)

Author	SHA1	Message	Date
Michael Richters	f19d416190	Use new --build-property option if arduino-cli is >= 0.14 ... The option `--build-properties` was deprecated in v0.14.0 of arduino-cli. This change uses the new option `--build-property` instead if the version of arduino-cli being called is newer than that, thus avoiding deprecation warning messages and innoculating the build system against the removal of the deprecated version of the option. Signed-off-by: Michael Richters <gedankenexperimenter@gmail.com>	4 years ago
Jesse Vincent	59bc793c30	Fetch arduino core indices before updating our cores ... It is entirely unclear to me how this ever worked before.	4 years ago
Jesse Vincent	82515e46d9	A small optimization for recursive makefile calls to stop shelling out to look for arduino-cli when we already know the answer	4 years ago
Jesse Vincent	f0983e8011	A handful of changes to make the makefiles lazier to shave off a few % of execution time	4 years ago
Jesse Vincent	53b7deb7d1	Fix a typo in a displayed message	4 years ago
Jesse Vincent	2646b88e0e	Arduino-cli 0.14 has a breaking change wherein it errors out on config file write if the config file already exists	4 years ago
Jesse Vincent	d94c3d5234	Replace kaleidoscope-builder with makefiles using arduino-cli ... This is a complete rework of how Kaleidoscope is built, but should be largely transparent to most developers and completely invisible to folks using the Arduino IDE. Some advanced features of kaleidoscope-builder config files have gone away, but it’s likely that @algernon was the only person using them. The tradeoff is that we’re now using a much better maintained build tool under the hood and that we’re no longer as tied to a single specific directory structure.	4 years ago