#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