Skip to content

Commit

Permalink
Update readme with minor wording and grammatical fixes (#134)
Browse files Browse the repository at this point in the history
  • Loading branch information
jennycpero authored Oct 1, 2022
1 parent 81435f6 commit 33cfafd
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ to contribute to

The best place to follow ante's development is in the official discord: https://discord.gg/BN97fKnEH2.
There is also the mostly inactive subreddit at [/r/ante](https://reddit.com/r/ante) which is mainly used for questions about the language rather
than development updates. You can also feel to file issues or ask questions on this repository.
than development updates. You can also feel free to file issues or ask questions on this repository.

---

Expand Down Expand Up @@ -119,7 +119,7 @@ or `llvm-config`
##### CMake
If the above steps don't work for you, you can try [building llvm from source
with cmake](https://www.llvm.org/docs/CMake.html). If you're on windows this
with cmake](https://www.llvm.org/docs/CMake.html). If you're on windows, this
requires you to have Visual Studio 2017 or later installed already.
```
Expand All @@ -129,9 +129,9 @@ $ cd llvm-build
$ cmake ../llvm-project/llvm
```
At this point, cmake may error that it failed to find z3, or the windows SDK in
At this point, cmake may show an error that it failed to find z3 or the windows SDK, in
which case you may need to install them. For the windows SDK, you can install it
via the Visual Studio Installer (under Modify -> Individual Components). I used
via the Visual Studio Installer (under **Modify -> Individual Components**). I used
version 10.0.17763.0, though it is likely newer versions will work as well. Rerun
the last cmake command to test that everything is installed right. Once this is
done, move on to compiling llvm and ante:
Expand Down

0 comments on commit 33cfafd

Please sign in to comment.