K 10
svn:author
V 7
thierry
K 8
svn:date
V 27
2014-02-25T20:16:29.468233Z
K 7
svn:log
V 86
Fix configure for default case.

${opt}_CONFIGURE_WITH does not work as I expected...

END