I had the same problem while installing Arduini IDE 1.8.2 on a Ubuntu machine. The resource name in the install.sh file is wrong. When I looked in the Arduino-1.8.2/lib there is a file named ...
This library worked mostly fine for me in Arduino 1.8.12, but in 1.8.13 the following trivial sketch won't compile. My intuition is that it's an include-order dependency issue.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback