[MacPorts] #32600: nusmv @2.5.4 install error on Mac OS X 10.7.2

[MacPorts]

#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