Summary: | devel/isl: Update 0.19 -> 0.22 | ||||||||
---|---|---|---|---|---|---|---|---|---|
Product: | Ports & Packages | Reporter: | Yuri Victorovich <yuri> | ||||||
Component: | Individual Port(s) | Assignee: | Yuri Victorovich <yuri> | ||||||
Status: | Closed FIXED | ||||||||
Severity: | Affects Only Me | CC: | arrowd, lev, thierry | ||||||
Priority: | --- | Flags: | bugzilla:
maintainer-feedback?
(danilo) |
||||||
Version: | Latest | ||||||||
Hardware: | Any | ||||||||
OS: | Any | ||||||||
Attachments: |
|
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 |
Created attachment 209790 [details] patch