title: Mozart/Oz configure issue on mac os x
body: <p>I am trying to build <code>Mozart/Oz</code> on <code>Mac os x Mojave</code> using the following link:
  <a href="https://github.com/mozart/mozart" rel="nofollow noreferrer">https://github.com/mozart/mozart</a>
  and been getting the following configure error. GNU MP lib not found.</p>
  
  <p>I installed <code>gmp</code> using <code>homebrew</code> and also tried --with-gmp=/usr/local/opt/gmp/lib and --with-gmp=/usr/local/Cellar/gmp/6.1.2_2/ but got the same error. Can anyone please help me resolve this?</p>
  
  <pre><code>checking for --with-gmp... yes
  checking for gmp.h... -I/Users/rr/Software/mozart/gmp/packages/include
  checking for __gmpz_init in -lgmp (default)... no
  checking for __gmpz_init in -L/Users/rr/Software/mozart/gmp/packages/lib/ -lgmp... no
  checking for mpz_init in -lgmp (default)... no
  checking for mpz_init in -L/Users/rr/Software/mozart/gmp/packages/lib/ -lgmp... no
  checking for mpz_init in -lgmp2 (default)... no
  checking for mpz_init in -L/Users/rr/Software/mozart/gmp/packages/lib/ -lgmp2... no
  
  configure: warning: required GNU MP lib not found
  configure: error: 
  The GNU Multiple Precision Arithmetic Library (gmp)
  version 2 or higher is required
  to build the system.  It can be retrieved from:
  
      ftp://ftp.gnu.org/pub/gnu/gmp/
  
  The latest version at this time is 4.1.2 and is available
  packaged as the following archive:
  
      ftp://ftp.gnu.org/pub/gnu/gmp/gmp-4.1.2.tar.gz
  
  You may find a mirror archive closer to you by consulting:
  
      http://www.gnu.org/order/ftp.html
  
  configure: error: /Users/rr/Software/mozart/mozart/platform/emulator/configure failed for emulator
  configure: error: /Users/rr/Software/mozart/mozart/platform/configure failed for platform
  </code></pre>