Debian GAP Policy - Installation

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

# Debian GAP Policy
Chapter 3 - Installation

GAP packages should be installed in the `/usr/share/gap/pkg/$pkg` directory. Architecture dependent part of the package should go to `/usr/lib/gap/pkg/$pkg`. You can provide symlinks if this is necessary.

If your package include large (say around 1MB) datasets (library of groups, etc...), you should compress them (after checking GAP is able to automatically uncompress them) with `gzip --best` to save diskspace. Try to not compress source code files (`.g` files) if possible.

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy