<div class="gmail_extra">On Mon, Dec 10, 2012 at 10:47 PM, Christoph Egger <span dir="ltr"><<a href="mailto:christoph@debian.org" target="_blank">christoph@debian.org</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div id=":v3"> ./configure --build x86_64-linux-gnu \<br>
--prefix=/usr --mandir=\${prefix}/share/man \<br>
--infodir=\${prefix}/share/info \<br>
--with-system-gmp=yes \<br>
--with-tcp \<br>
--with-clx \<br>
--enable-threads=yes \<br>
--enable-boehm=system \<br>
--with-x</div></blockquote></div><div><br></div><div>How up-to-date is your system? How can I reproduce this? I just installed a fresh new Debian unstable and do not obtain these results.</div><div><br></div><div>
I also see that you are linking to an automated build, which makes me suggest you are using some patched version of ECL -- this used to be the situation with Debian in the past. Is this true?</div><div><br></div><div>I am also surprised by the list of recorded dependencies for ECL:</div>
<div><pre style="color:rgb(0,0,0)"> autoconf{a} automake1.9{a} autotools-dev{a} bsdmainutils{a} chrpath{a}
debhelper{a} file{a} gettext{a} gettext-base{a} groff-base{a}
html2text{a} install-info{a} intltool-debian{a} libasprintf-dev{a}
libasprintf0c2{a} libatomic-ops-dev{a} libcroco3{a} libffi5{a}
libgc-dev{a} libgettextpo-dev{a} libgettextpo0{a} libglib2.0-0{a}
libgmp-dev{a} libgmpxx4ldbl{a} libmagic1{a} libncurses5-dev{a}
libpcre3{a} libpipeline1{a} libsigsegv2{a} libtinfo-dev{a}
libunistring0{a} libxml2{a} m4{a} man-db{a} po-debconf{a}
sbuild-build-depends-ecl-dummy texinfo{a}
</pre></div><div><br></div><div>ECL is definitely _not_ making use of xml, gettext, html2text, ncurses or libmagic1</div><div><br></div><div>Best,</div><div><br></div><div>Juanjo</div><div><br></div>-- <br>Instituto de Física Fundamental, CSIC<br>
c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>
</div>