Digistump社が提供しているDigisparkのボードマネージャ定義は4.8.1-arduino5というかなり古いバージョンのコンパイラを使うように強制されているが新しいバージョンのコンパイラの機能が使えたらいいのになと思う時もある。
なのでDigisparkのボードマネージャ定義をArduino AVR Boardsの既定のコンパイラ・バージョンが使えるように書き換えてみた。
Digistump社のURLの代わりに当サイトのURLをArduino-IDEのボードマネージャのURLとして登録すると新しいバージョンのコンパイラが使えるようになるがDigisparkボードのみの定義なのでDigistump社の他のボードを利用しているなら使えないことに注意してほしい。
旧: https://raw.githubusercontent.com/digistump/arduino-boards-index/master/package_digistump_index.json
新: https://rp5-8g/wordpress/wp-content/uploads/arduino/digistump/package_digistump_index.json
今のところ問題なさそうなものの当然ながら新しいバージョンのコンパイラでの動作が保証されているわけではないので各自の責任でということで．．．
参考まで。