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