Opened 12 years ago

Last modified 12 years ago

#32600 closed defect

nusmv @2.5.4 install error on Mac OS X 10.7.2 — at Version 1

Reported by: merteminkalender@… Owned by: mww@…
Priority: Normal Milestone:
Component: ports Version: 2.0.3
Keywords: Cc:
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.

Change History (2)

Changed 12 years ago by merteminkalender@…

Attachment: main.log added

log file

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

Description: modified (diff)
Keywords: nusmv removed
Owner: changed from macports-tickets@… to mww@…
Priority: HighNormal
Note: See TracTickets for help on using tickets.