Created attachment 209790 [details]
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.
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?