Changes between Initial Version and Version 1 of Ticket #37487
- Timestamp:
- Jan 2, 2013, 1:11:19 PM (12 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #37487
- Property Keywords coqide removed
- Property Owner changed from macports-tickets@… to reilles@…
-
Ticket #37487 – Description
initial v1 1 " sudo port install coq +coqide" fails to build on OS X 10.8.22 (" sudo port install coq" works)1 "{{{sudo port install coq +coqide}}}" fails to build on OS X 10.8.2 2 ("{{{sudo port install coq}}}" works) 3 3 4 4 The log file says 5 5 6 6 {{{ 7 7 :info:build OCAMLC ide/utils/okey.mli 8 8 :info:build File "ide/utils/okey.mli", line 1, characters 0-1: … … 12 12 :info:build make[1]: *** Waiting for unfinished jobs.... 13 13 :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' 14 }}}