| Summary: | ~sparc keyword needed for dev-ml/camlp5, dep of sci-mathematics/coq-8.1_p2 | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Robin Green <greenrd> |
| Component: | New packages | Assignee: | Sparc Porters <sparc> |
| Status: | RESOLVED FIXED | ||
| Severity: | enhancement | CC: | ml, sci-mathematics |
| Priority: | High | ||
| Version: | 2007.0 | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
|
Description
Robin Green
2007-10-20 14:02:47 UTC
bumped thanks. though emake -j$alot wouldn't work with the depends system, so I've used -j1 for make alldepend and emake for the rest of the build. it is compatible with ocaml 3.10, though it needs camlp5 recycling the bug to a keywording req for sparc: you're the only arch that don't have dev-ml/camlp5 ~arch keyworded, for now it's fine but when it'll be time to unmask ocaml 3.10, coq will force you to downgrade ocaml. (as a side note, if you upgrade from any version of ocaml to 3.10, make sure you rebuilt the ocaml packages that had been built with older versions) ~sparc keyword added. I note that dev-lang/ocaml-3.10.0 and dev-ml/camlp5-5.01 both build as expected (after a lot of package.unmask'ing). Once those are installed, coq-8.1_p2 builds and installs fine with FEATURES=test --- sparc looks good for this complete combination (and I'm going to have to figure out what coq is about --- looks fascinating). |
