[MacPorts] #23736: coq port install failure (camlp5 dependency failure)

[MacPorts]

#23736: coq port install failure (camlp5 dependency failure)
--------------------------------------+-------------------------------------
 Reporter:  ykouskoulas@…             |       Owner:  macports-tickets@…                   
     Type:  defect                    |      Status:  new                                  
 Priority:  Normal                    |   Milestone:  MacPorts 1.8.3                       
Component:  ports                     |     Version:  1.8.2                                
 Keywords:  coq install               |        Port:  coq                                  
--------------------------------------+-------------------------------------
 {{{
 $ 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>
 }}}

-- 
Ticket URL: <http://trac.macports.org/ticket/23736>
MacPorts <http://www.macports.org/>
Ports system for Mac OS