Changes between Initial Version and Version 1 of Ticket #32600


Ignore:
Timestamp:
Dec 20, 2011, 3:25:15 AM (12 years ago)
Author:
mf2k (Frank Schima)
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #32600

    • Property Owner changed from macports-tickets@… to mww@…
    • Property Priority changed from High to Normal
    • Property Keywords nusmv removed

  • Ticket #32600 – Description

    initial v1  
    11I couldn't get nusmv installed on my mac. Following result is printed on Terminal:
    22
     3{{{
    34--->  Computing dependencies for nusmv
    45--->  Configuring nusmv
    … …  
    67Log 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
    78Error: Status 1 encountered during processing.
     9}}}