webkit-gtk 1.10.1 fails to build

[M.Hairer@…]

The subject says it all... The system is 10.8.2 with Xcode 4.5.2 on a retina MBP. To make sure that I wasn't using an outdated port, I did:

sudo port -yds sync sudo port -vds selfupdate sudo port -vs upgrade outdated sudo port -v clean webkit-gtk sudo port install -s webkit-gtk

The output of the last command is:

---> Computing dependencies for webkit-gtk ---> Fetching distfiles for webkit-gtk ---> Verifying checksum(s) for webkit-gtk ---> Extracting webkit-gtk ---> Applying patches to webkit-gtk ---> Configuring webkit-gtk ---> Building webkit-gtk Error: org.macports.build for port webkit-gtk returned: command execution failed Please see the log file for port webkit-gtk for details:

/opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_www_webkit-gtk/webkit-gtk/main.log

To report a bug, follow the instructions in the guide:

​http://guide.macports.org/#project.tickets

Error: Processing of port webkit-gtk failed

I will attach the log file.