Skip to content

Commit

Permalink
Update Cairo Native Setup section
Browse files Browse the repository at this point in the history
  • Loading branch information
JulianGCalderon committed Jul 8, 2024
1 parent b2c22b7 commit 2551ca3
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -42,11 +42,12 @@ make test

Starknet Replay is currenlty integrated with [Cairo Native](https://github.com/lambdaclass/cairo_native), which makes the execution of sierra programs possible through native machine code. To use it, the following needs to be setup:

- LLVM `18` needs to be installed and the `MLIR_SYS_180_PREFIX` and `TABLEGEN_180_PREFIX` environment variable needs to point to said installation. In macOS, run
- On mac with brew, running `make deps` should have installed LLVM 18 with MLIR, otherwise, you must install it manually. On Debian, you can use `apt.llvm.org`, or build it from source.

- The `LLVM_SYS_180_PREFIX`, `MLIR_SYS_180_PREFIX` and `TABLEGEN_180_PREFIX` environment variable needs to point to said installation. In macOS, run:
```
brew install llvm@18
export MLIR_SYS_180_PREFIX=/opt/homebrew/opt/llvm@18
export LLVM_SYS_180_PREFIX=/opt/homebrew/opt/llvm@18
export MLIR_SYS_180_PREFIX=/opt/homebrew/opt/llvm@18
export TABLEGEN_180_PREFIX=/opt/homebrew/opt/llvm@18
```
and you're set.
Expand Down

0 comments on commit 2551ca3

Please sign in to comment.