dev-lang/

mlton

Bug Reports

• dev-lang/mlton-20180207 - emake failed

  887455 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• dev-lang/mlton-20180207 - basis/.../strtor.c: fatal error: gdtoa/gdtoa.h: No such file or directory

  880253 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• dev-lang/mlton-20180207 installs compressed files (manpages, documentation)

  852704 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• dev-lang/mlton-20180207 calls cc directly

  722938 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• dev-lang/mlton-20180207 - Error: <string> 1.1-1.31.

  931835 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• dev-lang/mlton-20180207 - make[1]: No rule to make target <snip>/specialsections.conf. Stop.

  831904 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• dev-lang/mlton-20180207 - /.../mlton:line <snip>: .../mlton-compile: No such file or directory

  830092 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• dev-lang/mlton-20180207 - pdflatex failed

  828124 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• dev-lang/mlton-20180207 installs pre-stripped files

  726898 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• dev-lang/mlton-20180207 does not respect LDFLAGS

  726894 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• dev-lang/mlton-20180207 : make[1]: *** [Makefile:<snip>: compiler] Error 2

  650186 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• dev-lang/mlton Please set VARTEXFONTS=${T}/fonts to prevent sandbox violations

  652016 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• dev-lang/mlton-20180207 - [icu-75.1] gzip: .../ .gz: No such file or directory

  933529 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it