diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2007-10-11 10:04:22 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2007-10-11 10:04:22 +0000 |
| commit | a13e6774d2031e6c9affd05b058b0ef633ccab1b (patch) | |
| tree | 0fb52911aeee853b2d2e2933d1a42b28ee277c74 /sci-mathematics | |
| parent | Restore Changelog - I suck (diff) | |
| download | historical-a13e6774d2031e6c9affd05b058b0ef633ccab1b.tar.gz historical-a13e6774d2031e6c9affd05b058b0ef633ccab1b.tar.bz2 historical-a13e6774d2031e6c9affd05b058b0ef633ccab1b.zip | |
fix configure call when ide and norealanalysis useflags are set, bug #195483
Package-Manager: portage-2.1.3.12
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/coq/Manifest | 26 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.1_p1.ebuild | 4 |
3 files changed, 24 insertions, 11 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 89bb2393ebdc..794656d1d3be 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/coq # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.16 2007/09/29 15:40:34 markusle Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.17 2007/10/11 10:04:22 aballier Exp $ + + 11 Oct 2007; Alexis Ballier <aballier@gentoo.org> coq-8.1_p1.ebuild: + fix configure call when ide and norealanalysis useflags are set, bug #195483 *coq-8.1_p1 (29 Sep 2007) diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 3dcb865f8ba6..c4ca75435685 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,3 +1,6 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + AUX coq-8.0-byteflags.patch 676 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 SHA1 7f2d8d87a2743ed0bfc1cb45ebaf8acf1ddcc11d SHA256 4bdd7fcddd5a1f845be8df40f9a5b7d7fee1cf88bb744866804ab1da4253a2d5 MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 files/coq-8.0-byteflags.patch 676 @@ -28,14 +31,14 @@ EBUILD coq-8.0_p3.ebuild 2047 RMD160 e5a3917835844b9c45a3f17e6b242ac44e627112 SH MD5 048ee6aefee27e33a7c61c076ec38154 coq-8.0_p3.ebuild 2047 RMD160 e5a3917835844b9c45a3f17e6b242ac44e627112 coq-8.0_p3.ebuild 2047 SHA256 fa555a38d6b2f7716b2485cdcd9600b987251fa0ba13f3a06f46fe76d9228927 coq-8.0_p3.ebuild 2047 -EBUILD coq-8.1_p1.ebuild 1608 RMD160 223fcb9d560d55f55c5f122d663424a9804dde1e SHA1 7c07873cb3f6747ecf961e076a5da29da004f84f SHA256 cf986df7d002cba26ddaf67380afce40f90957c3e9afab22103aac979a74c407 -MD5 2dd2ecb0608802ec82221d160245be5b coq-8.1_p1.ebuild 1608 -RMD160 223fcb9d560d55f55c5f122d663424a9804dde1e coq-8.1_p1.ebuild 1608 -SHA256 cf986df7d002cba26ddaf67380afce40f90957c3e9afab22103aac979a74c407 coq-8.1_p1.ebuild 1608 -MISC ChangeLog 3712 RMD160 dea891962495ff0c3d46b620505b9afe75aa6663 SHA1 5584e5bca5c94f3a86e074085cf2c52b460df734 SHA256 37f8e5af81072c1b10ab8b8307f42a2481786305ec33d845ecc22dd9325226ac -MD5 71f5e896fe9b0c9badfe63e8ccce29ec ChangeLog 3712 -RMD160 dea891962495ff0c3d46b620505b9afe75aa6663 ChangeLog 3712 -SHA256 37f8e5af81072c1b10ab8b8307f42a2481786305ec33d845ecc22dd9325226ac ChangeLog 3712 +EBUILD coq-8.1_p1.ebuild 1611 RMD160 559396a223725eda333e1aeaa70ea823b44b466e SHA1 eca906b96ea38132c0a19277e8c2d940fa73a715 SHA256 ee46e0ec50bbaea62c896db4ecfd0cd9f1a29447b33e62eab5f552cc506ab74d +MD5 3b09dfd84267c421b137c9711f35add1 coq-8.1_p1.ebuild 1611 +RMD160 559396a223725eda333e1aeaa70ea823b44b466e coq-8.1_p1.ebuild 1611 +SHA256 ee46e0ec50bbaea62c896db4ecfd0cd9f1a29447b33e62eab5f552cc506ab74d coq-8.1_p1.ebuild 1611 +MISC ChangeLog 3863 RMD160 929bfc774007b6ac261304d855839b1b1e0c9bbc SHA1 0b9f6966babb98ca5ae07a23aa98309979feeb86 SHA256 c4c9ee356e12379259215a62148f9e243f9b301032ac546560af473fe90f14bc +MD5 7f687eeb2d9ef93cf6565f68e102cd5c ChangeLog 3863 +RMD160 929bfc774007b6ac261304d855839b1b1e0c9bbc ChangeLog 3863 +SHA256 c4c9ee356e12379259215a62148f9e243f9b301032ac546560af473fe90f14bc ChangeLog 3863 MISC metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 SHA1 70e63d5e68a5449b129f8f91f2554e8406e212a0 SHA256 3c931940a18c0692dd36b609c3026ce41dcde08cdc9e2d0d7bc0a0cf774e8c5b MD5 587dfb99f9b1ef3ef6a79733b24811cc metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 metadata.xml 174 @@ -49,3 +52,10 @@ SHA256 d1900263704dc613417b872026abf1bde19771a25ebd7c0a09e7c82ee1201ec6 files/di MD5 7a4fed88ce4670c5216e542adeaaa4f7 files/digest-coq-8.1_p1 235 RMD160 25cc8fd78c93c6b6ce97ba7435ead0c8b7f863f5 files/digest-coq-8.1_p1 235 SHA256 c45e2081aea31363e671e61b8335e4a15955ea13bc5e9f26f6f0a0fd96cdae84 files/digest-coq-8.1_p1 235 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.7 (GNU/Linux) + +iD8DBQFHDfU4vFcC4BYPU0oRAs01AJ9CZlMdR1WPYdWrvyR2iTjDhL3y7wCfWymp +VF0xD5LQGn6PaO/ZxaMld/c= +=EbMo +-----END PGP SIGNATURE----- diff --git a/sci-mathematics/coq/coq-8.1_p1.ebuild b/sci-mathematics/coq/coq-8.1_p1.ebuild index 9b9be5148387..d435f21898d6 100644 --- a/sci-mathematics/coq/coq-8.1_p1.ebuild +++ b/sci-mathematics/coq/coq-8.1_p1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p1.ebuild,v 1.1 2007/09/29 15:40:34 markusle Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p1.ebuild,v 1.2 2007/10/11 10:04:22 aballier Exp $ inherit eutils @@ -33,7 +33,7 @@ src_compile() { --coqdocdir /usr/lib/coq/coqdoc" use debug && myconf="--debug $myconf" - use norealanalysis && myconf="$myconf --reals" + use norealanalysis && myconf="$myconf --reals no" use norealanalysis || myconf="$myconf --reals all" if use ide; then |