diff options
| author | Mark Wright <gienah@gentoo.org> | 2018-03-11 10:43:42 +1100 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2018-03-11 10:43:42 +1100 |
| commit | 41d92750d0948ebb53e6d0559ac7d1b378fecc9a (patch) | |
| tree | 6dc7385c4c6a28327d59d396f6f704d08d4c70c5 /dev-lang/mlton/metadata.xml | |
| parent | 328d04de903ca76d3a6bf134280e08b79ffb626e (diff) | |
| download | gentoo-41d92750d0948ebb53e6d0559ac7d1b378fecc9a.tar.gz gentoo-41d92750d0948ebb53e6d0559ac7d1b378fecc9a.tar.xz | |
dev-lang/mlton: Bump to 20180207, fix 295112 and 581128.
Fix 295112, thanks to flameeyes for reporting. Fix 581128, thanks to
Toralf Forster for reporting.
Closes: https://bugs.gentoo.org/295112
Closes: https://bugs.gentoo.org/581128
Package-Manager: Portage-2.3.24, Repoman-2.3.6
Diffstat (limited to 'dev-lang/mlton/metadata.xml')
| -rw-r--r-- | dev-lang/mlton/metadata.xml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/dev-lang/mlton/metadata.xml b/dev-lang/mlton/metadata.xml index 6a46dc0bbde..e00a5b040ec 100644 --- a/dev-lang/mlton/metadata.xml +++ b/dev-lang/mlton/metadata.xml @@ -6,7 +6,14 @@ <name>Gentoo ML Project</name> </maintainer> <use> - <flag name="binary">install a binary version (need to do this once to bootstrap, until smlnj is supported)</flag> + <flag name="binary">install a binary version</flag> + <flag name="bootstrap-smlnj">Boostrap mlton with dev-lang/smlnj + (takes a long time)</flag> + <flag name="stage3">After bootstrap building mlton with + dev-lang/smlnj, rebuild mlton with the second stage build of + mlton (recommended).</flag> + <flag name="pax_kernel">Enable if the user plans to run the + package under a pax enabled hardened kernel</flag> </use> <upstream> <remote-id type="sourceforge">mlton</remote-id> |