#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