Opened 13 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 13 years ago by merteminkalender@…
comment:1 Changed 13 years ago by mf2k (Frank Schima)
Description: | modified (diff) |
---|---|
Keywords: | nusmv removed |
Owner: | changed from macports-tickets@… to mww@… |
Priority: | High → Normal |
Note: See
TracTickets for help on using
tickets.
log file