[MacPorts] #37487: coq +coqide fails to built

[MacPorts]

#37487: coq +coqide fails to built
-------------------------------+-----------------------
  Reporter:  jens.p.gerlach@…  |      Owner:  reilles@…
      Type:  defect            |     Status:  new
  Priority:  Normal            |  Milestone:
 Component:  ports             |    Version:  2.1.2
Resolution:                    |   Keywords:
      Port:  coq               |
-------------------------------+-----------------------
Changes (by ryandesign@…):

 * keywords:  coqide =>
 * owner:  macports-tickets@… => reilles@…


Old 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'

New 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'
 }}}

--

-- 
Ticket URL: <https://trac.macports.org/ticket/37487#comment:1>
MacPorts <http://www.macports.org/>
Ports system for Mac OS