Changes between Initial Version and Version 1 of Ticket #32600
- Timestamp:
- Dec 20, 2011, 3:25:15 AM (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #32600
- Property Owner changed from macports-tickets@… to mww@…
-
Property
Priority
changed from
High
toNormal
- Property Keywords nusmv removed
-
Ticket #32600 – Description
initial v1 1 1 I couldn't get nusmv installed on my mac. Following result is printed on Terminal: 2 2 3 {{{ 3 4 ---> Computing dependencies for nusmv 4 5 ---> Configuring nusmv … … 6 7 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 7 8 Error: Status 1 encountered during processing. 9 }}}