[MacPorts] #45545: Build of coq-8.4pl4_1+coqide+doc fails due to incompatibility with lablgtk2

MacPorts noreply at macports.org
Tue Oct 21 15:14:45 PDT 2014


#45545: Build of coq-8.4pl4_1+coqide+doc fails due to incompatibility with lablgtk2
-------------------------------+--------------------------------
 Reporter:  feliks.kluzniak@…  |      Owner:  macports-tickets@…
     Type:  defect             |     Status:  new
 Priority:  Normal             |  Milestone:
Component:  ports              |    Version:  2.3.2
 Keywords:                     |       Port:
-------------------------------+--------------------------------
 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.

-- 
Ticket URL: <https://trac.macports.org/ticket/45545>
MacPorts <https://www.macports.org/>
Ports system for OS X


More information about the macports-tickets mailing list