[GAP Forum] GAP installation on Ubuntu?

[Bill Allombert]

On Tue, Nov 16, 2010 at 12:00:26AM +0000, Alexander Konovalov wrote:
> > On Mon, Nov 15, 2010 at 05:56:04PM -0500, R. Keith Dennis wrote:
> >> Hi.  It seems that the GAP installation built-in to Ubuntu isn't complete
> >> - not all packages are there (and the directory structure might be a little
> >> different). 
> > 
> > This is true. Packaging everything is a lot of work and some packages have
> > problematic licenses or depends on other packages with problematic licenses.
> > 
> >> Is there a standard way to add other packages to an Ubuntu installation?
> > 
> > Two actually: you can install them in /usr/local/share/gap, /usr/local/lib/gap
> > or in $HOME/gap.
> 
> Additionally, the GAP manual explains how to use multiple root directories here
> 
> http://www.gap-system.org/Manuals/doc/htm/ref/CHAP009.htm#SECT002
> 
> (this is probably the mechanism used in the Debian GAP packages?)

Yes, GAP_LIB is set in the gap script to
GAP_LIB="$HOME/gap;/usr/local/lib/gap;/usr/local/share/gap;/usr/lib/gap;/usr/share/gap;"
and it does
gap.real -l "$GAP_LIB" 

Cheers,
Bill.