On Tue, Aug 13, 2024 at 12:15:22PM +0200, julien.puydt@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". Consider using local qemu chroots instead. > dd-cross-schroot-cmd -s $sessionid -a $targetarch apt-get install > ./*foo*_3.14-159_$targetarch.deb This still runs random code as root. -- WBR, wRAR
Attachment:
signature.asc
Description: PGP signature