Compilation fails on static new-flavor version of fplll even though configure runs thru fine (from gforge #13695)
Imported issue: Initially reported by @x-CLaute in https://gforge.inria.fr/tracker/?group_id=1015&aid=13695
On a system with fplll in its newer library flavor (3.1.3) but with no dynamic libraries installed, compilation fails with the following error even though configure runs thru fine:
/users/Enseignants/lauter/sollya/final/sollya-weekly-12-04-2011/fpminimax.cpp:855: undefined reference to `fplll::wrapper::wrapper(fplll::ZZ_mat<__mpz_struct [1]>*, int, double, double, bool)'
/users/Enseignants/lauter/sollya/final/sollya-weekly-12-04-2011/fpminimax.cpp:856: undefined reference to `fplll::wrapper::LLL()'
/users/Enseignants/lauter/sollya/final/sollya-weekly-12-04-2011/fpminimax.cpp:896: undefined reference to `fplll::wrapper::~wrapper()'