Fix configure when we don't have a gmp library
authorIan Lynagh <igloo@earth.li>
Tue, 1 Jan 2013 18:41:51 +0000 (18:41 +0000)
committerIan Lynagh <igloo@earth.li>
Tue, 1 Jan 2013 18:41:51 +0000 (18:41 +0000)
commitd86166d5ca901eb339c4f1f5aca4d636ee86d91f
tree480bd1eefc82550ae9654bc636588d8f7c1dd412
parent2cf2423a0c0c1e6495812467deee4df0cb4320fa
Fix configure when we don't have a gmp library
configure.ac