[GAP_pkg_juliainterface] Rebuild with GAP 4.15.0 - #11989
Conversation
|
Uhh, I think that's a fallout of recent changes meant to help improve compatibility with Mingw / Windows. Anyway, as a quick workaround, we could apply a patch here to change |
You mean in Gap or BinaryBuilder? Today I did run into an issue caused by us fixing the MinGW header files (we had been incorrectly loading the v7 ones for ages, when we had the v11 available: #11878 (comment)), but at a quick glance the error above feels completely different. |
In gap.
The main thing I was confused about is that this is somehow just needed here in yggy, but not in the gap downstream tests (e.g. https://github.com/gap-system/gap/actions/runs/17328521155/job/49198671037#step:8:346). But due to this fact, my other question if this should be an yggy patch or a change to the juliainterface code is resolved (to the former option). I was also thinking that similar issues could happen for other gap packages with kernel extensions (at least in yggy; and patching all includes in all of them doesn't seem to be a great solution to me) |
I just read through gap-system/gap#6007 and iiuc this should only affect gap kernel extensions that include specific headers (and not |
d648060 to
dded09a
Compare
[skip build]
d648060 to
dded09a
Compare
|
Closing as this has conflicts with the versioning scheme in #12032. I instead incorporated the commits there. |
Companion to #11987.
I am getting the following build failure locally:
I remebember seeing discussions about gap headers somewhere, but I don't find it anymore nor is there something in the release notes. This could also be related to #11987 (comment). @fingolfin do you have an idea what's going on here?