camlp5 @6.06_4: configure fails with ocaml @4.01.0

[feliks.kluzniak@…]

Trying to install campl5, I get the folllowing message:

--->  Configuring camlp5
Error: org.macports.configure for port camlp5 returned: configure failure: command execution failed

The log file contains:

:info:configure Sorry: the compatibility with ocaml version "4.01.0"
:info:configure is not yet implemented. Please report.

I am attaching the log (this is for trying to install coq, but one gets very similar results when installing just camlp5).

[feliks.kluzniak@…]

Hmm, this is not evident from the log, but the problem is that the wrong version of ocaml is installed as a prerequisite (see below). Once again: similarly for installing just camlp5. It does not make a difference if one already has ocaml 4.00.1_1 activated (as I had on a previous attempt): the new version is installed anyway.

> sudo port install coq
--->  Computing dependencies for coq
--->  Dependencies to be installed: camlp5 ocaml
--->  Fetching archive for ocaml
--->  Attempting to fetch ocaml-4.01.0_0.darwin_12.x86_64.tbz2 from http://mse.uk.packages.macports.org/sites/packages.macports.org/ocaml
--->  Attempting to fetch ocaml-4.01.0_0.darwin_12.x86_64.tbz2.rmd160 from http://mse.uk.packages.macports.org/sites/packages.macports.org/ocaml
--->  Installing ocaml @4.01.0_0

[ryandesign (Ryan Carsten Schmidt)]

Fixed by updating camlp5 to 6.11 in r111068.