install coq fails in configuring stage

[thomas.anberree@…]

Hi, Working with OS X 10.6.4. Following instructions "Installing Coq 8.2pl1 on Macintosh" on webpage

​http://www.cs.princeton.edu/courses/archive/fall09/cos441/coq-mac.html

failed at step 12 with the following output:

sudo port install coq build.cmd=/opt/local/bin/gmake 
--->  Computing dependencies for coq
--->  Fetching coq
--->  Attempting to fetch coq-8.2pl1.tar.gz from http://aarnet.au.distfiles.macports.org/pub/macports/distfiles/coq
--->  Verifying checksum(s) for coq
--->  Extracting coq
--->  Applying patches to coq
--->  Configuring coq
Error: Target org.macports.configure returned: configure failure: shell command failed
Log for coq is at: /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_relse_ports_lang_coq/main.log
Error: Status 1 encountered during processing.
To report a bug, see <http://guide.macports.org/#project.tickets>

[ryandesign (Ryan Carsten Schmidt)]

Please use WikiFormatting, fill in the Port field, and Cc the port's maintainer.

You need to supply the main.log file referenced, otherwise we can't know what went wrong.

I don't know what this "build.cmd=/opt/local/bin/gmake" is. I'd say don't do that, and don't make a symlink /opt/local/bin/make either. I don't know why we need a 14-step tutorial when as far as I can tell it's just one step: "sudo port install coq". It installs fine for me when I just do that. I don't know why that tutorial you found wants you to jump through hoops. If they think there's something wrong with just running "sudo port install coq" they should file a bug report with us rather than write up strange workarounds.