diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-08-26 14:52:16 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-08-26 14:52:16 +0100 |
| commit | c3d998909264b1ff687b9c65cae3046443e66f7e (patch) | |
| tree | ed7aa279f601f6c46fb8b7425bd2a051b72be8d6 /dev-lang/mlton/metadata.xml | |
| parent | cf91c70bb5a537972156006c46756b9ac75bdb7b (diff) | |
gentoo auto-resync : 26:08:2022 - 14:52:16
Diffstat (limited to 'dev-lang/mlton/metadata.xml')
| -rw-r--r-- | dev-lang/mlton/metadata.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/mlton/metadata.xml b/dev-lang/mlton/metadata.xml index 072792412b11..b6e787edaff3 100644 --- a/dev-lang/mlton/metadata.xml +++ b/dev-lang/mlton/metadata.xml @@ -4,10 +4,10 @@ <!-- maintainer-needed --> <use> <flag name="binary">install a binary version</flag> - <flag name="bootstrap-smlnj">Boostrap mlton with dev-lang/smlnj + <flag name="bootstrap-smlnj">Boostrap mlton with <pkg>dev-lang/smlnj</pkg> (takes a long time)</flag> <flag name="stage3">After bootstrap building mlton with - dev-lang/smlnj, rebuild mlton with the second stage build of + <pkg>dev-lang/smlnj</pkg>, 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> |