Opened 11 years ago

Closed 11 years ago

#40472 closed defect (fixed)

camlp5 @6.06_4: configure fails with ocaml @4.01.0

Reported by: feliks.kluzniak@… Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 2.2.0
Keywords: Cc: ryandesign (Ryan Carsten Schmidt)
Port: camlp5

Description

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).

Attachments (1)

main.log (7.9 KB) - added by feliks.kluzniak@… 11 years ago.

Download all attachments as: .zip

Change History (4)

Changed 11 years ago by feliks.kluzniak@…

Attachment: main.log added

comment:1 Changed 11 years ago by 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

comment:2 Changed 11 years ago by ryandesign (Ryan Carsten Schmidt)

Port: camlp5 added
Summary: campl5 depends on new version of ocaml, but is incompatible with itcamlp5 @6.06_4: configure fails with ocaml @4.01.0

comment:3 Changed 11 years ago by ryandesign (Ryan Carsten Schmidt)

Cc: ryandesign@… added
Resolution: fixed
Status: newclosed

Fixed by updating camlp5 to 6.11 in r111068.

Note: See TracTickets for help on using tickets.