Summary: | dev-lang/mlton-20100608 fails to build, unknown type name '__gmp_const' | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Jason Mours <jason.mours> |
Component: | [OLD] Development | Assignee: | Gentoo Team for the ML programming language family <ml> |
Status: | RESOLVED FIXED | ||
Severity: | normal | ||
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: |
build.log
correct build log more dev-lang/mlton-20100608! |
Description
Jason Mours
2013-01-16 14:38:00 UTC
Created attachment 335826 [details]
build.log
I also have a GHC bug that's related if it helps. ref: bug 452442 Hi Jason, looks like you attached the wrong build log... Created attachment 336434 [details]
correct build log more dev-lang/mlton-20100608!
! The first error seems to be: gc/int-inf.c:180:43: error: unknown type name '__gmp_const' Which version of dev-libs/gmp have you installed? (In reply to comment #6) > The first error seems to be: > gc/int-inf.c:180:43: error: unknown type name '__gmp_const' > > Which version of dev-libs/gmp have you installed? dev-libs/gmp-5.1.0 [cxx] is installed Fixed by adding a patch to change __gmp_const to const, as has been done by upstream: https://github.com/MLton/mlton/commit/a658a1f4a76a01f568116598800f49b80cf8ee1a |