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@lists.macosforge.org http://lists.macosforge.org/mailman/listinfo/macports-users