diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2008-01-16 12:31:16 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2008-01-16 12:31:16 +0000 |
| commit | 42a4917bc9027ded104a9a7c0adc566af797bf45 (patch) | |
| tree | 5842771dc98bfb43bbe2c5893c4e1ddff83a3631 /sci-mathematics | |
| parent | alpha/ia64/sparc stable wrt security #205197 (diff) | |
| download | historical-42a4917bc9027ded104a9a7c0adc566af797bf45.tar.gz historical-42a4917bc9027ded104a9a7c0adc566af797bf45.tar.bz2 historical-42a4917bc9027ded104a9a7c0adc566af797bf45.zip | |
disable again parallel make... not safe in some rare cases, bug #197389
Package-Manager: portage-2.1.4
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_p3.ebuild | 5 |
3 files changed, 24 insertions, 12 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 2ac2058a1870..ecc8ffd39c6d 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.24 2008/01/03 17:41:59 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.25 2008/01/16 12:31:16 aballier Exp $ + + 16 Jan 2008; Alexis Ballier <aballier@gentoo.org> coq-8.1_p3.ebuild: + disable again parallel make... not safe in some rare cases, bug #197389 03 Jan 2008; Alexis Ballier <aballier@gentoo.org> +files/coq-8.1_p3-cmxa-install.dpatch, +files/coq-8.1_p3-noocamlopt.patch, diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 149b3cd5ce42..032fb8f884f2 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,3 +1,6 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + AUX coq-8.1_p3-cmxa-install.dpatch 782 RMD160 b3977ef5ba2acad230973cb0bfd350f644068105 SHA1 399d3e235744ddb2f40088f5d55e84e5aa2f260d SHA256 799cedbe003c9ff4becf46896f0a0971d160a8075c4979f8ba40577229b3223c MD5 8af37f492e015307524c531134391d74 files/coq-8.1_p3-cmxa-install.dpatch 782 RMD160 b3977ef5ba2acad230973cb0bfd350f644068105 files/coq-8.1_p3-cmxa-install.dpatch 782 @@ -28,14 +31,14 @@ EBUILD coq-8.1_p2.ebuild 1725 RMD160 148b357bf5ea699e22469a375ce6d3149ac75218 SH MD5 0931e7f0be585a64a2a3defb96b7ab66 coq-8.1_p2.ebuild 1725 RMD160 148b357bf5ea699e22469a375ce6d3149ac75218 coq-8.1_p2.ebuild 1725 SHA256 328b25de69f8a2741b83bb3225c8c22ead842e307634c2f248432317d8b0d2ad coq-8.1_p2.ebuild 1725 -EBUILD coq-8.1_p3.ebuild 2534 RMD160 d5fb3965ead97b99752ccde7d5ec842abda982e5 SHA1 b03e834b13ab79a4b85cfa9260afddbcfd555673 SHA256 d786923151e7daa2049375cb8eb870aacf2bd01381e228ee13878cc9191c65bd -MD5 5d93d0d16f1d2a2b86fc31667e23d89b coq-8.1_p3.ebuild 2534 -RMD160 d5fb3965ead97b99752ccde7d5ec842abda982e5 coq-8.1_p3.ebuild 2534 -SHA256 d786923151e7daa2049375cb8eb870aacf2bd01381e228ee13878cc9191c65bd coq-8.1_p3.ebuild 2534 -MISC ChangeLog 5140 RMD160 29e77f17a7a411d3683f0ac85503d81e49a010ee SHA1 1dcfde3a7c5c6aea3239ff39da677af3dfa7329e SHA256 c8308733581fcaef63c02503a79ef9d5d3168e7c035d6b9796ac031dbf73bcb1 -MD5 4b28601189d768931bf44d5a99d2cd0f ChangeLog 5140 -RMD160 29e77f17a7a411d3683f0ac85503d81e49a010ee ChangeLog 5140 -SHA256 c8308733581fcaef63c02503a79ef9d5d3168e7c035d6b9796ac031dbf73bcb1 ChangeLog 5140 +EBUILD coq-8.1_p3.ebuild 2484 RMD160 b4d85eacc1bfe9bff3180675dee291864cde572d SHA1 faf85f1b557b6cacadb79910adb2870ef4c5d778 SHA256 e035fda9b42e30e5554a301867f55789135788d0d3d09772ba49299fdca90b24 +MD5 b31c920b01a0a684c58fa5a36cf25cc3 coq-8.1_p3.ebuild 2484 +RMD160 b4d85eacc1bfe9bff3180675dee291864cde572d coq-8.1_p3.ebuild 2484 +SHA256 e035fda9b42e30e5554a301867f55789135788d0d3d09772ba49299fdca90b24 coq-8.1_p3.ebuild 2484 +MISC ChangeLog 5286 RMD160 b067c35486789f1a6a685857df114072cbf46912 SHA1 ef5651996b1a28b7695845e991675ccf6eae1855 SHA256 50c187a20bcdd189a61844664679592e675a5c1039f654cab4f9f8c7c21c4868 +MD5 9f79dbf624c75f2c297e06d06193e75b ChangeLog 5286 +RMD160 b067c35486789f1a6a685857df114072cbf46912 ChangeLog 5286 +SHA256 50c187a20bcdd189a61844664679592e675a5c1039f654cab4f9f8c7c21c4868 ChangeLog 5286 MISC metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 SHA1 70e63d5e68a5449b129f8f91f2554e8406e212a0 SHA256 3c931940a18c0692dd36b609c3026ce41dcde08cdc9e2d0d7bc0a0cf774e8c5b MD5 587dfb99f9b1ef3ef6a79733b24811cc metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 metadata.xml 174 @@ -52,3 +55,10 @@ SHA256 6e90b572e62f580834a9721149404b02faf2cac779670386219b778dfd7492e3 files/di MD5 ee73692d684c6e166f565e21e48cbb84 files/digest-coq-8.1_p3 235 RMD160 f3768c38ca8e57dcf832134a54d7e778858781dc files/digest-coq-8.1_p3 235 SHA256 73bd61ecaed8280418c5ffe57c15b20f1cb66ccfb78630fb9c87c30e2a4a8fe6 files/digest-coq-8.1_p3 235 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.7 (GNU/Linux) + +iD8DBQFHjfmOvFcC4BYPU0oRAsP2AKCWNed+vu3EVXIh9BloKD0OvmOcrQCdEWFS +nfQu06PUxYPcBcCqzLEGXD4= +=dSUG +-----END PGP SIGNATURE----- diff --git a/sci-mathematics/coq/coq-8.1_p3.ebuild b/sci-mathematics/coq/coq-8.1_p3.ebuild index 638ac4dcd961..6fdb3c8ec30f 100644 --- a/sci-mathematics/coq/coq-8.1_p3.ebuild +++ b/sci-mathematics/coq/coq-8.1_p3.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2008 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.4 2008/01/03 19:44:17 mr_bones_ Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.5 2008/01/16 12:31:16 aballier Exp $ inherit eutils multilib @@ -79,8 +79,7 @@ src_compile() { sed -i -e "s|COQIDEFLAGS=.*|COQIDEFLAGS=-thread -I ${labldir}|" Makefile fi - emake -j1 alldepend || die "make failed" - emake worldnodep || die "make failed" + emake -j1 || die "make failed" } src_install() { |