python_mrpt Humble/Jazzy/Rolling binary builds are failing

[christophebedard]

• Humble: https://build.ros2.org/job/Hbin_uJ64__python_mrpt__ubuntu_jammy_amd64__binary/
• Jazzy: https://build.ros2.org/job/Jbin_uN64__python_mrpt__ubuntu_noble_amd64__binary/
• Rolling: https://build.ros2.org/job/Rbin_uN64__python_mrpt__ubuntu_noble_amd64__binary/

It's all due to this error:

23:57:31 /tmp/binarydeb/ros-humble-python-mrpt-2.15.3/.obj-x86_64-linux-gnu/mrpt-build/src/mrpt/python/src/mrpt/system/CRateTimer.cpp:8:10: fatal error: mrpt/system/WorkerThreadsPool.h: No such file or directory
23:57:31     8 | #include <mrpt/system/WorkerThreadsPool.h>
23:57:31       |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Binary builds were fine on Feb 5th, but started failing on Feb 9th. I'm assuming this is due to this change in mrpt: MRPT/mrpt@f932cc5.

I'm planning on doing a Humble sync next week, so if this is not resolved, python_mrpt will be removed.

[jlblancoc]

@christophebedard Thanks!
I saw it... I could make a new release, but there are plans to replace those packages anyway for a more maintainable and ros-friendly alternative in a couple months, so letting them to be dropped would be fine.