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.
