[Bug]: Doesn't compile for Teensy 4.1

[maxgerhardt]

The type of board you are using.

Teensy board

The boards name or FQBN (e.g. esp8266:esp8266:d1_mini:eesz=4M3M,xtal=80) for unspecified board.

Teensy 4.1

The board manager URL used for unspecified board.

See ArduinoTeensy

What IDE are you using?

PlatformIO IDE

What IR protocol are you using?

Unknown

Pin(s) used for IR-receive, if not default.

Arduino pin number: default

Example(s) you have checked while hunting the bug.

• SimpleReceiver
• ReceiveDemo
• SendRawDemo
• ReceiverTimingAnalysis
• TinyReceiver
• TinySender
• ReceiveAndSend
• SimpleSender
• SendDemo
• SendLGAirConditionerDemo
• UnitTest
• Other - please specify below
• I checked, if at least one of the examples was working.

Example(s) to reproduce the issue.

• SimpleReceiver
• ReceiveDemo
• SendRawDemo
• ReceiverTimingAnalysis
• TinyReceiver
• TinySender
• ReceiveAndSend
• SimpleSender
• SendDemo
• SendLGAirConditionerDemo
• UnitTest
• Other - please specify below

The library version you are working with.

• I use the latest Arduino library version and verified this!
• I use the latest repo version (download link) and verified this!

What are the steps to reproduce this issue?

1. Create new PlatformIO project for Teensy 4.1
2. add library

[env:teensy41]
platform = teensy
board = teensy41
framework = arduino
lib_deps = https://github.com/Arduino-IRremote/Arduino-IRremote.git

3. Copy example files from https://github.com/Arduino-IRremote/Arduino-IRremote/tree/master/examples/SimpleReceiver in src/
4. Hit "Build"

What happens?

Fails to compile.

In file included from .pio/libdeps/teensy41/IRremote/src/IRremote.hpp:274:0,
                 from src/main.cpp:67:
.pio/libdeps/teensy41/IRremote/src/private/IRTimer.hpp: In function 'void timerEnableReceiveInterrupt()':
.pio/libdeps/teensy41/IRremote/src/private/IRTimer.hpp:1240:43: error: 'pwm1_3_isr' was not declared in this scope
     attachInterruptVector(IRQ_FLEXPWM1_3, pwm1_3_isr);
                                           ^

The serial output which indicates the error happened.

None relevant

What were you expecting to happen?

Compilation os OK.

Additional context.

Although #928 was merged, this fails to compile.

Final checklist for the bug report.

• I have read the README.md file thoroughly
• I have searched existing issues to see if there is anything I have missed.
• I have browsed the examples for one, that matches my use case.
• The title of the issue is helpful and relevant.

[ArminJo]

Sorry Max,
but there is no further support possible, see: https://forum.pjrc.com/threads/65912-Enable-Continuous-Integration-with-arduino-cli-for-3-party-libraries 😞
If you find a fix we can include it 😀

[maxgerhardt]

Is it acceptable to use PlatformIO for the CI with Teensy boards? That's like a 2 minute job. I don't feel like massaging a non-conforming Arduino core to work with arduino-cli when PlatformIO works fine.

Of course the build will fail though without code modifications.

[maxgerhardt]

Actually, hold up. Looking at https://www.pjrc.com/teensy/td_download.html it looks like it installs regularly now without the custom installer just with the board package URL. So.. it should already work with arduino-cli?

[ArminJo]

How do you do the CI with Platform IO? It might be acceptable, but I doubt the 2 minutes 😀

[maxgerhardt]

You do it with the template given in the official documentation: https://docs.platformio.org/en/latest/integration/ci/github-actions.html

This is literally just installing Python, PlatformIO and executing the dedicated pio ci on the commandline with a pointer to the source file(s) and for which board to compile. Let me just cook up something.

[ArminJo]

Are you allowed to see the actions of this repo?

[maxgerhardt]

Yes, the .github/workflows files are visible as normal.