diff options
| -rw-r--r-- | dev-lang/mlton/ChangeLog | 5 | ||||
| -rw-r--r-- | dev-lang/mlton/metadata.xml | 1 |
2 files changed, 5 insertions, 1 deletions
diff --git a/dev-lang/mlton/ChangeLog b/dev-lang/mlton/ChangeLog index 87393086da8b..0823d6c4d2bf 100644 --- a/dev-lang/mlton/ChangeLog +++ b/dev-lang/mlton/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for dev-lang/mlton # Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton/ChangeLog,v 1.7 2008/08/06 14:50:56 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton/ChangeLog,v 1.8 2008/08/23 05:29:53 jer Exp $ + + 23 Aug 2008; Jeroen Roovers <jer@gentoo.org> metadata.xml: + Add GLEP 56 USE flag descriptions. 06 Aug 2008; Alexis Ballier <aballier@gentoo.org> mlton-20070826.ebuild: Set VARTEXFONTS to prevent potential problems with latex font generation, diff --git a/dev-lang/mlton/metadata.xml b/dev-lang/mlton/metadata.xml index 2193d772e351..a188b78e7c74 100644 --- a/dev-lang/mlton/metadata.xml +++ b/dev-lang/mlton/metadata.xml @@ -2,4 +2,5 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <herd>ml</herd> +<use><flag name='binary'>install a binary version (need to do this once to bootstrap, until smlnj is supported)</flag></use> </pkgmetadata> |