[MacPorts] #22205: coq-8.2pl1 +coqide build failure.
MacPorts
noreply at macports.org
Thu Oct 22 09:03:25 PDT 2009
#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
More information about the macports-tickets
mailing list