Skip to content

Aarno-Labs/tenjin

Repository files navigation

Tenjin

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

Status: embryonic

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

About

A tool suite for translating C to safe Rust (early days!)

Resources

Stars

Watchers

Forks

Contributors 4

  •  
  •  
  •  
  •