GAP: local package installation

2012-07-30 Thread Jerome BENOIT
Hello List: Since a while, I am trying to install teh GAP SCSCP package on my Wheezy as local package. I unpacked the tar ball in /usr/local/share/gap/pkg folder, but I cannot load it from gap: is there any further action to do besides this unpacking. Thanks in advance, Jerome -- Jerome

Re: GAP: local package installation

2012-07-30 Thread Andreas Tille
On Mon, Jul 30, 2012 at 09:04:50PM +0200, Jerome BENOIT wrote: Since a while, I am trying to install teh GAP SCSCP package on my Wheezy as local package. I unpacked the tar ball in /usr/local/share/gap/pkg folder, but I cannot load it from gap: is there any further action to do besides this

Re: GAP: local package installation

2012-07-30 Thread Rupert Swarbrick
Andreas Tille andr...@an3as.eu writes: On Mon, Jul 30, 2012 at 09:04:50PM +0200, Jerome BENOIT wrote: Since a while, I am trying to install teh GAP SCSCP package on my Wheezy as local package. I unpacked the tar ball in /usr/local/share/gap/pkg folder, but I cannot load it from gap: is there

Re: GAP: local package installation

2012-07-30 Thread David Bremner
Rupert Swarbrick rswarbr...@gmail.com writes: As such, I suspect you want to untar it in /usr/share/gap/pkg/, which is the pkg subdirectory for Debian's GAP installations. Note: I haven't tried this. You should never install things into /usr unless you _really_ know what you are doing. /usr

Re: GAP: local package installation

2012-07-30 Thread Jerome BENOIT
Hi ! On 30/07/12 22:36, Rupert Swarbrick wrote: Andreas Tilleandr...@an3as.eu writes: On Mon, Jul 30, 2012 at 09:04:50PM +0200, Jerome BENOIT wrote: Since a while, I am trying to install teh GAP SCSCP package on my Wheezy as local package. I unpacked the tar ball in /usr/local/share/gap/pkg