If the repo submodule appears to be empty or out of date, you may need to run git submodule update --init path/to/repo.
$ intercept-build make
$ c2rust transpile compile_commands.json --emit-build-files -b main --output-dir rust
$ cd rust
$ cargo build