#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