[MacPorts] #38716: stp fails to build

[MacPorts]

#38716: stp fails to build
----------------------+--------------------------------
  Reporter:  dstwo@…  |      Owner:  macports-tickets@…
      Type:  defect   |     Status:  new
  Priority:  Normal   |  Milestone:
 Component:  ports    |    Version:  2.1.3
Resolution:           |   Keywords:
      Port:  stp      |
----------------------+--------------------------------

Comment (by egall@…):

 Relevant part of log:
 {{{
 :info:build Solver.C:117:21: error: use of undeclared identifier
 'Clause_new'
 :info:build         Clause* c = Clause_new(ps, false);
 :info:build                     ^
 :info:build Solver.C:574:29: error: use of undeclared identifier
 'Clause_new'
 :info:build                 Clause* c = Clause_new(learnt_clause, true);
 :info:build                             ^
 :info:build 2 errors generated.
 :info:build make[1]: *** [Solver.or] Error 1
 :info:build make[1]: Leaving directory
 `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work
 /stp-ver-0.1-11-18-2008/sat/core'
 :info:build make: *** [all] Error 2
 :info:build make: Leaving directory
 `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work
 /stp-ver-0.1-11-18-2008'
 :info:build Command failed:  cd
 "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/work
 /stp-ver-0.1-11-18-2008" && /usr/bin/make -w all
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/38716#comment:1>
MacPorts <http://www.macports.org/>
Ports system for OS X