On 04/12/2017 08:46 AM, Tobias Hansen wrote: >>> The check for fplll is in debian/pruner/configure.ac: >>> >>> AC_LANG_PUSH([C++]) >>> AC_CHECK_HEADER(fplll/fplll.h, HAS_FPLLL="True", HAS_FPLLL="False") >>> AC_LANG_POP([C++]) > > This check does not find the header for some reason: > > checking fplll/fplll.h usability... no > checking fplll/fplll.h presence... no > checking for fplll/fplll.h... no > > However the file exists in the backported libfplll-dev package. Not sure > yet what's the problem.
You should be able to see what's happening in debian/pruner/config.log. Best, Tobias

