Failed to build c2rust from source code in docker

[gong208]

Hi! The examples in the repo are really helpful. However, when I tried to build c2rust according to the steps in the manual in the docker container, I met these issues:

The command was run in the ubuntu:bionic docker container. Any idea would be helpful. Thanks!

[fw-immunant]

This seems to be a problem with the toolchain, not c2rust itself. I see similar reports here. That said, this should definitely not be happening with our in-repo Dockerfile.