David Matthews <david.matth...@prolingua.co.uk> writes: > On 19/09/2012 12:06, Mark Wright wrote: >> Hi, >> >> Thanks for your great work on polyml 5.5. I'd like to >> bump polyml in Gentoo portage, however this one >> test fails in the test suite: >> >> ./configure --prefix=/usr --build=x86_64-pc-linux-gnu >> --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info >> --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib >> --libdir=/usr/lib64 --disable-dependency-tracking --with-x --with-gmp >> --without-portable --with-threads >> >> ... >> >> make tests >> >> ... >> >> Test071.ML => Failed!! > > Thanks for providing all the information and for your work on packaging > Poly/ML for Gentoo. This particular test is the one that detects > whether building the basis library has added a binding for "it". It > shouldn't really although it's largely innocuous and I went through the > library removing the cases where it did this but it seems I hadn't > tested with the optional X-Windows/Motif library. I've now fixed that > in SVN.
Hi David, Neat, thanks! > However this raises the question as to why you have included > the "with-x" option at all. Unless you have strong reasons to include > it I would recommend not building with this. I doubt that many users > will actually want the X-Windows system and building with this option > will introduce many unnecessary dependencies. On Gentoo we allow the users to configure with USE flags which options are selected. The polyml ebuild always had the X USE flag to control the -with-x option. Currently that means the X use flag is likely to be enabled on desktop machines, and disabled on server machines. Since you advise against it I'm wondering about removing it or somehow disabling it. > However, while I was testing this I discovered a much more serious > problem. It appears that --without-portable is actually being treated > as --with-portable by the configure script and the only way to build the > native code version is not to include the option at all. Again I've > fixed this in SVN trunk and if this tests out I'll probably port this to > the 5.5 fixes branch. Meanwhile though you need to avoid giving this > option. > > David I can help with the configure problem: http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/dev-lang/polyml/files/polyml-5.4.1-configure.patch?view=markup Thanks, Mark (resend to the list, sorry for the duplicate) _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml