K 10
svn:author
V 4
tijl
K 8
svn:date
V 27
2015-11-11T13:12:02.910419Z
K 7
svn:log
V 121
- Pass --without-guile to configure when GUILE option is off
- Use CONFIGURE_WITH for other options as well

PR:		204041

END