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)

main.log (23.3 KB) - added by dstwo@… 12 years ago.
log from failed stp install

Download all attachments as: .zip

Change History (3)

Changed 12 years ago by dstwo@…

Attachment: main.log added

log from failed stp install

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.