oscar-system
Using GAP.jl with a different version of GAP than what `GAP_jll` provides
The recipe from the section "Using GAP.jl with a different version of GAP than what GAP_jll provides" in etc/README.md works,
except that GAP cannot load some GAP packages:
For the packages browse, ferret, and orb, the availability test calls IsKernelExtensionAvailable, and this returns false.
More precisely, the .so file in question is found but IS_LOADABLE_DYN returns false.
Can you provide a few more details about your setup? In particular interesting would be Base.BinaryPlatforms.host_triplet(), the version of all jlls in your environment (i.e. GAP.Packages.versioninfo) and which git revision of gap you were pointing to in setup_override_dir.jl
This problem is to be expected: the GAO kernel version changed from 4.14 to 4.15 due to ABI changes, and kernel extensions built against a different kernel version refuse to load
This problem is to be expected: the GAO kernel version changed from 4.14 to 4.15 due to ABI changes, and kernel extensions built against a different kernel version refuse to load
I thought that we worked (or rather hacked) around that in the setup_override_dir.jl, but after checking again, we apparently only do it on macos (see https://github.com/oscar-system/GAP.jl/blob/97ce7974866cff4180e82c89285d5aed4577b8a7/etc/setup_override_dir.jl#L140)
This problem is to be expected: the GAO kernel version changed from 4.14 to 4.15 due to ABI changes, and kernel extensions built against a different kernel version refuse to load
I had taken a GAP master branch version, compiled it with the --with-julia option, and then created a kernel extension of Browse w.r.t. this GAP.