add elisp-site-regen to postrm and canonicalise it in postinst; depending on USE=emacs

Package-Manager: portage-2.1.3.9

4 files changed, 86 insertions, 9 deletions

diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog
index 50dfe3dde1d8..97cc3f403ee6 100644
--- a/sci-mathematics/agda/ChangeLog
+++ b/sci-mathematics/agda/ChangeLog
@@ -1,6 +1,13 @@
 # ChangeLog for sci-mathematics/agda
 # Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.4 2007/07/31 21:55:39 phreak Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.5 2007/09/23 12:12:04 opfer Exp $
+
+*agda-1.0.2-r1 (23 Sep 2007)
+
+  23 Sep 2007; Christian Faulhammer <opfer@gentoo.org>
+  +agda-1.0.2-r1.ebuild:
+  add elisp-site-regen to postrm and canonicalise it in postinst; depending on
+  USE=emacs
 
   31 Jul 2007; Christian Heim <phreak@gentoo.org> metadata.xml:
   Reassigning to sci from math-proof.
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest
index e04c5ad915e3..9a7487bedf08 100644
--- a/sci-mathematics/agda/Manifest
+++ b/sci-mathematics/agda/Manifest
@@ -10,14 +10,18 @@ MD5 2295b9b9d83dd185900ab3b215f2fc6f files/agda-make_install.patch 549
 RMD160 323539535e17244e979f0fd14684f4375e0de4ef files/agda-make_install.patch 549
 SHA256 f23e6fa062ca5ef3c6b1e6b7e9133a19bcf3846e12fdd1659d23d44d252946fc files/agda-make_install.patch 549
 DIST Agda-1.0.2.tar.gz 505642 RMD160 6686a0bd5920a83a3e08ef2894b8ddf1620f21c2 SHA1 fffcb8ca8d565e40756cd57035d869a90d2538cc SHA256 2ab56783a26e84f64422316daf0ce160f983667357361e2986baa13fb17e7ea1
+EBUILD agda-1.0.2-r1.ebuild 1282 RMD160 4937e88280dcb3858dafef85289a635ff246a435 SHA1 2c20542bdf0312e259d4cc4657b1aa95573c27b0 SHA256 6d926cefc98ace0484771e990d271cf2d8c59adeed391b00214ae312b555d0fe
+MD5 fd06abcf7e4cbbddca15dcb5c7fe9613 agda-1.0.2-r1.ebuild 1282
+RMD160 4937e88280dcb3858dafef85289a635ff246a435 agda-1.0.2-r1.ebuild 1282
+SHA256 6d926cefc98ace0484771e990d271cf2d8c59adeed391b00214ae312b555d0fe agda-1.0.2-r1.ebuild 1282
 EBUILD agda-1.0.2.ebuild 1246 RMD160 5f4bb377709d449aa58af4aa1dcbe30805be1bd7 SHA1 2438b49718a49deedf06400b9f77f492bbc831d8 SHA256 7f3fa32f203aa406a7cd90cc939bba3f77f2861baeb87414e4c19ba33652cbff
 MD5 9ba686e45be0f63eded30d218cc02b0e agda-1.0.2.ebuild 1246
 RMD160 5f4bb377709d449aa58af4aa1dcbe30805be1bd7 agda-1.0.2.ebuild 1246
 SHA256 7f3fa32f203aa406a7cd90cc939bba3f77f2861baeb87414e4c19ba33652cbff agda-1.0.2.ebuild 1246
-MISC ChangeLog 935 RMD160 7a780043a0982f971a89b61cb28741a3f6f95ea8 SHA1 610bda1bfdb398268420ce27d38befef496abfec SHA256 ae8860092871cc36f0fb0fe02fedb289e0dc5d9b85b976004c705781325afb48
-MD5 ab8a15ece3e7cc7606f099595110b33d ChangeLog 935
-RMD160 7a780043a0982f971a89b61cb28741a3f6f95ea8 ChangeLog 935
-SHA256 ae8860092871cc36f0fb0fe02fedb289e0dc5d9b85b976004c705781325afb48 ChangeLog 935
+MISC ChangeLog 1136 RMD160 a1e19b7c374e5ab063c1cd40cfc5bfc10bbe51e6 SHA1 2a9767fe367e46b97af60174a96f6d507e3669db SHA256 c19a83e164a64f9eaf35d6b9494194948f7dddefe7181bc17c19176898483098
+MD5 782cfed916afd62f2146d7578b72a3ba ChangeLog 1136
+RMD160 a1e19b7c374e5ab063c1cd40cfc5bfc10bbe51e6 ChangeLog 1136
+SHA256 c19a83e164a64f9eaf35d6b9494194948f7dddefe7181bc17c19176898483098 ChangeLog 1136
 MISC metadata.xml 179 RMD160 df489a6cad85f0b92f9766fa51d3ba4400889b4c SHA1 a70f1537d568405a6cae08cc53c80176bf307c84 SHA256 314c17b2733c7282a7ce0f60bbb5d36aaebd67fa7f76fe45535c4d7073178dd0
 MD5 fa44c10a8d0f5cb4a3ebf987c8ac04c3 metadata.xml 179
 RMD160 df489a6cad85f0b92f9766fa51d3ba4400889b4c metadata.xml 179
