[MacPorts] #32600: nusmv @2.5.4 install error on Mac OS X 10.7.2
#32600: nusmv @2.5.4 install error on Mac OS X 10.7.2 ----------------------------------------+----------------------------------- Reporter: merteminkalender@… | Owner: macports-tickets@… Type: defect | Status: new Priority: High | Milestone: Component: ports | Version: 2.0.3 Keywords: nusmv | Port: nusmv ----------------------------------------+----------------------------------- 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. -- Ticket URL: <https://trac.macports.org/ticket/32600> MacPorts <http://www.macports.org/> Ports system for Mac OS
#32600: nusmv @2.5.4 install error on Mac OS X 10.7.2 ----------------------------------------+----------------------------------- Reporter: merteminkalender@… | Owner: mww@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.0.3 Keywords: | Port: nusmv ----------------------------------------+----------------------------------- Changes (by macsforever2000@…): * priority: High => Normal * keywords: nusmv => * owner: macports-tickets@… => mww@… Old description:
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.
New description: 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. }}} -- -- Ticket URL: <https://trac.macports.org/ticket/32600#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#32600: nusmv @2.5.4 install error on Mac OS X 10.7.2 ----------------------------------------+----------------------------------- Reporter: merteminkalender@… | Owner: mww@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.0.3 Keywords: | Port: nusmv ----------------------------------------+----------------------------------- Comment(by ryandesign@…): The lines in the log containing the words "Skipping completed" indicate that this was not a clean build attempt. Please clean and try again and if it fails again attach the new main.log. {{{ sudo port clean nusmv }}} -- Ticket URL: <https://trac.macports.org/ticket/32600#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#32600: nusmv @2.5.4 install error on Mac OS X 10.7.2 ----------------------------------------+----------------------------------- Reporter: merteminkalender@… | Owner: mww@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.0.3 Keywords: | Port: nusmv ----------------------------------------+----------------------------------- Comment(by merteminkalender@…): Any ideas? I put NEW_main.log -- Ticket URL: <https://trac.macports.org/ticket/32600#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
#32600: nusmv @2.5.4 install error on Mac OS X 10.7.2 ----------------------------------------+----------------------------------- Reporter: merteminkalender@… | Owner: mww@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.0.3 Keywords: | Port: nusmv ----------------------------------------+----------------------------------- Changes (by ryandesign@…): * cc: ryandesign@… (added) Comment: It looks like the pre-configure block failed with: {{{ :info:configure SimpSolver.C:40:24: error: use of undeclared identifier 'Clause_new' :info:configure bwdsub_tmpunit = Clause_new(dummy); :info:configure ^ :info:configure 1 error generated. }}} Which caused the configure script to fail with: {{{ :info:configure configure: error: Header file "Solver_C.h" has not been found in "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat". }}} I see you're using clang. Have you tried [wiki:ProblemHotlist#compiler using a different compiler]? Let us know which one works. -- Ticket URL: <https://trac.macports.org/ticket/32600#comment:4> MacPorts <http://www.macports.org/> Ports system for Mac OS
#32600: nusmv @2.5.4 install error on Mac OS X 10.7.2 ----------------------------------------+----------------------------------- Reporter: merteminkalender@… | Owner: mww@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.0.3 Keywords: | Port: nusmv ----------------------------------------+----------------------------------- Comment(by merteminkalender@…): {{{ sudo port install nusmv configure.compiler=llvm-gcc-4.2 }}} worked for me. Thanks! -- Ticket URL: <https://trac.macports.org/ticket/32600#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS
#32600: nusmv @2.5.4 install error on Mac OS X 10.7.2 -----------------------------------------+---------------------------------- Reporter: merteminkalender@… | Owner: mww@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 2.0.3 Resolution: fixed | Keywords: Port: nusmv | -----------------------------------------+---------------------------------- Changes (by ryandesign@…): * status: new => closed * resolution: => fixed Comment: Thanks for testing. r88225. -- Ticket URL: <https://trac.macports.org/ticket/32600#comment:6> MacPorts <http://www.macports.org/> Ports system for Mac OS
#32600: nusmv @2.5.4 install error on Mac OS X 10.7.2 -----------------------------------------+---------------------------------- Reporter: merteminkalender@… | Owner: mww@… Type: defect | Status: reopened Priority: Normal | Milestone: Component: ports | Version: 2.0.3 Resolution: | Keywords: Port: nusmv | -----------------------------------------+---------------------------------- Changes (by jeremyhu@…): * status: closed => reopened * resolution: fixed => Comment: Reopening. We need to figure out what's really going wrong here. -- Ticket URL: <https://trac.macports.org/ticket/32600#comment:7> MacPorts <http://www.macports.org/> Ports system for Mac OS
#32600: nusmv @2.5.4 install error on Mac OS X 10.7.2 -----------------------------------------+---------------------------------- Reporter: merteminkalender@… | Owner: mww@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 2.0.3 Resolution: fixed | Keywords: Port: nusmv | -----------------------------------------+---------------------------------- Changes (by jmr@…): * status: reopened => closed * resolution: => fixed Comment: They didn't declare the function in the right scope. r95086 -- Ticket URL: <https://trac.macports.org/ticket/32600#comment:9> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts