camlp5 and ocaml: incompatible versions
| Reported by: |
judufuru-gherthgr@… |
Owned by: |
blb@… |
|
Priority:
|
Normal
|
Milestone:
|
|
|
Component:
|
ports
|
Version:
|
1.7.0
|
|
Keywords:
|
ocaml
|
Cc:
|
|
|
Port:
|
camlp5
|
|
|
The port 'ocaml' has been updated to version 3.11. But the port 'camlp5' is too old (version 5.08) and thus incompatible: the port 'camlp5' must be updated to version 5.10 or higher.
Because of that, when trying to compile, for example, the last version of Coq, I get the error message:
>> Fatal error: Ocaml and preprocessor have incompatible versions
Change History (4)
| Owner: |
changed from macports-tickets@… to mreid@…
|
| Owner: |
changed from mreid@… to blb@…
|
| Resolution: |
→ fixed
|
| Status: |
new →
closed
|
Updated to 5.11 in r46217.