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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
