[MacPorts] #26448: install coq fails in configuring stage

[MacPorts]

#26448: install coq fails in configuring stage
---------------------------------------+------------------------------------
 Reporter:  thomas.anberree@…          |       Owner:  reilles@…       
     Type:  defect                     |      Status:  new             
 Priority:  Normal                     |   Milestone:                  
Component:  ports                      |     Version:  1.9.1           
 Keywords:                             |        Port:  coq             
---------------------------------------+------------------------------------
Changes (by ryandesign@…):

  * keywords:  coq 8.2pl1 =>
  * owner:  macports-tickets@… => reilles@…
  * port:  => coq


Old description:

> 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>

New description:

 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>
 }}}

--

Comment:

 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.

-- 
Ticket URL: <http://trac.macports.org/ticket/26448#comment:1>
MacPorts <http://www.macports.org/>
Ports system for Mac OS