diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2008-08-06 20:27:08 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2008-08-06 20:27:08 +0000 |
| commit | d7bbcd14198cf69ee30a56dfaa26a08b2afca6f3 (patch) | |
| tree | 8b8b85475b68a9dd00d8326792742f9882ba90e3 /sci-mathematics/coq | |
| parent | add GLEP 56 USE flag desc from use.local.desc. Fixed ebuild minorsyn (quotes ... (diff) | |
| download | historical-d7bbcd14198cf69ee30a56dfaa26a08b2afca6f3.tar.gz historical-d7bbcd14198cf69ee30a56dfaa26a08b2afca6f3.tar.bz2 historical-d7bbcd14198cf69ee30a56dfaa26a08b2afca6f3.zip | |
Add USE flag description to metadata wrt GLEP 56.
Package-Manager: portage-2.2_rc3/cvs/Linux 2.6.25-gentoo-r6 i686
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/coq/metadata.xml | 10 |
2 files changed, 12 insertions, 3 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 36d1e879758d..ff650e7805d3 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/coq # Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.32 2008/04/08 21:20:35 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.33 2008/08/06 20:21:14 ulm Exp $ + + 06 Aug 2008; Ulrich Mueller <ulm@gentoo.org> metadata.xml: + Add USE flag description to metadata wrt GLEP 56. 08 Apr 2008; Alexis Ballier <aballier@gentoo.org> -coq-8.0_p3.ebuild: remove old diff --git a/sci-mathematics/coq/metadata.xml b/sci-mathematics/coq/metadata.xml index 6625c94c0106..4eddd15b741c 100644 --- a/sci-mathematics/coq/metadata.xml +++ b/sci-mathematics/coq/metadata.xml @@ -1,6 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <herd>ml</herd> +<herd>sci</herd> +<herd>ml</herd> +<use> + <flag name='ide'>Build the Coq IDE, a clone of proof general using + <pkg>dev-ml/lablgtk</pkg></flag> + <flag name='norealanalysis'>Do not build real analysis modules + (faster compilation)</flag> +</use> </pkgmetadata> |