Hi,I discussed the issue with upstream, and the configure script is supposed to actually check for pclmul support, so it would be interesting for upstream to know if there's something wrong with the detection.
In any case, for the debian package I shall just disable pclmul forcibly, so I'll be able to close that bug.
Snark on #debian-science -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
