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.
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.