Skip to content
This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

Latest commit

 

History

History
31 lines (20 loc) · 987 Bytes

InstallationGuide.md

File metadata and controls

31 lines (20 loc) · 987 Bytes
Raw

Installation Guide

In order to use MIRAI, you need to install Rust and then install MIRAI into cargo.

Installing Dependencies

Please ensure that all of the following dependencies are installed:

  • Rust using rustup. You can find the installation instructions here.
  • Cmake. The installation instructions can be found here.
  • Clang. The installation instructions can be followed here.

Installing MIRAI into cargo

The best way to install MIRAI into cargo is to clone the MIRAI repository:

git clone https://github.com/facebookexperimental/MIRAI.git
cd MIRAI

Then build and install MIRAI into cargo:

cargo install --locked --path ./checker

Contributing to MIRAI

If you want to help develop MIRAI see the developer guide