JohnCremona/eclib — pull request #7 by SnarkBoojum (2014-08-27 18:52:14+00:00)
Title: Try to detect NTL more reliably

Ok, this patch does what we discussed today: it will refuse to compile when --without-ntl is given, and whether --with-ntl is given or not, it will try to check the correctness of the flags.

It doesn't do a very thorough check, but I can add more if you think it's worth it.