Missing file: pins_arduino.h

I’m trying to compile a sketch developed on my ancient Arduino UNO to a RedBoard Artemis Nano. A library, IRremote.hpp contains “#include “pins_arduino.h” // for digitalPinToPinName()” which is causing “fatal error: pins_arduino.h: No such file or directory”. Where do I find this file for the Artemis Nano and where should it be?
thanks,
David
P.S. Blink runs just fine!

I took a quick look, but this a more than a missing header file.

The IRremote is also expecting digitalPinToPinName(), which is not available in the V2.x Sparkfun Library.

Someone had an earlier question about IRremote and Artemis Nano. Porting an Arduino library to Artemis RedBoard Nano.

Looking at the timing I expect this was on V1.x of the Sparkfun library as the first version of V2.x was launched couple of months later in September 2020

Maybe you can reach out and try to find out.

Is there another IR library compatible with the Artemis Nano?

I don’t know. This library looks very complete. In the top of your sketch try do set
#define USE_NO_SEND_PWM and see what happens.