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)
commitd0a0ca7869627de50a08998e1336ab39168913ec
treed8b09e4d6e8c0eb0f72be25f4d6179dbdae9f2c1
parent0921387ce97934bb4692a168bb8ce009e4a9871b
Fix configure when we don't have a gmp library
libraries/integer-gmp/configure.ac