make sure you have the following packages installed

mercurial gcc-4.8 g++-4.8 wget sbt graphviz pycaml python2.7-dev 

Install the ocaml base packages

ocaml ocaml-camlp4 opam 

make sure you have the following installed:

ocamlfind batteries oasis extlib yojson zarith core oasis2opam oasis

and also the following

sympy

install haskell and hackage for the z3 bindings.

hs-cabal-install

Update cabal

cabal install cabal-install

update the package list.

cabal update

Initialize opam

opam init

setup the opam environmental variable

eval $(opam config env)

switch the the supported version of ocaml

opam switch 4.02.1

install the necessary dependencies

ocamlfind batteries oasis extlib yojson

install zarith with special flags

C_INCLUDE_PATH=/opt/local/include LIBRARY_PATH=/opt/local/lib CC=gcc-mp-4.8 opam install zarith

First install gcc 4.8 using ports:

sudo port install gcc48

DReal requires gcc 4.8, modify the makefile in DEP to point to your install of gcc/g++ 4.8.

vim dep/dreal/Makefile

run

./setup.sh

This script will prompt you with lines to add to your bashrc or a command you can run to setup the environment.

compile the dependencies

make deps