mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Revert "doc: update readme (#5898)" (#5905)

Browse source 
This reverts commit 313b87f3c6.
This commit is contained in:
Chaoqi Zhang 2022-03-21 02:21:11 +08:00 committed by GitHub
parent 9061ca58f1
commit 3439d2407b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show stats 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: then:
```bash ```bash
mkdir build && cd build cd build
nmake nmake
``` ```
@ -54,7 +54,7 @@ Execute:
```bash ```bash
python scripts/mk_make.py python scripts/mk_make.py
mkdir build && cd build cd build
make make
sudo make install sudo make install
``` ```
@ -86,7 +86,7 @@ the ``--prefix=`` command line option to change the install prefix. For example:
```bash ```bash
python scripts/mk_make.py --prefix=/home/leo python scripts/mk_make.py --prefix=/home/leo
mkdir build && cd build cd build
make make
make install make install
``` ```