From 9f78c454c969264d8f02e6516f3545255f6990cd Mon Sep 17 00:00:00 2001 From: Ken McMillan Date: Tue, 5 Nov 2013 13:58:44 -0800 Subject: [PATCH] removed foci instructions --- README | 25 ++++--------------------- 1 file changed, 4 insertions(+), 21 deletions(-) diff --git a/README b/README index 5e3f4d11d..1ca0cd577 100644 --- a/README +++ b/README @@ -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. 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 - python scripts/mk_make.py -f + python scripts/mk_make.py cd build nmake - copy libfoci.dll 2) Building Z3 using make/g++ and Python Execute: - python scripts/mk_make.py -f + python scripts/mk_make.py cd build make 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, 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. Use the following commands to install in a different prefix (e.g., /home/leo) - python scripts/mk_make.py --prefix=/home/leo -f + python scripts/mk_make.py --prefix=/home/leo cd build make make install @@ -54,7 +37,7 @@ To uninstall Z3, use 4) Building Z3 using clang and clang++ on Linux/OSX Remark: clang does not support OpenMP yet. - CXX=clang++ CC=clang python scripts/mk_make.py -f + CXX=clang++ CC=clang python scripts/mk_make.py cd build make