GAP_ROOT treatment ought to follow what GAP's "make install" does

[dimpase]

Presently, with GAP providing some sort of working make install, the treatment of GAP_ROOT no longer suffices.
It splits installed things into ${prefix}/share/gap, where lib/ goes, and ${prefix}/lib/gap, where pkg/ go.

Both of these need to be passed as -l argument to gap (or the corresponding parameter of GAP_Initialize()).
And the syntax is weird, it's ;-separated list.

So the core needs an update, to allow GAP_ROOT to be such a ;-separated list.

[embray]

Are you sure you don't have those paths backwards? I would think pkg would go under /share

I didn't learn until today that GAP finally has a working make install. Will check it out!

[dimpase]

one way or another, it can be checked on a system, after make install is run (I mean, I might have mixed it up)