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 | fed8997584e142a313f488af845ba8791c54bd0f (patch) | |
| tree | 4bb38e88c367f2a75337072754cb780ec04a7c23 /app-emacs/proofgeneral | |
| parent | Missing sys-fs/fuseiso runtime depend wrt #304491 by Fest. (diff) | |
| download | historical-fed8997584e142a313f488af845ba8791c54bd0f.tar.gz historical-fed8997584e142a313f488af845ba8791c54bd0f.tar.bz2 historical-fed8997584e142a313f488af845ba8791c54bd0f.zip | |
Fix parallel make issue, install html documentation, bug 304399.
Package-Manager: portage-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/Manifest | 14 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/files/50proofgeneral-gentoo.el | 3 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild | 17 |
4 files changed, 20 insertions, 21 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/Manifest b/app-emacs/proofgeneral/Manifest index 88f2b6ee6e2d..87a7ea755c47 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,15 +1,15 @@ -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 -AUX 50proofgeneral-gentoo.el 111 RMD160 47c0b68c0797346cb0c8f19b2113e31786697e89 SHA1 ed5d5b15645a86fe1eb000f5fb74ccc599459ee9 SHA256 e57baa810a64b4fdaa5602d183001b86ece583981fc4374575fc4716de468eac +AUX 50proofgeneral-gentoo.el 68 RMD160 f88b8933267aaeb02694c155223c910bfbde8103 SHA1 131add694a99178ba800fe25f5906102ab39e2cf SHA256 85504cdc0876b745d6989be00b87cc88ffc1dd6dfabff96a3cc3c3d48dfbe898 DIST ProofGeneral-3.7.1.tgz 2023176 RMD160 57740365463b0049f9409e9dc1e97bf66a81fb90 SHA1 8bfa5b8c8f670ac992628aa05824f4bf514673a2 SHA256 e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93 -EBUILD proofgeneral-3.7.1.ebuild 1256 RMD160 3e7737df98424ccf6a0a464176969dc769d4891d SHA1 3c77d03fbf01d232b07bb5b49e4bbdbb6ae728fc SHA256 877a17bce348d822437625e7a4a811079f1c8843e9a59588101ef8f79b69a33e -MISC ChangeLog 4170 RMD160 e62b34faa8949a2fa9984df3817b21c1075449c3 SHA1 9aea313ff62882e5908ac9df34b923666926a6c0 SHA256 fca5fa7cfdf5840dda602951c61f36b0c889dfe53d96371c707944e869d8287e +EBUILD proofgeneral-3.7.1.ebuild 1344 RMD160 35cffe13a96d86d24a5586112b85822137a56229 SHA1 8c79e7ddcba6ed75e9b28ada8089ab8a0ae733d8 SHA256 0199b19bf18c0c20cfa5719dcfbec325511013d00f777c2b1c25ee72719806ba +MISC ChangeLog 4310 RMD160 ff298196bec3356dbae749101e732cb50e1696f8 SHA1 ad8aff2a3bb9d6542435c64213820e4b9533d9b3 SHA256 a0261303c5024e53186bd3f7b7f6c85cd9787962d6ac7fac00e8024b0e0173f3 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.11 (GNU/Linux) +Version: GnuPG v2.0.14 (GNU/Linux) -iEYEARECAAYFAkqJuEgACgkQNQqtfCuFnePp/QCZAcJ8mUBUCFk+2zPDADKASScA -zAEAni7cVTfJ9MtxgB54XwYYfGLLLbcI -=yAKE +iEYEARECAAYFAktz1GIACgkQOeoy/oIi7uxYewCfSXLe8sTVDf77cuIkh89cPIUe +XRIAni5+fLzIHh7pCaY9gUTkcbhQDTHW +=JIhi -----END PGP SIGNATURE----- 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" |