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 is managed by dpkg. GAP looks for packages based on environment variable GAP_LIB, which can be set to a ';' seperated list of "gap root directories". On Debian the default setting (in /usr/bin/gap) is GAP_LIB="$HOME/gap;/usr/local/lib/gap;/usr/local/share/gap;/usr/lib/gap;/u sr/share/gap;" As far as I can tell, where the original poster put it _should_ work. Unfortunately I don't know anything about that particular gap package; the installation instructions do mention some configuration and a shell script to start the daemon. David -- To UNSUBSCRIBE, email to debian-science-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/87sjc8vqqo.fsf@zancas.localnet
