Package: libfplll-dev
Version: 5.1.0-2
Severity: important
Dear Maintainer.
It appeares that the strategies default path and file is set up via the
macros
FPLLL_DEFAULT_STRATEGY[_PATH|] in fplll/Makefile.am .
This set up affect fplll only at building time via the fplll/defs.h
header which
distributed within libfplll-dev . Therefrom, any software built against
libfplll3
will have as strategies default path and file the default ones set up in
fplll/defs.h , namely, an empty string.
The best option may be to set the macro in the fplll/config_fplll.h
which is
distributed and included by fplll/def.h . Accordingly, it is an
upstream issue.
Best whishes,
Jerome
-- System Information:
Debian Release: Stretch*
APT prefers stable
APT policy: (990, 'stable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 4.9.30-0211-amd64-mbp62 (SMP w/4 CPU cores)
Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8), LANGUAGE=en_GB:en
(charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: sysvinit (via /sbin/init)
Versions of packages libfplll-dev depends on:
ii libfplll3 5.1.0-2
ii libgmp-dev 2:6.1.2+dfsg-1
ii libmpfr-dev 3.1.5-1
libfplll-dev recommends no packages.
libfplll-dev suggests no packages.
-- no debconf information
--
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
