You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently the only "automatic" way to find GAP_ROOT (to put in --with-gaproot, say) seems to be to parse the GAP start-up
script. Can this be provided somehow?
Might also simply package installation, as then --with-gaproot= would become unnecessary (or at least its value could be obtained by calling GAP).
One can also think of putting this info into something like pkg-config data.
Currently the only "automatic" way to find GAP_ROOT (to put in
--with-gaproot
, say) seems to be to parse the GAP start-upscript. Can this be provided somehow?
Might also simply package installation, as then
--with-gaproot=
would become unnecessary (or at least its value could be obtained by calling GAP).One can also think of putting this info into something like pkg-config data.
Possibly related to #4731.
The text was updated successfully, but these errors were encountered: