ニュース

Arduino、「PLC IDE 1.0」をリリース ~制御機器プログラミングのための開発環境 「Arduino」スケッチと組み合わせ可能 ...
「Arduino IDE 2.0」では、バックエンドを刷新。 ボードやライブラリの管理、コードのアップロードといった処理が 「Arduino CLI」 にまとめられた。
M5Stackを使うための複雑な処理は、ボクたちが見えないところでライブラリが全部やってくれるから、ボクたちは簡単にマイコンを動かせるんだよ。 Arduino IDEのメニューからTools→Manage libraries…を開いてね。
library.propertiesが、Arduino IDEのライブラリ向けの定義ファイルのようだ では、非公式ライブラリとして、library.propertiesやsrcを含むフォルダをLibrariesフォルダに手動でフォルダを配置するとどうなるか?