[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
 Keywords:           |       Port:  stp
---------------------+--------------------------------
 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
 }}}

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