Opened 14 years ago
Last modified 13 years ago
#26448 closed defect
install coq fails in configuring stage — at Initial Version
| Reported by: | thomas.anberree@… | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.9.1 |
| Keywords: | Cc: | ||
| Port: | coq |
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>