diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2010-02-11 09:56:22 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2010-02-11 09:56:22 +0000 |
| commit | 9aa3dd8d52bc1ac63f44b9d37239cc3a246757da (patch) | |
| tree | f5cb34d8590b97c8e76734134ee3a1c91da039a4 /app-emacs/proofgeneral | |
| parent | Missing sys-fs/fuseiso runtime depend wrt #304491 by Fest. (diff) | |
| download | gentoo-2-9aa3dd8d52bc1ac63f44b9d37239cc3a246757da.tar.gz gentoo-2-9aa3dd8d52bc1ac63f44b9d37239cc3a246757da.tar.bz2 gentoo-2-9aa3dd8d52bc1ac63f44b9d37239cc3a246757da.zip | |
Fix parallel make issue, install html documentation, bug 304399.
(Portage version: 2.2_rc62/cvs/Linux i686)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 7 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/files/50proofgeneral-gentoo.el | 3 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild | 17 |
3 files changed, 13 insertions, 14 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 972de47ca56e..80dee14c18cc 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-emacs/proofgeneral -# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.29 2009/08/17 20:06:26 fauli Exp $ +# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.30 2010/02/11 09:56:22 ulm Exp $ + + 11 Feb 2010; Ulrich Mueller <ulm@gentoo.org> proofgeneral-3.7.1.ebuild: + Fix parallel make issue, install html documentation, bug 304399. 17 Aug 2009; Christian Faulhammer <fauli@gentoo.org> -proofgeneral-3.7.ebuild: diff --git a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el index f6d697ff5c3e..4839b17f1f58 100644 --- a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el +++ b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el @@ -1,5 +1,2 @@ - -;;; proofgeneral site-lisp configuration - (add-to-list 'load-path "@SITELISP@/generic") (require 'proof-site) diff --git a/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild b/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild index 2620d6e8ac70..ac490197bed1 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild @@ -1,6 +1,6 @@ -# Copyright 1999-2009 Gentoo Foundation +# Copyright 1999-2010 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild,v 1.4 2009/06/11 19:41:23 maekke Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild,v 1.5 2010/02/11 09:56:22 ulm Exp $ inherit elisp @@ -18,19 +18,18 @@ S="${WORKDIR}/${MY_PN}-${PV}" SITEFILE="50${PN}-gentoo.el" src_compile() { - emake compile EMACS=emacs + emake -j1 compile EMACS=emacs || die "compile failed" } src_install() { - emake install EMACS=emacs PREFIX="${D}"/usr + emake -j1 install EMACS=emacs PREFIX="${D}"/usr || die "install failed" + elisp-site-file-install "${FILESDIR}/${SITEFILE}" ${MY_PN} || die - dohtml doc/*.html doc/*.jpg - doinfo doc/*.info* + doinfo doc/*.info* || die + doman doc/proofgeneral.1 || die + dohtml doc/ProofGeneral/*.html doc/PG-adapting/*.html || die dodoc AUTHORS BUGS CHANGES COMPATIBILITY FAQ FUTURE INSTALL README REGISTER - elisp-site-file-install "${FILESDIR}/${SITEFILE}" ${MY_PN} \ - || die "elisp-site-file-install failed" - # clean up rm -rf "${D}/usr/share/emacs/site-lisp/site-start.d" rm -rf "${D}/usr/share/application-registry" |