Hi David, On Thu, May 24, 2012 at 06:40:07PM +0200, David Kalnischkies wrote: > On Thu, May 24, 2012 at 4:10 PM, Ralf Treinen > <[email protected]> wrote:
> > to test external solvers. When trying to dump the EDSP request I got > > the following. A file /tmp/dump.edsp was produced. > > > > debian:/home/treinen# apt-get --solver dump dist-upgrade > > Reading package lists... Done > > Building dependency tree > > Reading state information... Done > > *** glibc detected *** apt-get: double free or corruption (!prev): > > 0x084cba18 *** > > Mhh, works here with 0.9.3 as well as 0.9.5. > Can't say that i am testing it regularly though > as all "interesting" solvers do not like multiarch yet > (as cudf doesn't like it). This is precisely what we are working on. In fact, multiarch will be supported through the translation from debian to CUDF. So the CUDF solvers will not have to know how multiarch works, everything is hidden in the translation. The version of apt-cudf in experimental (2.9.16~rc1-1) should do that, but this is still experimental ... > Does other solvers fail, too? > Does dump fail if you call him directly? I just tried again on the same machine, and sure enough I could not reproduce the error. I will keep an eye on it. Anyway I had seen that error yesterday only on the dump pseudo-solver, not on the other ones I had tried. How does one invoke directly the dump solver? Cheers -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ =====> New email address: [email protected] <===== -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
