Building the unstable branch

---

The unstable branch is not in use anymore; these instructions do not apply anymore.

---

To build the *unstable* (work-in-progress) branch on OSX, Linux, or FreeBSD, we should use the following instructions: Retrieve the source code for the *unstable* branch using the command

git clone https://github.com/Z3Prover/z3.git -b unstable

This command will create a new *z3* subdirectory with the source code into a newly created directory called `z3`. Now, create the Makefile and start the build using the following commands

cd z3
python scripts/mk_make.py
cd build
make