Gentoo Archives: gentoo-commits

From: "Alexis Ballier (aballier)" <aballier@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog coq-8.3_p4.ebuild
Date: Fri, 24 Aug 2012 13:39:57
Message-Id: 20120824133948.46858205A0@flycatcher.gentoo.org
1 aballier 12/08/24 13:39:48
2
3 Modified: ChangeLog coq-8.3_p4.ebuild
4 Log:
5 fix build with lablgtk 2.16
6
7 (Portage version: 2.2.0_alpha122/cvs/Linux x86_64)
8
9 Revision Changes Path
10 1.71 sci-mathematics/coq/ChangeLog
11
12 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.71&view=markup
13 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.71&content-type=text/plain
14 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.70&r2=1.71
15
16 Index: ChangeLog
17 ===================================================================
18 RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
19 retrieving revision 1.70
20 retrieving revision 1.71
21 diff -u -r1.70 -r1.71
22 --- ChangeLog 17 May 2012 14:52:29 -0000 1.70
23 +++ ChangeLog 24 Aug 2012 13:39:48 -0000 1.71
24 @@ -1,6 +1,10 @@
25 # ChangeLog for sci-mathematics/coq
26 # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
27 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.70 2012/05/17 14:52:29 aballier Exp $
28 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.71 2012/08/24 13:39:48 aballier Exp $
29 +
30 + 24 Aug 2012; Alexis Ballier <aballier@g.o> +files/lablgtk216.patch,
31 + coq-8.3_p4.ebuild:
32 + fix build with lablgtk 2.16
33
34 *coq-8.3_p4 (17 May 2012)
35
36
37
38
39 1.2 sci-mathematics/coq/coq-8.3_p4.ebuild
40
41 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.3_p4.ebuild?rev=1.2&view=markup
42 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.3_p4.ebuild?rev=1.2&content-type=text/plain
43 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.3_p4.ebuild?r1=1.1&r2=1.2
44
45 Index: coq-8.3_p4.ebuild
46 ===================================================================
47 RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3_p4.ebuild,v
48 retrieving revision 1.1
49 retrieving revision 1.2
50 diff -u -r1.1 -r1.2
51 --- coq-8.3_p4.ebuild 17 May 2012 14:52:29 -0000 1.1
52 +++ coq-8.3_p4.ebuild 24 Aug 2012 13:39:48 -0000 1.2
53 @@ -1,6 +1,6 @@
54 # Copyright 1999-2012 Gentoo Foundation
55 # Distributed under the terms of the GNU General Public License v2
56 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3_p4.ebuild,v 1.1 2012/05/17 14:52:29 aballier Exp $
57 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3_p4.ebuild,v 1.2 2012/08/24 13:39:48 aballier Exp $
58
59 EAPI="2"
60
61 @@ -40,6 +40,7 @@
62 # wild sed which replaces \"$LABLGTKLIB\" by $LABLGTKLIB. Note
63 # during pl2-bump: Hmm, my patch did not get applied upstream?
64 sed -i "s/\\\\\"\\\$LABLGTKLIB\\\\\"/\\\$LABLGTKLIB/" configure
65 + has_version '>=dev-ml/lablgtk-2.16' && epatch "${FILESDIR}/lablgtk216.patch"
66 }
67
68 src_configure() {