title: Building z3 on mac os x
body: <p>I'm trying to build <a href="http://z3.codeplex.com/releases/view/95640" rel="noreferrer">Z3</a> on mac os x.</p>
  
  <p>Following README file, I just executed </p>
  
  <pre><code>autoconf
  ./configure
  make
  </code></pre>
  
  <p>to get an error "omp.h" file not found. </p>
  
  <p>I copied the omp.h file from <code>/usr/llvm-gcc-4.2/lib/gcc/i686-apple-darwin11/4.2.1/include</code> to <code>lib</code> directory to solve this issue.</p>
  
  <p>Then, I got <code>lib/buffer.h:243:13: error: use of undeclared identifier 'push_back'</code> error in building the code. </p>
  
  <p>What could be the solution? I have <code>gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.11.00)</code> on Mac OS X 10.7.5.</p>