| Summary: | sci-mathematics/coq-8.3_p1 - >> Fatal error: Ocaml and preprocessor have incompatible versions | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Jiri Svoboda <jirik.svoboda> |
| Component: | Current packages | Assignee: | Gentoo Team for the ML programming language family <ml> |
| Status: | RESOLVED WORKSFORME | ||
| Severity: | normal | CC: | sci-mathematics |
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: |
Full build log
Build environment file |
||
Created attachment 274713 [details]
Full build log
Created attachment 274715 [details]
Build environment file
Please let me know if any additional info is needed. Simple question: did you read postinst comment in ocaml ebuild ? Oops. Forgot to rebuild ocaml-dependent packages after updating ocaml. Sometimes it's just difficult to keep track of everything that needs to be rebuilt and the error messages you get are too cryptic to figure out what's going on. My bad. |
Tried to update coq to currently stable version 8.3_p1. Fails with: Testing parsing/grammar.cma >> Fatal error: Ocaml and preprocessor have incompatible versions Fatal error: exception Misc.Fatal_error make[1]: *** [parsing/grammar.cma] Error 2 make[1]: Leaving directory `/var/tmp/portage/sci-mathematics/coq-8.3_p1/work/coq-8.3pl1' make: *** [stage1] Error 2 emake failed Reproducible: Always Steps to Reproduce: 1. emerge --update --deep world 2. emerge coq Installed versions of related packages: all latest stable (as of 2011-05-26) dev-lang/ocaml-3.11.2 dev-ml//camlp5-5.14