Opened 12 years ago
Last modified 8 years ago
#38716 new defect
stp fails to build
Reported by: | dstwo@… | Owned by: | macports-tickets@… |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 2.1.3 |
Keywords: | Cc: | ||
Port: | stp |
Description
I tried to build stp, and got the following error:
~/klee_install $ sudo port install stp dyld: DYLD_ environment variables being ignored because main executable (/usr/bin/sudo) is setuid or setgid Password: ---> Computing dependencies for stp ---> Dependencies to be installed: bison flex ---> Fetching archive for bison ---> Attempting to fetch bison-2.7_0.darwin_12.x86_64.tbz2 from http://packages.macports.org/bison ---> Attempting to fetch bison-2.7_0.darwin_12.x86_64.tbz2.rmd160 from http://packages.macports.org/bison ---> Installing bison @2.7_0 ---> Activating bison @2.7_0 ---> Cleaning bison ---> Fetching archive for flex ---> Attempting to fetch flex-2.5.37_1.darwin_12.x86_64.tbz2 from http://packages.macports.org/flex ---> Attempting to fetch flex-2.5.37_1.darwin_12.x86_64.tbz2.rmd160 from http://packages.macports.org/flex ---> Installing flex @2.5.37_1 ---> Activating flex @2.5.37_1 ---> Cleaning flex ---> Fetching archive for stp ---> Attempting to fetch stp-0.1_0.darwin_12.x86_64.tbz2 from http://packages.macports.org/stp ---> Attempting to fetch stp-0.1_0.darwin_12.x86_64.tbz2 from http://lil.fr.packages.macports.org/stp ---> Attempting to fetch stp-0.1_0.darwin_12.x86_64.tbz2 from http://mse.uk.packages.macports.org/sites/packages.macports.org/stp ---> Fetching distfiles for stp ---> Attempting to fetch stp-ver-0.1-11-18-2008.tgz from http://aarnet.dl.sourceforge.net/stp-fast-prover ---> Verifying checksum(s) for stp ---> Extracting stp ---> Applying patches to stp ---> Configuring stp ---> Building stp Error: org.macports.build for port stp returned: command execution failed Please see the log file for port stp for details: /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_math_stp/stp/main.log To report a bug, follow the instructions in the guide: http://guide.macports.org/#project.tickets Error: Processing of port stp failed
Attachments (1)
Change History (3)
Changed 12 years ago by dstwo@…
comment:1 Changed 12 years ago by cooljeanius (Eric Gallager)
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
comment:2 Changed 8 years ago by ryandesign (Ryan Carsten Schmidt)
The port was updated to 20150306 which builds on Mavericks and later, but has boost problems on Mountain Lion: https://build.macports.org/builders/ports-10.8_x86_64_legacy-builder/builds/4496
Note: See
TracTickets for help on using
tickets.
log from failed stp install