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


Debian GAP Policy
Chapter 4 - 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 ] [ 7 ] [ next ]


Debian GAP Policy

version 0.1, 5 novembre 2022

Bill Allombert mailto:ballombe@debian.org