configure: rename --with-gmp_include and --with-gmp_library to --with-gmp-include...
tree6cd42f24bbd277e0485d13b46111f0e44fb8c2a9
-rw-r--r-- 15008 LICENSE
-rw-r--r-- 4237 Makefile.am
-rw-r--r-- 8826 README
drwxr-xr-x - autoconf
-rwxr-xr-x 74 autogen.sh
-rw-r--r-- 9238 configure.in
drwxr-xr-x - doc
drwxr-xr-x - examples
drwxr-xr-x - include
drwxr-xr-x - source
drwxr-xr-x - test