Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
Hatsunespica authored Nov 25, 2023
1 parent 234dd6f commit 3885c97
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,7 @@ sudo make install
Building LLVM
--------
```
# the LLVM version when releasing this artifact: 024718313b526a4530d7cd58886fcc157247e0ff
git clone https://github.com/llvm/llvm-project.git
cd llvm-project
mkdir build
Expand All @@ -46,6 +47,8 @@ mkdir build
cd build
cmake -GNinja -DCMAKE_PREFIX_PATH=~/GitRepo/llvm-project/build -DBUILD_TV=1 -DCMAKE_BUILD_TYPE=Release ..
ninja
# We need this path when performing benchmarks
export PATH=$PATH:$PWD
```

If CMake cannot find the Z3 include directory (or finds the wrong one) pass
Expand Down

0 comments on commit 3885c97

Please sign in to comment.