From 9aa3dd8d52bc1ac63f44b9d37239cc3a246757da Mon Sep 17 00:00:00 2001 From: Ulrich Müller Date: Thu, 11 Feb 2010 09:56:22 +0000 Subject: Fix parallel make issue, install html documentation, bug 304399. (Portage version: 2.2_rc62/cvs/Linux i686) --- app-emacs/proofgeneral/ChangeLog | 7 +++++-- app-emacs/proofgeneral/files/50proofgeneral-gentoo.el | 3 --- app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild | 17 ++++++++--------- 3 files changed, 13 insertions(+), 14 deletions(-) (limited to 'app-emacs') 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 proofgeneral-3.7.1.ebuild: + Fix parallel make issue, install html documentation, bug 304399. 17 Aug 2009; Christian Faulhammer -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" -- cgit v1.2.3-65-gdbad