Created attachment 209790 [details] patch
Hello, did you test all the ports that depend on devel/isl? Last time I checked some of them were failing to build with this new version. I didn't have the time to check them though.
If math/barvinok was failing this is ok because it needs to be updated. If gcc-related ones are failing then I don't know. I've rebuilt devel/isl math/cloog math/barvinok dependencies successfully.
Any progress?
Created attachment 213105 [details] Replace pathfix by pkgconfig + add math to CATEGORIES Note: SageMath requires isl > 0.20.
I tried building this. Everything went fine except for math/barvinok (it is marked IGNORE) and devel/gcc-arm-embedded (despite having 16 Gb RAM, the build eventually failed due to out of memory). I think, this can be committed and the breakage, if happen, dealt later.
@danilo: if for some reason you need to keep this port at 0.19, could we have it repocopied to devel/isl-legacy, and let this port be upgraded?
devel/gcc-arm-embedded COULD be built with isl 0.22 without problems. Technically. But there is one caveat: I'm trying to have this port in state when it produces bit-to-bit same results as official Linux, MacOS X and Windows binaries (it could be important for embedded development, it is why full toolchain is crammed into one port and it is difference between this port and devel/gcc built for same target). Official binaries are still built with isl 0.18. I'm not sure, will this update affect produced code in some corner cases or not. I can not find any difference for simple examples and libraries, but I cannot guarantee that there aren't any difference in all cases for all inputs. I'm not sure, what to do :)
(In reply to Lev A. Serebryakov from comment #7) I digged into configure scripts and it seems that it is possible to use bundled isl when building devel/gcc-arm-embedded. Maybe we should look into that.
(In reply to Gleb Popov from comment #8) Or as I wrote in a previous comment, it may be safer to fork this port: - devel/isl-legacy or devel/isl-19 to keep this version as long as needed; - devel/isl to follow upstream.
(In reply to Gleb Popov from comment #8) Oh, they added libraries back! I need to turn-on "PURE" option back, and then it is Ok for me to update isl!
Bundled libraries was discontinued in previous releases and I did not noticed, that they came back. So, `devel/gcc-arm-embedded` doesn't need separate legacy isl port! Thank you!
A commit references this bug: Author: arrowd Date: Fri Jun 5 18:52:31 UTC 2020 New revision: 538047 URL: https://svnweb.freebsd.org/changeset/ports/538047 Log: devel/isl: update to 0.22 PR: 242509 Submitted by: thierry Approved by: danilo (maintainer timeout) Changes: head/devel/isl/Makefile head/devel/isl/distinfo head/devel/isl/pkg-plist