Cannot compile examples for Raspberry Pi Pico

[m1cha1s]

When I try to compile the any example with the commands specified in README it fails with this.

[alexandruradovici]

We do not yet support libtock-rs for the Raspberry Pi Pico. From what I can read in the error, it seems that you are missing the armv6 toolchain.

Please try adding it using rustup target add thumbv6m-none-eabi before running cargo.

[jrvanwhy]

Looks to me like we do support the Raspberry Pi Pico: https://github.com/tock/libtock-rs/blob/master/runtime/layouts/raspberrypi_pico.ld

[alexandruradovici]

It used to build when I added it, but I think I had the armv6 toolchain already installed.

[tommy4111]

Got this failures after doing rustup target add thumbv6m-none-eabi
dump.txt. Any ideas?

error: could not compile syn due to previous error__

[jrvanwhy]

We look at the target architecture to determine whether we are building for the host or an embedded target... which is incorrect and will fail if your host system is ARM (as it is).

To be clear: the underlying bug is our build is broken when compiling on an ARM host, not that the build is broken when compiling for the Raspberry Pi Pico target.

I'm not sure if there's a better way to solve this other than making the target selection in .cargo/config pickier.