Changes between Initial Version and Version 1 of Ticket #37487


Ignore:
Timestamp:
Jan 2, 2013, 1:11:19 PM (11 years ago)
Author:
ryandesign (Ryan Carsten Schmidt)
Comment:

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.2
    2 ("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)
    33
    44The log file says
    55
    6 
     6{{{
    77:info:build OCAMLC    ide/utils/okey.mli
    88:info:build File "ide/utils/okey.mli", line 1, characters 0-1:
    … …  
    1212:info:build make[1]: *** Waiting for unfinished jobs....
    1313: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}}}