failed to build ports ocaml, xfig

[Dimitri Hendriks]

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:// 
caml.inria.fr/pub/distrib/ocaml-3.10/
--->  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 ftp://ftp.inria.fr/ 
INRIA/coq/V8.1/
--->  Verifying checksum(s) for coq
--->  Extracting coq
--->  Configuring coq
--->  Building coq with target world
Error: Target com.apple.build returned: shell command " cd "/opt/ 
local/var/db/dports/build/ 
_Volumes_Users_opt_local_var_db_dports_sources_rsync.rsync.darwinports.o 
rg_dpupdate_dports_lang_coq/work/coq-8.1" && make world " returned  
error 2
Command output: OCAMLC    config/coq_config.mli
OCAMLOPT  config/coq_config.ml
ECHO... > scripts/tolink.ml
OCAMLOPT  scripts/tolink.ml
OCAMLOPT  scripts/coqmktop.ml
OCAMLOPT -o bin/coqmktop.opt
cd bin; ln -sf coqmktop.opt coqmktop
OCAMLC    lib/pp_control.mli
OCAMLOPT  lib/pp_control.ml
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
Password:
--->  Fetching Xaw3d
--->  Attempting to fetch Xaw3d-1.5E.tar.gz from ftp://ftp.visi.com/ 
users/hawkeyd/X/
--->  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 com.apple.activate 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