configure: replace --with-gmp-{include,library} with --with-gmp-{,exec-}prefix
commit0132fd99e8122e145c525814854f8a951daacee8
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 1 Jan 2010 17:29:20 +0000 (1 18:29 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 1 Jan 2010 17:29:20 +0000 (1 18:29 +0100)
tree5068b0b36bc1f31cb26090650972446e9e3ecea8
parent0e034ff9973071a82a211b1377ba03eb91a7fe22
configure: replace --with-gmp-{include,library} with --with-gmp-{,exec-}prefix
configure.in