mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 19:05:51 +00:00
Code Activity

doc: update readme (#5898)

Browse source 
add the command to `mkdir build` first
This commit is contained in:
Chaoqi Zhang 2022-03-15 00:30:08 +08:00 • committed by GitHub
parent 545341e699
commit 313b87f3c6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
README.md
View file

@ -42,7 +42,7 @@ python scripts/mk_make.py -x
then:
```bash
cd build
mkdir build && cd build
nmake
```
@ -54,7 +54,7 @@ Execute:
```bash
python scripts/mk_make.py
cd build
mkdir build && cd build
make
sudo make install
```
@ -86,7 +86,7 @@ the ``--prefix=`` command line option to change the install prefix. For example:
```bash
python scripts/mk_make.py --prefix=/home/leo
cd build
mkdir build && cd build
make
make install
```