#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