Le mardi 13 août 2024 à 15:54 +0500, Andrey Rakhmatullin a écrit : > On Tue, Aug 13, 2024 at 12:15:22PM +0200, > julien.pu...@gmail.com wrote: > > And of course, this is where I came to my wits' end: I can compile > > the > > new elpi successfully... but I have no way to install this new elpi > > binary packages in the schroot to test it against different coq- > > elpi! > > Yes, the usual recommendations are "unpack and try pointing to it via > stuff like LD_LIBRARY_PATH, hopefully such stuff exists for your > case".
It doesn't: it's a mix of languages. C, OCaml, elpi and Coq I would say. > Consider using local qemu chroots instead. > I'd like a one-page easy-to-use tutorial on this. In fact, my question/proposition was to have scripts making it trivial to use. > > dd-cross-schroot-cmd -s $sessionid -a $targetarch apt-get install > > ./*foo*_3.14-159_$targetarch.deb > > This still runs random code as root. > I don't think running random code as root in a virtual environment I'm going to delete before the end of the day is a security issue. Cheers, J.Puydt
