Opened 11 years ago
Last modified 11 years ago
#37487 closed defect
coq +coqide fails to built — at Initial Version
| Reported by: | jens.p.gerlach@… | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 2.1.2 |
| Keywords: | Cc: | ||
| Port: | coq |
Description
"sudo port install coq +coqide" fails to build on OS X 10.8.2 ("sudo port install coq" works)
The log file says
:info:build OCAMLC ide/utils/okey.mli :info:build File "ide/utils/okey.mli", line 1, characters 0-1: :info:build Error: /opt/local/lib/ocaml/site-lib/lablgtk2/gdk.cmi :info:build is not a compiled interface :info:build make[1]: * [ide/utils/okey.cmi] Error 2 :info:build make[1]: * Waiting for unfinished jobs.... :info:build make[1]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.4'
Note: See
TracTickets for help on using
tickets.