1 |
ulm 10/02/11 09:56:22 |
2 |
|
3 |
Modified: proofgeneral-3.7.1.ebuild ChangeLog |
4 |
Log: |
5 |
Fix parallel make issue, install html documentation, bug 304399. |
6 |
(Portage version: 2.2_rc62/cvs/Linux i686) |
7 |
|
8 |
Revision Changes Path |
9 |
1.5 app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild |
10 |
|
11 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild?rev=1.5&view=markup |
12 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild?rev=1.5&content-type=text/plain |
13 |
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild?r1=1.4&r2=1.5 |
14 |
|
15 |
Index: proofgeneral-3.7.1.ebuild |
16 |
=================================================================== |
17 |
RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild,v |
18 |
retrieving revision 1.4 |
19 |
retrieving revision 1.5 |
20 |
diff -u -r1.4 -r1.5 |
21 |
--- proofgeneral-3.7.1.ebuild 11 Jun 2009 19:41:23 -0000 1.4 |
22 |
+++ proofgeneral-3.7.1.ebuild 11 Feb 2010 09:56:22 -0000 1.5 |
23 |
@@ -1,6 +1,6 @@ |
24 |
-# Copyright 1999-2009 Gentoo Foundation |
25 |
+# Copyright 1999-2010 Gentoo Foundation |
26 |
# Distributed under the terms of the GNU General Public License v2 |
27 |
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild,v 1.4 2009/06/11 19:41:23 maekke Exp $ |
28 |
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild,v 1.5 2010/02/11 09:56:22 ulm Exp $ |
29 |
|
30 |
inherit elisp |
31 |
|
32 |
@@ -18,19 +18,18 @@ |
33 |
SITEFILE="50${PN}-gentoo.el" |
34 |
|
35 |
src_compile() { |
36 |
- emake compile EMACS=emacs |
37 |
+ emake -j1 compile EMACS=emacs || die "compile failed" |
38 |
} |
39 |
|
40 |
src_install() { |
41 |
- emake install EMACS=emacs PREFIX="${D}"/usr |
42 |
+ emake -j1 install EMACS=emacs PREFIX="${D}"/usr || die "install failed" |
43 |
+ elisp-site-file-install "${FILESDIR}/${SITEFILE}" ${MY_PN} || die |
44 |
|
45 |
- dohtml doc/*.html doc/*.jpg |
46 |
- doinfo doc/*.info* |
47 |
+ doinfo doc/*.info* || die |
48 |
+ doman doc/proofgeneral.1 || die |
49 |
+ dohtml doc/ProofGeneral/*.html doc/PG-adapting/*.html || die |
50 |
dodoc AUTHORS BUGS CHANGES COMPATIBILITY FAQ FUTURE INSTALL README REGISTER |
51 |
|
52 |
- elisp-site-file-install "${FILESDIR}/${SITEFILE}" ${MY_PN} \ |
53 |
- || die "elisp-site-file-install failed" |
54 |
- |
55 |
# clean up |
56 |
rm -rf "${D}/usr/share/emacs/site-lisp/site-start.d" |
57 |
rm -rf "${D}/usr/share/application-registry" |
58 |
|
59 |
|
60 |
|
61 |
1.30 app-emacs/proofgeneral/ChangeLog |
62 |
|
63 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/ChangeLog?rev=1.30&view=markup |
64 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/ChangeLog?rev=1.30&content-type=text/plain |
65 |
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/ChangeLog?r1=1.29&r2=1.30 |
66 |
|
67 |
Index: ChangeLog |
68 |
=================================================================== |
69 |
RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v |
70 |
retrieving revision 1.29 |
71 |
retrieving revision 1.30 |
72 |
diff -u -r1.29 -r1.30 |
73 |
--- ChangeLog 17 Aug 2009 20:06:26 -0000 1.29 |
74 |
+++ ChangeLog 11 Feb 2010 09:56:22 -0000 1.30 |
75 |
@@ -1,6 +1,9 @@ |
76 |
# ChangeLog for app-emacs/proofgeneral |
77 |
-# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2 |
78 |
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.29 2009/08/17 20:06:26 fauli Exp $ |
79 |
+# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 |
80 |
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.30 2010/02/11 09:56:22 ulm Exp $ |
81 |
+ |
82 |
+ 11 Feb 2010; Ulrich Mueller <ulm@g.o> proofgeneral-3.7.1.ebuild: |
83 |
+ Fix parallel make issue, install html documentation, bug 304399. |
84 |
|
85 |
17 Aug 2009; Christian Faulhammer <fauli@g.o> |
86 |
-proofgeneral-3.7.ebuild: |