1 |
vapier 08/12/01 16:52:10 |
2 |
|
3 |
Modified: ChangeLog ppl-0.10.ebuild |
4 |
Log: |
5 |
Fix typo pointed out by Sigmatador. |
6 |
(Portage version: 2.2_rc16/cvs/Linux 2.6.27.4 x86_64) |
7 |
|
8 |
Revision Changes Path |
9 |
1.4 dev-libs/ppl/ChangeLog |
10 |
|
11 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.4&view=markup |
12 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.4&content-type=text/plain |
13 |
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.3&r2=1.4 |
14 |
|
15 |
Index: ChangeLog |
16 |
=================================================================== |
17 |
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v |
18 |
retrieving revision 1.3 |
19 |
retrieving revision 1.4 |
20 |
diff -u -r1.3 -r1.4 |
21 |
--- ChangeLog 30 Nov 2008 02:59:13 -0000 1.3 |
22 |
+++ ChangeLog 1 Dec 2008 16:52:10 -0000 1.4 |
23 |
@@ -1,6 +1,9 @@ |
24 |
# ChangeLog for dev-libs/ppl |
25 |
# Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2 |
26 |
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.3 2008/11/30 02:59:13 vapier Exp $ |
27 |
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.4 2008/12/01 16:52:10 vapier Exp $ |
28 |
+ |
29 |
+ 01 Dec 2008; Mike Frysinger <vapier@g.o> ppl-0.10.ebuild: |
30 |
+ Fix typo pointed out by Sigmatador. |
31 |
|
32 |
*ppl-0.10 (30 Nov 2008) |
33 |
|
34 |
|
35 |
|
36 |
|
37 |
1.2 dev-libs/ppl/ppl-0.10.ebuild |
38 |
|
39 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10.ebuild?rev=1.2&view=markup |
40 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10.ebuild?rev=1.2&content-type=text/plain |
41 |
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10.ebuild?r1=1.1&r2=1.2 |
42 |
|
43 |
Index: ppl-0.10.ebuild |
44 |
=================================================================== |
45 |
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.ebuild,v |
46 |
retrieving revision 1.1 |
47 |
retrieving revision 1.2 |
48 |
diff -u -r1.1 -r1.2 |
49 |
--- ppl-0.10.ebuild 30 Nov 2008 02:59:13 -0000 1.1 |
50 |
+++ ppl-0.10.ebuild 1 Dec 2008 16:52:10 -0000 1.2 |
51 |
@@ -1,6 +1,6 @@ |
52 |
# Copyright 1999-2008 Gentoo Foundation |
53 |
# Distributed under the terms of the GNU General Public License v2 |
54 |
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.ebuild,v 1.1 2008/11/30 02:59:13 vapier Exp $ |
55 |
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.ebuild,v 1.2 2008/12/01 16:52:10 vapier Exp $ |
56 |
|
57 |
DESCRIPTION="The Parma Polyhedra Library (PPL) is a modern and reasonably complete library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems" |
58 |
HOMEPAGE="http://www.cs.unipr.it/ppl/" |
59 |
@@ -32,8 +32,8 @@ |
60 |
|
61 |
src_install() { |
62 |
emake DESTDIR="${D}" install || die |
63 |
- cd /usr/share/doc/${PF} |
64 |
+ cd "${D}"/usr/share/doc/${PF} |
65 |
mkdir html |
66 |
- mv *-html html/ |
67 |
+ mv *-html html/ || die |
68 |
prepalldocs |
69 |
} |