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

updated README

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-30 11:29:07 -07:00
parent 0289a58d8a
commit 01d784b557
1 changed files with 9 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
README
View file

@ -4,14 +4,10 @@ See http://z3.codeplex.com/license for more information about this license.
Z3 can be built using Visual Studio Command Prompt and make/g++.
1) Building Z3 on Windows using Visual Studio Command Prompt
a) If you a source distribution that comes with pre-generated 'build' directory,
then go to step c)
b) Execute
python scripts/mk_make.py
c) Execute
cd build
nmake
python scripts/mk_make.py
cd build
nmake
2) Building Z3 using make/g++ and Python
Execute:
@ -23,11 +19,13 @@ Execute:
make
sudo make install
It will install z3 executable at /usr/local/bin, libraries at /usr/local/lib, and include files at /usr/local/include.
Use the following commands to install in a different prefix (e.g., /usr).
It will install z3 executable at /usr/bin, libraries at /usr/lib, and include files at /usr/include.
You can change the installation p
Use the following commands to install in a different prefix (e.g., /home/leo).
autoconf
./configure --prefix=/usr
./configure --prefix=/home
python scripts/mk_make.py
cd build
make