search

embray / gappy

Python interface to GAP
GNU General Public License v3.0
13 stars 5 forks source link

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

Open dimpase opened 5 months ago

dimpase commented 5 months ago

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 commented 4 months ago

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 commented 4 months ago

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