| commit | 6b97c701264abc1f04a34824dcc83251e076d3e1 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 25 Jun 2013 17:23:43 +0000 (25 19:23 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 25 Jun 2013 17:23:43 +0000 (25 19:23 +0200) | ||
| tree | 9f60a14f5f1e9d9fec8173474a81def93e8c03b2 | treesnapshot (tar.gz zip) |
| parent | fa1b3f942e1a58b3ac6256f293a6b3ebe86df8a1 | commitdiff |
configure.ac: replace --with-libgmp option by --with-gmp-prefix
This naming is more consistent with isl and pet.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This naming is more consistent with isl and pet.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| README | diffblobblamehistory | |
| configure.ac | diffblobblamehistory |