#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