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

[MacPorts]

#26448: install coq fails in configuring stage
---------------------------------------+------------------------------------
 Reporter:  thomas.anberree@…          |       Owner:  macports-tickets@…                   
     Type:  defect                     |      Status:  new                                  
 Priority:  Normal                     |   Milestone:                                       
Component:  ports                      |     Version:  1.9.1                                
 Keywords:  coq 8.2pl1                 |        Port:                                       
---------------------------------------+------------------------------------
 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>

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