Opened 9 years ago

Closed 5 years ago

#45839 closed defect (fixed)

nusmv @2.5.4_0: error: Header file "Solver_C.h" has not been found

Reported by: jeremy.cade@… Owned by: ryandesign (Ryan Carsten Schmidt)
Priority: Normal Milestone:
Component: ports Version: 2.3.2
Keywords: Cc:
Port: nusmv

Description

Clean install of NuSMV @2.5.4 on Yosemite 10.10 results in the following message.

$ sudo port install nusmv
--->  Computing dependencies for nusmv
--->  Fetching archive for nusmv
--->  Attempting to fetch nusmv-2.5.4_0.darwin_14.x86_64.tbz2 from http://packages.macports.org/nusmv
--->  Attempting to fetch nusmv-2.5.4_0.darwin_14.x86_64.tbz2 from http://jog.id.packages.macports.org/macports/packages/nusmv
--->  Attempting to fetch nusmv-2.5.4_0.darwin_14.x86_64.tbz2 from http://lil.fr.packages.macports.org/nusmv
--->  Fetching distfiles for nusmv
--->  Verifying checksums for nusmv
--->  Extracting nusmv
--->  Applying patches to nusmv
--->  Configuring nusmv
Error: Failed to configure nusmv, consult /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/nusmv/config.log
Error: org.macports.configure for port nusmv returned: configure failure: command execution failed
Please see the log file for port nusmv for details:
    /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/main.log
To report a bug, follow the instructions in the guide:
    http://guide.macports.org/#project.tickets
Error: Processing of port nusmv failed

Please see attached config.log and main.log for further details.

Attachments (2)

main.log (44.6 KB) - added by jeremy.cade@… 9 years ago.
config.log (92.2 KB) - added by jeremy.cade@… 9 years ago.

Download all attachments as: .zip

Change History (6)

Changed 9 years ago by jeremy.cade@…

Attachment: main.log added

Changed 9 years ago by jeremy.cade@…

Attachment: config.log added

comment:1 Changed 9 years ago by jeremy.cade@…

Cc: jeremy.cade@… added

Cc Me!

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

Cc: jeremy.cade@… removed
Owner: changed from macports-tickets@… to mww@…
Priority: HighNormal
Summary: NuSMV @2.5.4 install error on Mac OS X 10.10nusmv @2.5.4_0: error: Header file "Solver_C.h" has not been found

comment:3 Changed 7 years ago by mf2k (Frank Schima)

Owner: mww@… deleted
Status: newassigned

See #53012.

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

Owner: set to ryandesign
Resolution: fixed
Status: assignedclosed

In 0679dd1f34c1c54db4c065ad9ee92e24943044d0/macports-ports (master):

nusmv: Update to 2.6.0

Closes: #45839

Disable universal variant.

See: #32627

Conflicts with libcudd because it installs its own patched version.

Note: See TracTickets for help on using tickets.