A lot of libraries seem to want to use
#include “Arduino.h”. A simple solution that has worked for me (so far, it seems) is replacing it with:
This may not work in all cases, but it has compiled for me thus far. The libraries I’m attempting to port don’t seem to complain after I paste in this fix.