Opened 9 years ago

Closed 6 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)

main.log.gz (41.2 KB) - added by feliks.kluzniak@… 9 years ago.
Gzipped /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/main.log

Download all attachments as: .zip

Change History (5)

Changed 9 years ago by feliks.kluzniak@…

Attachment: main.log.gz added

Gzipped /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/main.log

comment:1 Changed 9 years ago by larryv (Lawrence Velázquez)

Cc: perry@… added
Port: lablgtk2 added

Maybe lablgtk2 needs to be revbumped for OCaml 4.02?

comment:2 Changed 9 years ago by hippallium-macports@…

Cc: hippallium-macports@… added

Cc Me!

comment:3 Changed 6 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 6 years ago by pmetzger (Perry E. Metzger)

Resolution: duplicate
Status: newclosed
Note: See TracTickets for help on using tickets.