coq port install failure (camlp5 dependency failure)

[ykouskoulas@…]

$ sudo port -d install coq
DEBUG: Found port in file:///opt/local/var/macports/sources/rsync.macports.org/release/ports/lang/coq
DEBUG: Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/ports/lang/coq
DEBUG: OS Platform: darwin
DEBUG: OS Version: 9.8.0
DEBUG: Mac OS X Version: 10.5
DEBUG: System Arch: i386
DEBUG: setting option os.universal_supported to yes
DEBUG: org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
DEBUG: org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
DEBUG: adding the default universal variant
DEBUG: Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/ports/_resources/port1.0/variant_descriptions.conf
DEBUG: Requested variant darwin is not provided by port coq.
DEBUG: Requested variant i386 is not provided by port coq.
DEBUG: Requested variant macosx is not provided by port coq.
DEBUG: Found port in file:///opt/local/var/macports/sources/rsync.macports.org/release/ports/lang/ocaml
DEBUG: epoch: in tree: 0 installed: 0
DEBUG: ocaml 3.11.2_0 exists in the ports tree
DEBUG: ocaml 3.11.2_0  is the latest installed
DEBUG: ocaml 3.11.2_0  is active
DEBUG: Merging existing variants  into variants
DEBUG: new fully merged portvariants: 
DEBUG: Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/ports/lang/ocaml
DEBUG: OS Platform: darwin
DEBUG: OS Version: 9.8.0
DEBUG: Mac OS X Version: 10.5
DEBUG: System Arch: i386
DEBUG: setting option os.universal_supported to yes
DEBUG: org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
DEBUG: org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
DEBUG: 'universal_variant no' specified, so not adding the default universal variant
DEBUG: Requested variant darwin is not provided by port ocaml.
DEBUG: Requested variant i386 is not provided by port ocaml.
DEBUG: Requested variant macosx is not provided by port ocaml.
DEBUG: No need to upgrade! ocaml 3.11.2_0 >= ocaml 3.11.2_0
--->  Computing dependencies for coq
DEBUG: Searching for dependency: ocaml
DEBUG: Found Dependency: receipt exists for ocaml
DEBUG: Searching for dependency: camlp5
DEBUG: Didn't find receipt, going to depspec regex for: camlp5
DEBUG: Found port in file:///opt/local/var/macports/sources/rsync.macports.org/release/ports/lang/camlp5
DEBUG: Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/ports/lang/camlp5
DEBUG: OS Platform: darwin
DEBUG: OS Version: 9.8.0
DEBUG: Mac OS X Version: 10.5
DEBUG: System Arch: i386
DEBUG: setting option os.universal_supported to yes
DEBUG: org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided
DEBUG: org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided
DEBUG: adding the default universal variant
DEBUG: Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/ports/_resources/port1.0/variant_descriptions.conf
DEBUG: Requested variant darwin is not provided by port camlp5.
DEBUG: Requested variant i386 is not provided by port camlp5.
DEBUG: Requested variant macosx is not provided by port camlp5.
DEBUG: Searching for dependency: ocaml
DEBUG: Found Dependency: receipt exists for ocaml
DEBUG: Executing org.macports.main (camlp5)
DEBUG: Skipping completed org.macports.fetch (camlp5)
DEBUG: Skipping completed org.macports.checksum (camlp5)
DEBUG: Skipping completed org.macports.extract (camlp5)
DEBUG: Skipping completed org.macports.patch (camlp5)
--->  Configuring camlp5
DEBUG: Using compiler 'Mac OS X gcc 4.0'
DEBUG: Executing org.macports.configure (camlp5)
DEBUG: Environment: CFLAGS='-O2 -arch i386' CPPFLAGS='-I/opt/local/include' CXXFLAGS='-O2 -arch i386' MACOSX_DEPLOYMENT_TARGET='10.5' CXX='/usr/bin/g++-4.0' F90FLAGS='-O2 -m32' LDFLAGS='-L/opt/local/lib' OBJC='/usr/bin/gcc-4.0' FCFLAGS='-O2 -m32' INSTALL='/usr/bin/install -c' OBJCFLAGS='-O2 -arch i386' FFLAGS='-O2 -m32' CC='/usr/bin/gcc-4.0'
DEBUG: Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_lang_camlp5/work/camlp5-5.12" && ./configure --prefix /opt/local --mandir /opt/local/share/man'

Sorry: the compatibility with ocaml version "3.11.2"
is not yet implemented. Please report.

Configuration failed.
Error: Target org.macports.configure returned: configure failure: shell command " cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_lang_camlp5/work/camlp5-5.12" && ./configure --prefix /opt/local --mandir /opt/local/share/man " returned error 2
DEBUG: Backtrace: configure failure: shell command " cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_lang_camlp5/work/camlp5-5.12" && ./configure --prefix /opt/local --mandir /opt/local/share/man " returned error 2
    while executing
"$procedure $targetname"
Warning: the following items did not execute (for camlp5): org.macports.activate org.macports.configure org.macports.build org.macports.destroot org.macports.install
Error: The following dependencies failed to build: camlp5
Error: Status 1 encountered during processing.
To report a bug, see <http://guide.macports.org/#project.tickets>

[mf2k (Frank Schima)]

Please do not set the Milestone fields. See the ​Guidelines for more info.

[kiyoshi.coquser@…]

This report seems to be a duplicate of #23521 .