diff options
| author |   Petr Vaněk <arkamar@atlas.cz> | 2022-08-25 23:38:26 +0200 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2022-08-26 11:45:59 +0100 |
| commit | b3af0b2f456f7e173684cef21a654bd109219a1e (patch) | |
| tree | a52c73e9027d9528a16045d3abe35277d8f3720d /dev-lang/mlton | |
| parent | dev-java/eclipse-ecj: use <pkg> tag in metadata.xml (diff) | |
| download | gentoo-b3af0b2f456f7e173684cef21a654bd109219a1e.tar.gz gentoo-b3af0b2f456f7e173684cef21a654bd109219a1e.tar.bz2 gentoo-b3af0b2f456f7e173684cef21a654bd109219a1e.zip | |
dev-lang/mlton: use <pkg> tags in metadata.xml
Signed-off-by: Petr Vaněk <arkamar@atlas.cz>
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-lang/mlton')
| -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> |