installing opensmt for mac os x

[ThanhVu (Vu) Nguyen]

Hi, I use Snow Leopard and have trouble installing opensmt because gmp.h is not found during configure.  

I did install the packages gmp and gmp-cxx-wrappers from macport and gmp.h is found in /opt/local/include 

The command I executed is 

$ ../configure --with-gmp=/opt/local

and the error is 

setting optimization flags to... -O3 -DOPTIMIZE -DNDEBUG

setting proof flags to... none

setting pedantic debug flags to... none

setting external_tool flags to... none

setting smtcomp flags to... none

checking gmp.h usability... no

checking gmp.h presence... no

checking for gmp.h... no

configure: error:  The GMP header gmp.h was not found.

[Aliaksei Tsitovich]

Hi ThanhVu,

I don't have Snow Leopard to check your configuration, only OSX 10.5
is around and it detects "--with-gmp" flag correctly.

Please, try the following steps:
1) Checkout the updated configure.ac from svn
2) Make sure you have gcc >=4.3.2. You can install one using macports.
Then the command for configure would something like the following:
../configure --with-gmp=/opt/local CC=/opt/local/bin/gcc-mp-4.5
CXX=/opt/local/bin/g++-mp-4.5

Please, let me know the outcome.

Cheers,
Aliaksei

> --
> You received this message because you are subscribed to the Google Groups
> "opensmt" group.
> To view this discussion on the web visit
> https://groups.google.com/d/msg/opensmt/-/Pda99Pw6J1kJ.
> To post to this group, send email to ope...@googlegroups.com.
> To unsubscribe from this group, send email to
> opensmt+u...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/opensmt?hl=en.
>