I made a mistake in my previous post, sorry. My question is probably very simple to autoconf experts, however, I could not find the answer in the autoconf documentation. I need to include a check in configure.in to see if libgmp.a (the GNU bignum library) exists. And if it exists, the configure script has to do the following: 1) change one line in some header file (by sed, for example); 2) add the option '-lgmp' in makefiles, where binaries are compiled. The trouble is that a check like AC_CHECK_LIB(gmp, mpq_init) fails, because the header <gmp.h> should be included in a test program. However, it is unclear how to do that. Thank you, Andrew Makhorin _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx http://lists.gnu.org/mailman/listinfo/autoconf
