mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

removed foci instructions

Browse source
This commit is contained in:
Ken McMillan 2013-11-05 13:58:44 -08:00
parent d8972d4b17
commit 9f78c454c9
1 changed files with 4 additions and 21 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
README
View file

@ -3,43 +3,26 @@ Z3 is licensed under MSR-LA (Microsoft Research License Agreement).
See http://z3.codeplex.com/license for more information about this license. See http://z3.codeplex.com/license for more information about this license.
Z3 can be built using Visual Studio Command Prompt and make/g++. Z3 can be built using Visual Studio Command Prompt and make/g++.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
This is the interpolating branch. Build instruction differ from the
main branch. Please read carefully.
Interpolation depends on the Cadence foci2 library obtainable from
here:
http://www.kenmcmil.com/foci2/
Download the appropriate files for your operating system and
architecture. Note, the default Z3 build on intel architecture
is x86, not x64, so you need the 32-bit version of foci2.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1) Building Z3 on Windows using Visual Studio Command Prompt 1) Building Z3 on Windows using Visual Studio Command Prompt
python scripts/mk_make.py -f <full\path\to\libfoci.lib> python scripts/mk_make.py
cd build cd build
nmake nmake
copy <full\path\to\libfoci.dll> libfoci.dll
2) Building Z3 using make/g++ and Python 2) Building Z3 using make/g++ and Python
Execute: Execute:
python scripts/mk_make.py -f <full/path/to/libfoci.so> python scripts/mk_make.py
cd build cd build
make make
sudo make install sudo make install
Then put libfoci.so somewhere in your LD_LIBRARY_PATH.
By default, it will install z3 executable at PREFIX/bin, libraries at PREFIX/lib, and include files at PREFIX/include, By default, it will install z3 executable at PREFIX/bin, libraries at PREFIX/lib, and include files at PREFIX/include,
where PREFIX is the installation prefix used for installing Python in your system. where PREFIX is the installation prefix used for installing Python in your system.
It is usually /usr for most Linux distros, and /usr/local for FreeBSD. It is usually /usr for most Linux distros, and /usr/local for FreeBSD.
Use the following commands to install in a different prefix (e.g., /home/leo) Use the following commands to install in a different prefix (e.g., /home/leo)
python scripts/mk_make.py --prefix=/home/leo -f <full/path/to/libfoci.so> python scripts/mk_make.py --prefix=/home/leo
cd build cd build
make make
make install make install
@ -54,7 +37,7 @@ To uninstall Z3, use
4) Building Z3 using clang and clang++ on Linux/OSX 4) Building Z3 using clang and clang++ on Linux/OSX
Remark: clang does not support OpenMP yet. Remark: clang does not support OpenMP yet.
CXX=clang++ CC=clang python scripts/mk_make.py -f <full/path/to/libfoci.so> CXX=clang++ CC=clang python scripts/mk_make.py
cd build cd build
make make