Tenjin

A tool for translating C to Rust, building upon c2rust.

Status: incomplete; in active development.

Installation

First, install Rust. On Linux, you'll also need either curl or wget. On Mac, we assume you already have Xcode tools installed, plus brew. Then:

1. Run cli/10j provision
   
   This will locally install compatible copies of the necessary prerequisites: LLVM/Clang, OCaml (for CodeHawk), make, ninja, unzip, etc. On Linux, it will also download a Debian sysroot to enable compilation using standard system libraries.

2. Add the cli directory to your $PATH to make using Tenjin easier.

3. Run 10j check-py to verify that the Python code in the repository does not need to be reformatted.

Next Steps

• User docs
• Developer docs

Acknowledgements

Development of Tenjin is being supported by the Defense Advanced Research Projects Agency (DARPA) under Agreement No. HR00112590129.