K 10 svn:author V 5 lwhsu K 8 svn:date V 27 2009-03-14T07:12:04.000000Z K 7 svn:log V 144 - Add --with-gmp configuration option for performance improvement PR: ports/132103 Submitted by: Yoshiaki Uchikawa END