• Make sure you have Git installed in your system.
  • Make sure you have Python 2.7.x installed in your system.
  • Make sure you have Visual Studio installed in your system.
  • Open "Git Bash", and copy the Z3 repository using the command:
git clone https://git01.codeplex.com/z3

This command will create the directory "z3" with all the source code.
  • For Z3 (64 bits), open the Visual Studio x64 Command Prompt, and execute the following commands:
python scripts/mk_make.py -x
cd build
nmake
  • For Z3 (32 bits), open the Visual Studio Command Prompt, and execute the following commands:
python scripts/mk_make.py
cd build
nmake
  • All libraries, executables, Python bindings are going to be located in the "build" directory.
  • To build the example applications, execute
nmake examples

Last edited Dec 20, 2012 at 12:11 AM by leodemoura, version 2

Comments

No comments yet.