<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <!-- maintainer-needed --> <use> <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> </upstream> </pkgmetadata>