Open brghena opened 1 year ago
sudo apt install libpixman-1.0
Debian split its dev packages, so you probably need libpixman-1.0-dev
(or something like that)
- Figuring out why it behaves differently when run twice in a row
The script for some reason is detecting that you already have QEMU built (even though it failed) so it's continuing on. I guess the check there needs to be updated to catch this case and report an error
I confirm that worked. So libpixman-1.0-dev
is a requirement of the QEMU stuff, and therefore a requirement of libtock-rs as currently designed.
Why not split setup qemu into its own target? Right now if you don't want to set all of this up you can't use make setup
as the instructions indicate.
Something seems to be wrong with the QEMU setup. When I run
make setup
in a fresh libtock-rs installation, it fails the very first step (setup-qemu
) the first time I run it. The second time I run it though, it says everything is fine and continues on to the other steps. Afterwards though, runningmake qemu-example
also fails.I suspect that I'm missing some dependency for QEMU, but the important parts here are:
make setup
should block onsetup-qemu
succeedingSince the error is about
pixman
, I triedsudo apt install libpixman-1.0
, but that didn't change the situation.Here's the log:
First time
Second Time
Running qemu-example