Jan Vroonhof <vroonhof(a)math.ethz.ch> writes:
> -./configure '--with-mule'
'--site-includes=/usr/local/include' '--site-libraries=/usr/local/lib'
'--with-xface' '--with-gnu-make'
This --with-xface is suspect as usual. Maybe this leads to some subtle
configure failure.
'Never force onto ./configure what configure can force onto you'
(chinese proverb).
Because of Martin's invisible hand is there.