Bug#879597: libflint-dev: No static library included

[Gard Spreemann]

Package: libflint-dev
Version: 2.5.2-15
Severity: minor

Dear Maintainer,

The FLINT library supports building a static library. This
upstream-default is explicitly disabled in the Debian package,
seemingly for no reason.

Could the --disable-static configure option be removed? A static
library would be convenient for those of us who need to build
statically linked programs using FLINT.


 Regards,
 Gard Spreemann

-- System Information:
Debian Release: 9.2
  APT prefers stable-updates
  APT policy: (500, 'stable-updates'), (500, 'stable')
Architecture: amd64 (x86_64)

Kernel: Linux 4.9.0-4-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_IE.UTF-8, LC_CTYPE=en_IE.UTF-8 (charmap=UTF-8), LANGUAGE=en_US:en (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages libflint-dev depends on:
ii  libflint-2.5.2  2.5.2-15
ii  libmpfr-dev     3.1.5-1

libflint-dev recommends no packages.

libflint-dev suggests no packages.

-- no debconf information