Debian
coreutils package

  1. Bug #696618
  2. Comment #2

Comment 2 for bug 696618

Revision history for this message
C de-Avillez (hggdh2) wrote :

build of factor with GNU MP support is conditional (via configure): if the development files for GMP are available, then the code is compiled for it, otherwise no GMP extensions are used.

It seems all that is needed to be done is to add libgmp3-dev as a build-depends (the actual library package, currently libgmp3c2, will be automatically added as a run-time dependency); GMP is in main.

This, on the other hand, adds ~320k to the ISO (the new run-time dependency). I will open a bug on Debian (our upstream for coreutils).