Created attachment 269477 [details] Proposed patch
I'm not sure if we need another version in ports. I plan to update consumer to the latest version and probably remove eigen.mk.
(In reply to Max Brazhnikov from comment #1) dozens of ports needs to be patched. However, I've almost complete this job on my machine :)
BTW, Eigen 5.0.x is not a different package but still Eigen3 release 5.0
(In reply to Dima Panov from comment #2) > dozens of ports needs to be patched. > However, I've almost complete this job on my machine :) Great! Thank you!
(In reply to Dima Panov from comment #3) I'm not entirely sure about this statement, in fact, the upstream did indicated a few breaking changes at https://gitlab.com/libeigen/eigen/-/releases/5.0.0 ...
(In reply to Xin LI from comment #5) Im my journey with Eigen3 5.0.1 almost all consumers needs only library checks to be patched, sometimes provide extra path too includes. I'll publish my patchset soon to wide test