Opened 9 years ago

Closed 9 years ago

#32600 closed defect (fixed)

nusmv @2.5.4 install error on Mac OS X 10.7.2

Reported by: merteminkalender@… Owned by: mww@…
Priority: Normal Milestone:
Component: ports Version: 2.0.3
Keywords: Cc: ryandesign (Ryan Schmidt), jeremyhu (Jeremy Huddleston Sequoia)
Port: nusmv

Description (last modified by mf2k (Frank Schima))

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.

Attachments (2)

main.log (5.5 KB) - added by merteminkalender@… 9 years ago.
log file
NEW_main.log (44.1 KB) - added by merteminkalender@… 9 years ago.
NEW_main.log

Download all attachments as: .zip

Change History (11)

Changed 9 years ago by merteminkalender@…

Attachment: main.log added

log file

comment:1 Changed 9 years ago by mf2k (Frank Schima)

Description: modified (diff)
Keywords: nusmv removed
Owner: changed from macports-tickets@… to mww@…
Priority: HighNormal

comment:2 Changed 9 years ago by ryandesign (Ryan 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

Changed 9 years ago by merteminkalender@…

Attachment: NEW_main.log added

NEW_main.log

comment:3 Changed 9 years ago by merteminkalender@…

Any ideas? I put NEW_main.log

comment:4 Changed 9 years ago by ryandesign (Ryan Schmidt)

Cc: ryandesign@… added

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.

comment:5 Changed 9 years ago by merteminkalender@…

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

worked for me. Thanks!

comment:6 Changed 9 years ago by ryandesign (Ryan Schmidt)

Resolution: fixed
Status: newclosed

Thanks for testing. r88225.

comment:7 Changed 9 years ago by jeremyhu (Jeremy Huddleston Sequoia)

Resolution: fixed
Status: closedreopened

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

comment:8 Changed 9 years ago by jeremyhu (Jeremy Huddleston Sequoia)

Cc: jeremyhu@… added

Cc Me!

comment:9 Changed 9 years ago by jmroot (Joshua Root)

Resolution: fixed
Status: reopenedclosed

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

Note: See TracTickets for help on using tickets.