diff options
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 6a46dc0bbde8..e00a5b040ec4 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> |