On Mon, 18 Aug 2008, David Matthews wrote:
I would expect that very few people actually want Poly/ML with Motif and by building a package with it in you're adding dependencies on both lesstif and other X libraries. The current configure script only enables the X-windows/Motif code if all the libraries and headers are present on the machine and if the user has not specified --without-x. I was considering changing the default so that the user would have to explicitly specify --with-x to get the X-Windows/Motif code.
Indeed, the first thing I do when compiling Poly/ML is configure --without-x (libXm dependencies are really fragile).
The last time I say the X11/Motif interface being used was the first version of "XIsabelle" in 1996.
Makarius