* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.1_p3.ebuild ChangeLog
@ 2008-01-03 17:41 Alexis Ballier (aballier)
0 siblings, 0 replies; 6+ messages in thread
From: Alexis Ballier (aballier) @ 2008-01-03 17:41 UTC (permalink / raw
To: gentoo-commits
aballier 08/01/03 17:41:59
Modified: coq-8.1_p3.ebuild ChangeLog
Log:
Add support for building without ocamlopt, import smimou's patches from debian to allow it. Fix desktop entry categories.
(Portage version: 2.1.4_rc14)
Revision Changes Path
1.3 sci-mathematics/coq/coq-8.1_p3.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?r1=1.2&r2=1.3
Index: coq-8.1_p3.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- coq-8.1_p3.ebuild 19 Dec 2007 20:08:01 -0000 1.2
+++ coq-8.1_p3.ebuild 3 Jan 2008 17:41:59 -0000 1.3
@@ -1,10 +1,12 @@
-# Copyright 1999-2007 Gentoo Foundation
+# 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.2 2007/12/19 20:08:01 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.3 2008/01/03 17:41:59 aballier Exp $
inherit eutils multilib
-IUSE="norealanalysis ide debug"
+EAPI="1"
+
+IUSE="norealanalysis ide debug +ocamlopt"
RESTRICT="strip"
@@ -25,6 +27,30 @@
S="${WORKDIR}/${MY_P}"
+coq_need_ocamlopt() {
+ if use ocamlopt && ! built_with_use --missing true $1 ocamlopt; then
+ eerror "In order to build ${PN} with native code support from ocaml"
+ eerror "You first need to have a native code ocaml compiler and the related libraries."
+ eerror "You need to install $1 with ocamlopt useflag on."
+ die "Please install $1 with ocamlopt useflag"
+ fi
+}
+
+
+pkg_setup() {
+ coq_need_ocamlopt 'dev-lang/ocaml'
+ use ide && coq_need_ocamlopt 'dev-ml/lablgtk'
+ has_version '>=dev-lang/ocaml-3.10.0' && coq_need_ocamlopt 'dev-ml/camlp5'
+}
+
+src_unpack() {
+ unpack ${A}
+ cd "${S}"
+
+ epatch "${FILESDIR}/${P}-noocamlopt.patch"
+ epatch "${FILESDIR}/${P}-cmxa-install.dpatch"
+}
+
src_compile() {
local myconf="--prefix /usr \
--bindir /usr/bin \
@@ -38,10 +64,12 @@
use norealanalysis || myconf="$myconf --reals all"
if use ide; then
- myconf="$myconf --coqide opt"
+ use ocamlopt && myconf="$myconf --coqide opt"
+ use ocamlopt || myconf="$myconf --coqide byte"
else
myconf="$myconf --coqide no"
fi
+ use ocamlopt || myconf="$myconf -byte-only"
./configure $myconf || die "configure failed"
1.24 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.24&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.24&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.23&r2=1.24
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.23
retrieving revision 1.24
diff -u -r1.23 -r1.24
--- ChangeLog 19 Dec 2007 20:08:01 -0000 1.23
+++ ChangeLog 3 Jan 2008 17:41:59 -0000 1.24
@@ -1,6 +1,12 @@
# 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.23 2007/12/19 20:08:01 aballier Exp $
+# 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 $
+
+ 03 Jan 2008; Alexis Ballier <aballier@gentoo.org>
+ +files/coq-8.1_p3-cmxa-install.dpatch, +files/coq-8.1_p3-noocamlopt.patch,
+ files/coqide.desktop, coq-8.1_p3.ebuild:
+ Add support for building without ocamlopt, import smimou's patches from
+ debian to allow it. Fix desktop entry categories.
19 Dec 2007; Alexis Ballier <aballier@gentoo.org> coq-8.1_p2.ebuild,
coq-8.1_p3.ebuild:
--
gentoo-commits@gentoo.org mailing list
^ permalink raw reply [flat|nested] 6+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.1_p3.ebuild ChangeLog
@ 2008-01-16 12:31 Alexis Ballier (aballier)
0 siblings, 0 replies; 6+ messages in thread
From: Alexis Ballier (aballier) @ 2008-01-16 12:31 UTC (permalink / raw
To: gentoo-commits
aballier 08/01/16 12:31:16
Modified: coq-8.1_p3.ebuild ChangeLog
Log:
disable again parallel make... not safe in some rare cases, bug #197389
(Portage version: 2.1.4)
Revision Changes Path
1.5 sci-mathematics/coq/coq-8.1_p3.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?r1=1.4&r2=1.5
Index: coq-8.1_p3.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- coq-8.1_p3.ebuild 3 Jan 2008 19:44:17 -0000 1.4
+++ coq-8.1_p3.ebuild 16 Jan 2008 12:31:16 -0000 1.5
@@ -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 @@
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() {
1.25 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.25&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.25&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.24&r2=1.25
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -r1.24 -r1.25
--- ChangeLog 3 Jan 2008 17:41:59 -0000 1.24
+++ ChangeLog 16 Jan 2008 12:31:16 -0000 1.25
@@ -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,
--
gentoo-commits@lists.gentoo.org mailing list
^ permalink raw reply [flat|nested] 6+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.1_p3.ebuild ChangeLog
@ 2008-01-16 13:35 Alexis Ballier (aballier)
0 siblings, 0 replies; 6+ messages in thread
From: Alexis Ballier (aballier) @ 2008-01-16 13:35 UTC (permalink / raw
To: gentoo-commits
aballier 08/01/16 13:35:34
Modified: coq-8.1_p3.ebuild ChangeLog
Log:
restrict also installsources as it has the same problem with ocaml... it kills ocamlc -custom executables
(Portage version: 2.1.4)
Revision Changes Path
1.6 sci-mathematics/coq/coq-8.1_p3.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.6&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.6&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?r1=1.5&r2=1.6
Index: coq-8.1_p3.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -r1.5 -r1.6
--- coq-8.1_p3.ebuild 16 Jan 2008 12:31:16 -0000 1.5
+++ coq-8.1_p3.ebuild 16 Jan 2008 13:35:34 -0000 1.6
@@ -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.5 2008/01/16 12:31:16 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.6 2008/01/16 13:35:34 aballier Exp $
inherit eutils multilib
@@ -8,7 +8,7 @@
IUSE="norealanalysis ide debug +ocamlopt"
-RESTRICT="strip"
+RESTRICT="strip installsources"
MY_PV="${PV/_p/pl}"
MY_P="${PN}-${MY_PV}"
1.26 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.26&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.26&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.25&r2=1.26
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.25
retrieving revision 1.26
diff -u -r1.25 -r1.26
--- ChangeLog 16 Jan 2008 12:31:16 -0000 1.25
+++ ChangeLog 16 Jan 2008 13:35:34 -0000 1.26
@@ -1,6 +1,10 @@
# 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.25 2008/01/16 12:31:16 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.26 2008/01/16 13:35:34 aballier Exp $
+
+ 16 Jan 2008; Alexis Ballier <aballier@gentoo.org> coq-8.1_p3.ebuild:
+ restrict also installsources as it has the same problem with ocaml... it
+ kills ocamlc -custom executables
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
--
gentoo-commits@lists.gentoo.org mailing list
^ permalink raw reply [flat|nested] 6+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.1_p3.ebuild ChangeLog
@ 2008-04-03 1:24 Brent Baude (ranger)
0 siblings, 0 replies; 6+ messages in thread
From: Brent Baude (ranger) @ 2008-04-03 1:24 UTC (permalink / raw
To: gentoo-commits
ranger 08/04/03 01:24:06
Modified: coq-8.1_p3.ebuild ChangeLog
Log:
stable ppc, bug 215746
(Portage version: 2.1.4.4)
Revision Changes Path
1.7 sci-mathematics/coq/coq-8.1_p3.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.7&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.7&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?r1=1.6&r2=1.7
Index: coq-8.1_p3.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- coq-8.1_p3.ebuild 16 Jan 2008 13:35:34 -0000 1.6
+++ coq-8.1_p3.ebuild 3 Apr 2008 01:24:06 -0000 1.7
@@ -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.6 2008/01/16 13:35:34 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.7 2008/04/03 01:24:06 ranger Exp $
inherit eutils multilib
@@ -19,7 +19,7 @@
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+KEYWORDS="~amd64 ppc ~sparc ~x86"
DEPEND="|| ( ( >=dev-lang/ocaml-3.10 >=dev-ml/camlp5-5.01 ) <dev-lang/ocaml-3.10 )
>=dev-lang/ocaml-3.08
1.29 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.29&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.29&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.28&r2=1.29
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.28
retrieving revision 1.29
diff -u -r1.28 -r1.29
--- ChangeLog 1 Apr 2008 18:37:45 -0000 1.28
+++ ChangeLog 3 Apr 2008 01:24:06 -0000 1.29
@@ -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.28 2008/04/01 18:37:45 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.29 2008/04/03 01:24:06 ranger Exp $
+
+ 03 Apr 2008; Brent Baude <ranger@gentoo.org> coq-8.1_p3.ebuild:
+ stable ppc, bug 215746
01 Apr 2008; Alexis Ballier <aballier@gentoo.org> -coq-8.1_p1.ebuild,
-coq-8.1_p2.ebuild:
--
gentoo-commits@lists.gentoo.org mailing list
^ permalink raw reply [flat|nested] 6+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.1_p3.ebuild ChangeLog
@ 2008-04-06 19:26 Markus Meier (maekke)
0 siblings, 0 replies; 6+ messages in thread
From: Markus Meier (maekke) @ 2008-04-06 19:26 UTC (permalink / raw
To: gentoo-commits
maekke 08/04/06 19:26:47
Modified: coq-8.1_p3.ebuild ChangeLog
Log:
amd64/x86 stable, bug #215746
(Portage version: 2.1.5_rc2)
Revision Changes Path
1.8 sci-mathematics/coq/coq-8.1_p3.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.8&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.8&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?r1=1.7&r2=1.8
Index: coq-8.1_p3.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -r1.7 -r1.8
--- coq-8.1_p3.ebuild 3 Apr 2008 01:24:06 -0000 1.7
+++ coq-8.1_p3.ebuild 6 Apr 2008 19:26:46 -0000 1.8
@@ -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.7 2008/04/03 01:24:06 ranger Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.8 2008/04/06 19:26:46 maekke Exp $
inherit eutils multilib
@@ -19,7 +19,7 @@
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="~amd64 ppc ~sparc ~x86"
+KEYWORDS="amd64 ppc ~sparc x86"
DEPEND="|| ( ( >=dev-lang/ocaml-3.10 >=dev-ml/camlp5-5.01 ) <dev-lang/ocaml-3.10 )
>=dev-lang/ocaml-3.08
1.30 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.30&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.30&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.29&r2=1.30
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.29
retrieving revision 1.30
diff -u -r1.29 -r1.30
--- ChangeLog 3 Apr 2008 01:24:06 -0000 1.29
+++ ChangeLog 6 Apr 2008 19:26:46 -0000 1.30
@@ -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.29 2008/04/03 01:24:06 ranger Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.30 2008/04/06 19:26:46 maekke Exp $
+
+ 06 Apr 2008; Markus Meier <maekke@gentoo.org> coq-8.1_p3.ebuild:
+ amd64/x86 stable, bug #215746
03 Apr 2008; Brent Baude <ranger@gentoo.org> coq-8.1_p3.ebuild:
stable ppc, bug 215746
--
gentoo-commits@lists.gentoo.org mailing list
^ permalink raw reply [flat|nested] 6+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.1_p3.ebuild ChangeLog
@ 2008-04-08 15:06 Raul Porcel (armin76)
0 siblings, 0 replies; 6+ messages in thread
From: Raul Porcel (armin76) @ 2008-04-08 15:06 UTC (permalink / raw
To: gentoo-commits
armin76 08/04/08 15:06:36
Modified: coq-8.1_p3.ebuild ChangeLog
Log:
sparc stable wrt #215746
(Portage version: 2.1.4.4)
Revision Changes Path
1.9 sci-mathematics/coq/coq-8.1_p3.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.9&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.9&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?r1=1.8&r2=1.9
Index: coq-8.1_p3.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -r1.8 -r1.9
--- coq-8.1_p3.ebuild 6 Apr 2008 19:26:46 -0000 1.8
+++ coq-8.1_p3.ebuild 8 Apr 2008 15:06:35 -0000 1.9
@@ -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.8 2008/04/06 19:26:46 maekke Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.9 2008/04/08 15:06:35 armin76 Exp $
inherit eutils multilib
@@ -19,7 +19,7 @@
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="amd64 ppc ~sparc x86"
+KEYWORDS="amd64 ppc sparc x86"
DEPEND="|| ( ( >=dev-lang/ocaml-3.10 >=dev-ml/camlp5-5.01 ) <dev-lang/ocaml-3.10 )
>=dev-lang/ocaml-3.08
1.31 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.31&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.31&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.30&r2=1.31
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.30
retrieving revision 1.31
diff -u -r1.30 -r1.31
--- ChangeLog 6 Apr 2008 19:26:46 -0000 1.30
+++ ChangeLog 8 Apr 2008 15:06:35 -0000 1.31
@@ -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.30 2008/04/06 19:26:46 maekke Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.31 2008/04/08 15:06:35 armin76 Exp $
+
+ 08 Apr 2008; Raúl Porcel <armin76@gentoo.org> coq-8.1_p3.ebuild:
+ sparc stable wrt #215746
06 Apr 2008; Markus Meier <maekke@gentoo.org> coq-8.1_p3.ebuild:
amd64/x86 stable, bug #215746
--
gentoo-commits@lists.gentoo.org mailing list
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2008-04-08 15:06 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2008-01-16 12:31 [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.1_p3.ebuild ChangeLog Alexis Ballier (aballier)
-- strict thread matches above, loose matches on Subject: below --
2008-04-08 15:06 Raul Porcel (armin76)
2008-04-06 19:26 Markus Meier (maekke)
2008-04-03 1:24 Brent Baude (ranger)
2008-01-16 13:35 Alexis Ballier (aballier)
2008-01-03 17:41 Alexis Ballier (aballier)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox