Opened 10 years ago
Closed 7 years ago
#45545 closed defect (duplicate)
Build of coq-8.4pl4_1+coqide+doc fails due to incompatibility with lablgtk2
| Reported by: | feliks.kluzniak@… | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 2.3.2 |
| Keywords: | Cc: | pmetzger (Perry E. Metzger), hippallium-macports@… | |
| Port: | lablgtk2 |
Description
Attempting to install coq from scratch, the dependencies (ocaml, lablgtk2 and ocaml-findlib) also installed from scratch as part of this installation. Build fails, the relevant part of the log reads:
:info:build File "ide/utils/okey.mli", line 1: :info:build Error: /opt/local/lib/ocaml/site-lib/lablgtk2/gdk.cmi :info:build is not a compiled interface for this version of OCaml. :info:build It seems to be for an older version of OCaml. :info:build make[1]: *** [ide/utils/okey.cmi] Error 2
I attach the entire log.
Attachments (1)
Change History (5)
Changed 10 years ago by feliks.kluzniak@…
| Attachment: | main.log.gz added |
|---|
comment:1 Changed 10 years ago by larryv (Lawrence Velázquez)
| Cc: | perry@… added |
|---|---|
| Port: | lablgtk2 added |
Maybe lablgtk2 needs to be revbumped for OCaml 4.02?
comment:3 Changed 7 years ago by pmetzger (Perry E. Metzger)
This is an instance of a more general problem, which I am tracking in #56376
comment:4 Changed 7 years ago by pmetzger (Perry E. Metzger)
| Resolution: | → duplicate |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Gzipped /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/main.log