@@ -25,10 +29,13 @@ SHA256 314c17b2733c7282a7ce0f60bbb5d36aaebd67fa7f76fe45535c4d7073178dd0 metadata
 MD5 98bd3cd8d24abf74efcf22a2e12cdd71 files/digest-agda-1.0.2 232
 RMD160 7dc6661694f20a10fb482b5e6d06627363825de5 files/digest-agda-1.0.2 232
 SHA256 240d4bacf5e94ee20d8c3d32e102884aea60f83835a9f73755dfe2afd119db22 files/digest-agda-1.0.2 232
+MD5 98bd3cd8d24abf74efcf22a2e12cdd71 files/digest-agda-1.0.2-r1 232
+RMD160 7dc6661694f20a10fb482b5e6d06627363825de5 files/digest-agda-1.0.2-r1 232
+SHA256 240d4bacf5e94ee20d8c3d32e102884aea60f83835a9f73755dfe2afd119db22 files/digest-agda-1.0.2-r1 232
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.5 (GNU/Linux)
+Version: GnuPG v1.4.7 (GNU/Linux)
 
-iD8DBQFGr6/ryuNVb5qfaOYRArPcAKC0hGEL6Acrp5dFW2+WL6BBy8t2FgCfdETs
-8Ze1Lhp8zrCj/AlRBjNA2wU=
-=ZCfc
+iD8DBQFG9lgfNQqtfCuFneMRAhh3AJ4yPWhcKSFTLDHFsqe/noRBaClXTgCeK1mD
+xcTRfFS5HmKtHElgHbtCY3U=
+=NzzV
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/agda/agda-1.0.2-r1.ebuild b/sci-mathematics/agda/agda-1.0.2-r1.ebuild
new file mode 100644
index 000000000000..9f517c272c17
--- /dev/null
+++ b/sci-mathematics/agda/agda-1.0.2-r1.ebuild
@@ -0,0 +1,60 @@
+# Copyright 1999-2007 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-1.0.2-r1.ebuild,v 1.1 2007/09/23 12:12:04 opfer Exp $
+
+inherit autotools elisp-common
+
+MY_PN="Agda"
+S="${WORKDIR}/${MY_PN}-${PV}"
+
+DESCRIPTION="Agda is a proof assistant in Haskell."
+HOMEPAGE="http://unit.aist.go.jp/cvs/Agda/"
+SRC_URI="mirror://sourceforge/${PN}/${MY_PN}-${PV}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~x86"
+IUSE="doc emacs"
+
+DEPEND="virtual/ghc
+		emacs? ( virtual/emacs )
+		doc? ( dev-haskell/haddock )"
+RDEPEND=""
+
+SITEFILE="50${PN}-gentoo.el"
+
+src_unpack() {
+	unpack ${A}
+	cd "${S}"
+	epatch "${FILESDIR}/agda-make_install.patch"
+}
+
+src_compile() {
+	cd "${S}"
+	econf --enable-newsyntax || die "./configure failed"
+	emake || die "make failed"
+	if use doc ; then
+		emake html
+	fi
+}
+
+src_install() {
+	if use emacs; then
+		cd "${S}/elisp"
+		elisp-install ${PN} *.el
+		elisp-site-file-install ${FILESDIR}/${SITEFILE}
+	fi
+	cd "${S}/src"
+	make prefix="${D}/usr" install || die "make install failed"
+	dosym /usr/lib/EmacsAgda/bin/emacsagda /usr/bin/emacsagda
+	dosym /usr/bin/emacsagda /usr/bin/agda
+
+}
+
+pkg_postinst() {
+	use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+	use emacs && elisp-site-regen
+}
diff --git a/sci-mathematics/agda/files/digest-agda-1.0.2-r1 b/sci-mathematics/agda/files/digest-agda-1.0.2-r1
new file mode 100644
index 000000000000..6fe07da53bc6
--- /dev/null
+++ b/sci-mathematics/agda/files/digest-agda-1.0.2-r1
@@ -0,0 +1,3 @@
+MD5 68f669d2b98d12999aabeab6253f4c35 Agda-1.0.2.tar.gz 505642
+RMD160 6686a0bd5920a83a3e08ef2894b8ddf1620f21c2 Agda-1.0.2.tar.gz 505642
+SHA256 2ab56783a26e84f64422316daf0ce160f983667357361e2986baa13fb17e7ea1 Agda-1.0.2.tar.gz 505642