* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.4_p1.ebuild ChangeLog
@ 2013-01-07 2:30 Mark Wright (gienah)
0 siblings, 0 replies; 4+ messages in thread
From: Mark Wright (gienah) @ 2013-01-07 2:30 UTC (permalink / raw
To: gentoo-commits
gienah 13/01/07 02:30:47
Modified: ChangeLog
Added: coq-8.4_p1.ebuild
Log:
Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, so that patch is not applied to coq-8.4_p1.
(Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Revision Changes Path
1.75 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.75&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.75&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.74&r2=1.75
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.74
retrieving revision 1.75
diff -u -r1.74 -r1.75
--- ChangeLog 6 Oct 2012 21:07:26 -0000 1.74
+++ ChangeLog 7 Jan 2013 02:30:46 -0000 1.75
@@ -1,6 +1,12 @@
# ChangeLog for sci-mathematics/coq
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.74 2012/10/06 21:07:26 aballier Exp $
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.75 2013/01/07 02:30:46 gienah Exp $
+
+*coq-8.4_p1 (07 Jan 2013)
+
+ 07 Jan 2013; Mark Wright <gienah@gentoo.org> +coq-8.4_p1.ebuild:
+ Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, so
+ that patch is not applied to coq-8.4_p1.
07 Oct 2012; Alexis Ballier <aballier@gentoo.org> coq-8.4.ebuild,
metadata.xml:
@@ -339,4 +345,3 @@
metadata.xml, files/ocaml-3.07.patch:
Initial commit. Related bugs are 30388 and 24616. norealanalysis use flag idea
taken from Peter Lietz <p.lietz@gmx.de> ebuild.
-
1.1 sci-mathematics/coq/coq-8.4_p1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild?rev=1.1&content-type=text/plain
Index: coq-8.4_p1.ebuild
===================================================================
# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v 1.1 2013/01/07 02:30:46 gienah Exp $
EAPI="4"
inherit eutils multilib
MY_PV=${PV/_p/pl}
MY_P=${PN}-${MY_PV}
DESCRIPTION="Coq is a proof assistant written in O'Caml"
HOMEPAGE="http://coq.inria.fr/"
SRC_URI="http://${PN}.inria.fr/V${MY_PV}/files/${MY_P}.tar.gz"
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64 ~ppc ~x86"
IUSE="gtk debug +ocamlopt doc camlp5"
RDEPEND=">=dev-lang/ocaml-3.11.2[ocamlopt?]
camlp5? ( >=dev-ml/camlp5-6.02.3[ocamlopt?] )
gtk? ( >=dev-ml/lablgtk-2.10.1[ocamlopt?] )"
DEPEND="${RDEPEND}
doc? (
media-libs/netpbm[png,zlib]
virtual/latex-base
dev-tex/hevea
dev-tex/xcolor
dev-texlive/texlive-pictures
dev-texlive/texlive-mathextra
dev-texlive/texlive-latexextra
)"
S=${WORKDIR}/${MY_P}
src_configure() {
ocaml_lib=`ocamlc -where`
local myconf="--prefix /usr
--bindir /usr/bin
--libdir /usr/$(get_libdir)/coq
--mandir /usr/share/man
--emacslib /usr/share/emacs/site-lisp
--coqdocdir /usr/$(get_libdir)/coq/coqdoc
--docdir /usr/share/doc/${PF}
--configdir /etc/xdg/${PN}
--lablgtkdir ${ocaml_lib}/lablgtk2"
use debug && myconf="--debug $myconf"
use doc || myconf="$myconf --with-doc no"
if use gtk; then
use ocamlopt && myconf="$myconf --coqide opt"
use ocamlopt || myconf="$myconf --coqide byte"
else
myconf="$myconf --coqide no"
fi
use ocamlopt || myconf="$myconf -byte-only"
use ocamlopt && myconf="$myconf --opt"
use camlp5 || myconf="$myconf --usecamlp4"
use camlp5 && myconf="$myconf --camlp5dir ${ocaml_lib}/camlp5"
export CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/"
./configure $myconf || die "configure failed"
}
src_compile() {
emake STRIP="true" -j1 || die "make failed"
}
src_install() {
emake STRIP="true" COQINSTALLPREFIX="${D}" install || die
dodoc README CREDITS CHANGES
use gtk && make_desktop_entry "/usr/bin/coqide" "Coq IDE" "/usr/share/coq/coq.png"
}
^ permalink raw reply [flat|nested] 4+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.4_p1.ebuild ChangeLog
@ 2013-01-15 19:25 Alexis Ballier (aballier)
0 siblings, 0 replies; 4+ messages in thread
From: Alexis Ballier (aballier) @ 2013-01-15 19:25 UTC (permalink / raw
To: gentoo-commits
aballier 13/01/15 19:25:21
Modified: coq-8.4_p1.ebuild ChangeLog
Log:
fix build with camlp4, bug #450954
(Portage version: 2.2.0_alpha153/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
Revision Changes Path
1.2 sci-mathematics/coq/coq-8.4_p1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild?r1=1.1&r2=1.2
Index: coq-8.4_p1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- coq-8.4_p1.ebuild 7 Jan 2013 02:30:46 -0000 1.1
+++ coq-8.4_p1.ebuild 15 Jan 2013 19:25:21 -0000 1.2
@@ -1,6 +1,6 @@
# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v 1.1 2013/01/07 02:30:46 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v 1.2 2013/01/15 19:25:21 aballier Exp $
EAPI="4"
@@ -34,6 +34,10 @@
S=${WORKDIR}/${MY_P}
+src_prepare() {
+ epatch "${FILESDIR}/${P}-camlp4.patch"
+}
+
src_configure() {
ocaml_lib=`ocamlc -where`
local myconf="--prefix /usr
1.76 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.76&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.76&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.75&r2=1.76
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.75
retrieving revision 1.76
diff -u -r1.75 -r1.76
--- ChangeLog 7 Jan 2013 02:30:46 -0000 1.75
+++ ChangeLog 15 Jan 2013 19:25:21 -0000 1.76
@@ -1,6 +1,10 @@
# ChangeLog for sci-mathematics/coq
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.75 2013/01/07 02:30:46 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.76 2013/01/15 19:25:21 aballier Exp $
+
+ 15 Jan 2013; Alexis Ballier <aballier@gentoo.org> coq-8.4_p1.ebuild,
+ +files/coq-8.4_p1-camlp4.patch:
+ fix build with camlp4, bug #450954
*coq-8.4_p1 (07 Jan 2013)
^ permalink raw reply [flat|nested] 4+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.4_p1.ebuild ChangeLog
@ 2013-03-05 16:44 Agostino Sarubbo (ago)
0 siblings, 0 replies; 4+ messages in thread
From: Agostino Sarubbo (ago) @ 2013-03-05 16:44 UTC (permalink / raw
To: gentoo-commits
ago 13/03/05 16:44:07
Modified: coq-8.4_p1.ebuild ChangeLog
Log:
Stable for amd64, wrt bug #460136
(Portage version: 2.1.11.52/cvs/Linux x86_64, signed Manifest commit with key 7194459F)
Revision Changes Path
1.3 sci-mathematics/coq/coq-8.4_p1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild?r1=1.2&r2=1.3
Index: coq-8.4_p1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- coq-8.4_p1.ebuild 15 Jan 2013 19:25:21 -0000 1.2
+++ coq-8.4_p1.ebuild 5 Mar 2013 16:44:07 -0000 1.3
@@ -1,6 +1,6 @@
# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v 1.2 2013/01/15 19:25:21 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v 1.3 2013/03/05 16:44:07 ago Exp $
EAPI="4"
@@ -15,7 +15,7 @@
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="amd64 ~ppc ~x86"
IUSE="gtk debug +ocamlopt doc camlp5"
RDEPEND=">=dev-lang/ocaml-3.11.2[ocamlopt?]
1.77 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.77&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.77&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.76&r2=1.77
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.76
retrieving revision 1.77
diff -u -r1.76 -r1.77
--- ChangeLog 15 Jan 2013 19:25:21 -0000 1.76
+++ ChangeLog 5 Mar 2013 16:44:07 -0000 1.77
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/coq
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.76 2013/01/15 19:25:21 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.77 2013/03/05 16:44:07 ago Exp $
+
+ 05 Mar 2013; Agostino Sarubbo <ago@gentoo.org> coq-8.4_p1.ebuild:
+ Stable for amd64, wrt bug #460136
15 Jan 2013; Alexis Ballier <aballier@gentoo.org> coq-8.4_p1.ebuild,
+files/coq-8.4_p1-camlp4.patch:
^ permalink raw reply [flat|nested] 4+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.4_p1.ebuild ChangeLog
@ 2013-04-15 8:47 Agostino Sarubbo (ago)
0 siblings, 0 replies; 4+ messages in thread
From: Agostino Sarubbo (ago) @ 2013-04-15 8:47 UTC (permalink / raw
To: gentoo-commits
ago 13/04/15 08:47:14
Modified: coq-8.4_p1.ebuild ChangeLog
Log:
Stable for x86, wrt bug #460136
(Portage version: 2.1.11.55/cvs/Linux x86_64, signed Manifest commit with key 7194459F)
Revision Changes Path
1.4 sci-mathematics/coq/coq-8.4_p1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild?r1=1.3&r2=1.4
Index: coq-8.4_p1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- coq-8.4_p1.ebuild 5 Mar 2013 16:44:07 -0000 1.3
+++ coq-8.4_p1.ebuild 15 Apr 2013 08:47:14 -0000 1.4
@@ -1,6 +1,6 @@
# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v 1.3 2013/03/05 16:44:07 ago Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v 1.4 2013/04/15 08:47:14 ago Exp $
EAPI="4"
@@ -15,7 +15,7 @@
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="amd64 ~ppc ~x86"
+KEYWORDS="amd64 ~ppc x86"
IUSE="gtk debug +ocamlopt doc camlp5"
RDEPEND=">=dev-lang/ocaml-3.11.2[ocamlopt?]
1.78 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.78&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.78&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.77&r2=1.78
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.77
retrieving revision 1.78
diff -u -r1.77 -r1.78
--- ChangeLog 5 Mar 2013 16:44:07 -0000 1.77
+++ ChangeLog 15 Apr 2013 08:47:14 -0000 1.78
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/coq
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.77 2013/03/05 16:44:07 ago Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.78 2013/04/15 08:47:14 ago Exp $
+
+ 15 Apr 2013; Agostino Sarubbo <ago@gentoo.org> coq-8.4_p1.ebuild:
+ Stable for x86, wrt bug #460136
05 Mar 2013; Agostino Sarubbo <ago@gentoo.org> coq-8.4_p1.ebuild:
Stable for amd64, wrt bug #460136
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2013-04-15 8:47 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-01-15 19:25 [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.4_p1.ebuild ChangeLog Alexis Ballier (aballier)
-- strict thread matches above, loose matches on Subject: below --
2013-04-15 8:47 Agostino Sarubbo (ago)
2013-03-05 16:44 Agostino Sarubbo (ago)
2013-01-07 2:30 Mark Wright (gienah)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox