Bug#870698: libfplll-dev: FPLLL_DEFAULT_STRATEGY[|_PATH] must be encoded in /u/i/fplll/fplll_config.h

[Jerome Benoit]

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