#22205: coq-8.2pl1 +coqide build failure. ----------------------------------+----------------------------------------- Reporter: aran@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.8.1 Keywords: coq coqide | Port: coq ----------------------------------+----------------------------------------- I am not able to build coq with coqide. I have installed lablgtk2 without problem. I even tried modifying the port file to use the "byte" option for building coqide instead of "opt." I receive the following error: {{{ bash-3.2$ sudo port clean coq Password: ---> Cleaning coq bash-3.2$ sudo port install coq +coqide ---> Computing dependencies for coq <snip> ---> Building coq Error: Target org.macports.build returned: shell command " cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_lang_coq/work/coq-8.2pl1" && /usr/bin/make -j1 world " returned error 2 Command output: OCAMLC ide/utils/configwin.ml <snip> OCAMLC ide/coqide.mli OCAMLC ide/coqide.ml OCAMLC -a -o ide/ide.cma COQMKTOP -o bin/coqide.byte File "/tmp/coqmaind0ab92.ml", line 1, characters 0-1: Error: The file /opt/local/lib/ocaml/lablgtk2/gtkThread.cmo is not a bytecode object file make[1]: *** [bin/coqide.byte] Error 2 make: *** [world] Error 2 Error: Status 1 encountered during processing. }}} -- Ticket URL: <http://trac.macports.org/ticket/22205> MacPorts <http://www.macports.org/> Ports system for Mac OS