failed to build ports ocaml, xfig
Emmanuel Hainry
ehainry at free.fr
Thu Jun 28 01:26:51 PDT 2007
Citando Dimitri Hendriks :
> Dear all,
>
> I just installed Macports, version 1.442.
> The first port I want to install, fails to build.
ocaml has built fine, but coq has not: with the release of ocaml3.10,
lots of things have changed, particularly in camlp4 (which is the
culprit here) and most complex dependents of ocaml don't build anymore.
That is why cautious distributions (debian, pkgsrc..., opposed to gentoo
for example) have not upgraded ocaml yet.
==========================
> 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.org_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
>
> _______________________________________________
> macports-users mailing list
> macports-users at lists.macosforge.org
> http://lists.macosforge.org/mailman/listinfo/macports-users
More information about the macports-users
mailing list