Opened 11 years ago

Closed 11 years ago

#37487 closed defect (duplicate)

coq +coqide fails to built

Reported by: jens.p.gerlach@… Owned by: reilles@…
Priority: Normal Milestone:
Component: ports Version: 2.1.2
Keywords: Cc: cooljeanius (Eric Gallager)
Port: coq

Description (last modified by ryandesign (Ryan Carsten Schmidt))

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

Change History (3)

comment:1 Changed 11 years ago by ryandesign (Ryan Carsten Schmidt)

Description: modified (diff)
Keywords: coqide removed
Owner: changed from macports-tickets@… to reilles@…

comment:2 Changed 11 years ago by cooljeanius (Eric Gallager)

Cc: egall@… added

Cc Me!

comment:3 Changed 11 years ago by ecronin (Eric Cronin)

Resolution: → duplicate
Status: new → closed

Duplicate of #37100

Note: See TracTickets for help on using tickets.