libgap: add a clean way to disable loading init.g
(i.e. set SyLoadSystemInitFile
to 0)
#5890
Labels
topic: libgap
things related to libgap
This is needed by GAP.jl (which currently does it by "manually" poking 0 into
SyLoadSystemInitFile
), and also logically makes sense.One way would be to add an argument
BOOL dontLoadInitFile
or so toGAP_Initialize
(or its reverse).Another would be to split this out from
GAP_Initialize
completely, i.e.GAP_Initialize
never loadsinit.g
, instead a second API is added to do it. That second call would could needed anyway. For reference, GAP.jl handles this part as follows right now:which is based on what the GAP kernel itself does right now:
I intend to eventually work on this, but for now have other priorities, so I am putting this here to (a) not forget, and (b) just in case someone else is interested in tackling this.
The text was updated successfully, but these errors were encountered: