[MacPorts] #37100: coq 8.4 +coqide

[MacPorts]

#37100: coq 8.4 +coqide
---------------------+--------------------------------
 Reporter:  joerg@…  |      Owner:  macports-tickets@…
     Type:  defect   |     Status:  new
 Priority:  Normal   |  Milestone:
Component:  ports    |    Version:  2.1.2
 Keywords:  coqide   |       Port:  coq
---------------------+--------------------------------
 There seems to be a problem installing coq +coqide. The compile breaks due
 to:

 {{{
 #!python
 :info:build Error: /opt/local/lib/ocaml/site-lib/lablgtk2/gdk.cmi
 :info:build is not a compiled interface
 }}}

 Probably this is due to a mix of ocaml3 and ocaml4. Installing coq +coqide
 results
 in both versions of ocaml being installed.

 Any help is appreciated.

 Greetings,
 Joerg

-- 
Ticket URL: <https://trac.macports.org/ticket/37100>
MacPorts <http://www.macports.org/>
Ports system for Mac OS