failed to build ports ocaml, xfig

Dimitri Hendriks diem at
Wed Jun 27 04:33:04 PDT 2007

Dear all,

I just installed Macports, version 1.442.
The first port I want to install, fails to build.
Here's the output:

$ sudo port install coq
--->  Fetching ocaml
--->  Attempting to fetch ocaml-3.10.0.tar.bz2 from http://
--->  Verifying checksum(s) for ocaml
--->  Extracting ocaml
--->  Configuring ocaml
--->  Building ocaml with target world.opt
--->  Staging ocaml into destroot
--->  Installing ocaml 3.10.0_0
--->  Activating ocaml 3.10.0_0
--->  Cleaning ocaml
--->  Fetching coq
Error: No defined site for tag: coq, using master_sites
--->  Attempting to fetch coq-8.1.tar.gz from 
--->  Verifying checksum(s) for coq
--->  Extracting coq
--->  Configuring coq
--->  Building coq with target world
Error: Target returned: shell command " cd "/opt/ 
rg_dpupdate_dports_lang_coq/work/coq-8.1" && make world " returned  
error 2
Command output: OCAMLC    config/coq_config.mli
OCAMLOPT  config/
ECHO... > scripts/
OCAMLOPT  scripts/
OCAMLOPT  scripts/
OCAMLOPT -o bin/coqmktop.opt
cd bin; ln -sf coqmktop.opt coqmktop
OCAMLC    lib/pp_control.mli
OCAMLC    lib/pp.mli
OCAMLOPT4 lib/pp.ml4
OCAMLOPT  lib/compat.ml4
Camlp4: Uncaught exception: DynLoader.Error ("pa_ifdef.cmo", "file  
not found in path")

Preprocessor error
make: *** [lib/compat.cmx] Error 2

Error: Status 1 encountered during processing.


I also tried to install port xfig, but again without succes:

$ sudo port install xfig
--->  Fetching Xaw3d
--->  Attempting to fetch Xaw3d-1.5E.tar.gz from 
--->  Verifying checksum(s) for Xaw3d
--->  Extracting Xaw3d
--->  Configuring Xaw3d
--->  Building Xaw3d with target all
--->  Staging Xaw3d into destroot
--->  Installing Xaw3d 1.5E_0
--->  Activating Xaw3d 1.5E_0
Error: Target returned: Image error: /usr/X11R6/ 
include/X11/Xaw3d/AllWidgets.h already exists and does not belong to  
a registered port.  Unable to activate port Xaw3d.
Error: The following dependencies failed to build: Xaw3d ghostscript  
jpeg libpng zlib transfig netpbm jasper tiff
Error: Status 1 encountered during processing.


Does anyone know what is wrong?

More info:

   Dual 2 GHz PPC G5
   OS X 10.4.10
   XCode 2.4.1.

Thanks for your help,
Dimitri Hendriks

More information about the macports-users mailing list