#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