[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