allow specification of GMP prefix
[ppcg.git] / m4 / 
tree14f08b6de6f0475986b4b7b863e17033c64a6ad0
drwxr-xr-x   ..
-rw-r--r-- 805 ax_detect_git_head.m4
-rw-r--r-- 2158 ax_submodule.m4