detect missing gmp.h or missing/old gmp library during configure
[isl.git] / m4 / 
treea61258eb593d1d51316a4c64e2a27ad30525db39
drwxr-xr-x   ..
-rw-r--r-- 2551 ax_c___attribute__.m4
-rw-r--r-- 7459 ax_cc_maxopt.m4
-rw-r--r-- 6276 ax_cflags_warn_all.m4
-rw-r--r-- 3283 ax_check_compiler_flags.m4
-rw-r--r-- 3110 ax_compiler_vendor.m4
-rw-r--r-- 14445 ax_create_pkgconfig_info.m4
-rw-r--r-- 25616 ax_create_stdint_h.m4
-rw-r--r-- 790 ax_detect_git_head.m4
-rw-r--r-- 8972 ax_gcc_archflag.m4
-rw-r--r-- 2515 ax_gcc_warn_unused_result.m4
-rw-r--r-- 3299 ax_gcc_x86_cpuid.m4
-rw-r--r-- 698 ax_set_warning_flags.m4
-rw-r--r-- 1966 ax_submodule.m4