[gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: metadata.xml ChangeLog

[Ulrich Mueller (ulm)]

ulm         08/08/06 20:21:15

  Modified:             metadata.xml ChangeLog
  Log:
  Add USE flag description to metadata wrt GLEP 56.
  (Portage version: 2.2_rc3/cvs/Linux 2.6.25-gentoo-r6 i686)

Revision  Changes    Path
1.5                  sci-mathematics/coq/metadata.xml

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/metadata.xml?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/metadata.xml?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/metadata.xml?r1=1.4&r2=1.5

Index: metadata.xml
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/metadata.xml,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- metadata.xml	30 Aug 2007 13:31:44 -0000	1.4
+++ metadata.xml	6 Aug 2008 20:21:14 -0000	1.5
@@ -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>



1.33                 sci-mathematics/coq/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.33&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.33&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.32&r2=1.33

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.32
retrieving revision 1.33
diff -u -r1.32 -r1.33
--- ChangeLog	8 Apr 2008 21:20:35 -0000	1.32
+++ ChangeLog	6 Aug 2008 20:21:14 -0000	1.33
@@ -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@g.o> metadata.xml:
+  Add USE flag description to metadata wrt GLEP 56.
 
   08 Apr 2008; Alexis Ballier <aballier@g.o> -coq-8.0_p3.ebuild:
   remove old