title: OS X install z3 with z3types.Z3Exception: 'init(Z3_LIBRARY_PATH)
body: <p>I'm trying to install z3 locally on my MAC, When I try the example, I got the exception:
  z3types.Z3Exception: 'init(Z3_LIBRARY_PATH), which is weird, because I've already linked it.</p>
  
  <p>Here is how I installed it:</p>
  
  <pre><code>&gt;&gt; git clone https://git01.codeplex.com/z3 -b unstable
  &gt;&gt; cd z3
  &gt;&gt; python scripts/mk_make.py
  &gt;&gt; sudo make install
  </code></pre>
  
  <p>It says "z3 was successfully installed", but with 3 warnings.
  Then I link the lib:</p>
  
  <pre><code>&gt;&gt; export DYLD_LIBRARY_PATH = /Users/my_acount/Documents/z3/build:${DYLD_LIBRARY_PATH}
  </code></pre>
  
  <p>when I try the example by</p>
  
  <blockquote>
    <blockquote>
      <p>python example.py</p>
    </blockquote>
  </blockquote>
  
  <p>it returns the exception: z3types.Z3Exception: 'init(Z3_LIBRARY_PATH)</p>
  
  <p>Anybody know why?</p>