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

[MacPorts]

#37487: coq +coqide fails to built
------------------------------+--------------------------------
 Reporter:  jens.p.gerlach@…  |      Owner:  macports-tickets@…
     Type:  defect            |     Status:  new
 Priority:  Normal            |  Milestone:
Component:  ports             |    Version:  2.1.2
 Keywords:  coqide            |       Port:  coq
------------------------------+--------------------------------
 "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>
MacPorts <http://www.macports.org/>
Ports system for Mac OS