nusmv @2.5.4 install error on Mac OS X 10.7.2

[merteminkalender@…]

I couldn't get nusmv installed on my mac. Following result is printed on Terminal:

--->  Computing dependencies for nusmv
--->  Configuring nusmv
Error: Target org.macports.configure returned: shell command failed (see log for details)
Log for nusmv is at: /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/main.log
Error: Status 1 encountered during processing.

[merteminkalender@…]

log file

[ryandesign (Ryan Carsten Schmidt)]

The lines in the log containing the words "Skipping completed" indicate that this was not a clean build attempt. Please clean and try again and if it fails again attach the new main.log.

sudo port clean nusmv

[merteminkalender@…]

NEW_main.log

[merteminkalender@…]

Any ideas? I put NEW_main.log

[ryandesign (Ryan Carsten Schmidt)]

It looks like the pre-configure block failed with:

:info:configure SimpSolver.C:40:24: error: use of undeclared identifier 'Clause_new'
:info:configure     bwdsub_tmpunit   = Clause_new(dummy);
:info:configure                        ^
:info:configure 1 error generated.

Which caused the configure script to fail with:

:info:configure configure: error: Header file "Solver_C.h" has not been found in "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat".

I see you're using clang. Have you tried using a different compiler? Let us know which one works.

[merteminkalender@…]

sudo port install nusmv configure.compiler=llvm-gcc-4.2

worked for me. Thanks!

[ryandesign (Ryan Carsten Schmidt)]

Thanks for testing. r88225.

[jeremyhu (Jeremy Huddleston Sequoia)]

Reopening. We need to figure out what's really going wrong here.

[jeremyhu (Jeremy Huddleston Sequoia)]

Cc Me!

[jmroot (Joshua Root)]

They didn't declare the function in the right scope. r95086