| 1 |
ago |
1.2 |
# Copyright 1999-2012 Gentoo Foundation |
| 2 |
ulm |
1.1 |
# Distributed under the terms of the GNU General Public License v2 |
| 3 |
phajdan.jr |
1.4 |
# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.1.ebuild,v 1.3 2012/03/01 23:53:48 ranger Exp $ |
| 4 |
ulm |
1.1 |
|
| 5 |
|
|
EAPI=4 |
| 6 |
|
|
NEED_EMACS=23 |
| 7 |
|
|
|
| 8 |
|
|
inherit elisp |
| 9 |
|
|
|
| 10 |
|
|
MY_PN="ProofGeneral" |
| 11 |
|
|
DESCRIPTION="A generic interface for proof assistants" |
| 12 |
|
|
HOMEPAGE="http://proofgeneral.inf.ed.ac.uk/" |
| 13 |
|
|
SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tgz" |
| 14 |
|
|
|
| 15 |
|
|
LICENSE="GPL-2" |
| 16 |
|
|
SLOT="0" |
| 17 |
phajdan.jr |
1.4 |
KEYWORDS="amd64 ppc x86" |
| 18 |
ulm |
1.1 |
IUSE="" |
| 19 |
|
|
|
| 20 |
|
|
DEPEND=">=app-emacs/mmm-mode-0.4.8-r2" |
| 21 |
|
|
RDEPEND="${DEPEND}" |
| 22 |
|
|
|
| 23 |
|
|
S="${WORKDIR}/${MY_PN}-${PV}" |
| 24 |
|
|
ELISP_PATCHES="${P}-emacs-24.patch" |
| 25 |
|
|
SITEFILE="50${PN}-gentoo.el" |
| 26 |
|
|
|
| 27 |
|
|
src_prepare() { |
| 28 |
|
|
elisp_src_prepare |
| 29 |
|
|
sed -i -e '/^OTHER_ELISP/s:contrib/mmm::' Makefile || die |
| 30 |
|
|
} |
| 31 |
|
|
|
| 32 |
|
|
src_compile() { |
| 33 |
|
|
# remove precompiled lisp files |
| 34 |
|
|
emake clean |
| 35 |
|
|
emake -j1 compile EMACS=emacs |
| 36 |
|
|
} |
| 37 |
|
|
|
| 38 |
|
|
src_install() { |
| 39 |
|
|
emake -j1 install EMACS=emacs PREFIX="${D}"/usr |
| 40 |
|
|
elisp-site-file-install "${FILESDIR}/${SITEFILE}" ${MY_PN} || die |
| 41 |
|
|
|
| 42 |
|
|
doinfo doc/*.info* |
| 43 |
|
|
doman doc/proofgeneral.1 |
| 44 |
|
|
dohtml doc/ProofGeneral/*.html doc/PG-adapting/*.html |
| 45 |
|
|
dodoc AUTHORS BUGS CHANGES COMPATIBILITY FAQ INSTALL README REGISTER |
| 46 |
|
|
|
| 47 |
|
|
# clean up |
| 48 |
|
|
rm -rf "${D}/usr/share/emacs/site-lisp/site-start.d" |
| 49 |
|
|
rm -rf "${D}/usr/share/application-registry" |
| 50 |
|
|
rm -rf "${D}/usr/share/mime-info" |
| 51 |
|
|
} |
| 52 |
|
|
|
| 53 |
|
|
pkg_postinst() { |
| 54 |
|
|
elisp-site-regen |
| 55 |
|
|
elog "Please register your use of Proof General on the web at:" |
| 56 |
|
|
elog " http://proofgeneral.inf.ed.ac.uk/register " |
| 57 |
|
|
elog "(see the REGISTER file for more information)" |
| 58 |
|
|
} |
Parent Directory
| 
Revision Log