diff options
| author |   Jeroen Roovers <jer@gentoo.org> | 2008-08-23 05:31:18 +0000 |
|---|---|---|
| committer | Jeroen Roovers <jer@gentoo.org> | 2008-08-23 05:31:18 +0000 |
| commit | fbd1b8018efce4bfe97d0ae9b5368498a654c359 (patch) | |
| tree | 407713882c00e207541bd7cc667e575d96684f8f /dev-lang/mlton | |
| parent | add GLEP 56 USE flag desc from use.local.desc (diff) | |
| download | historical-fbd1b8018efce4bfe97d0ae9b5368498a654c359.tar.gz historical-fbd1b8018efce4bfe97d0ae9b5368498a654c359.tar.bz2 historical-fbd1b8018efce4bfe97d0ae9b5368498a654c359.zip | |
Add GLEP 56 USE flag descriptions.
Package-Manager: portage-2.2_rc8/cvs/Linux 2.6.25-gentoo-r7-JeR i686
Diffstat (limited to 'dev-lang/mlton')
| -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> |