[patch] Proposed patch for agda-1.0.2-r1.ebuild

agda-1.0.2-r1.ebuild.diff (text/plain), 1.01 KB, created by Ulrich Müller on 2008-11-30 16:11:48 UTC

--- agda-1.0.2-r1.ebuild	2008-08-06 20:32:06.000000000 +0200
+++ agda-1.0.2-r2.ebuild	2008-11-30 16:35:23.000000000 +0100
@@ -16,10 +16,10 @@
 KEYWORDS="~x86 ~amd64"
 IUSE="emacs"
 
-DEPEND="dev-lang/ghc
-		dev-haskell/mtl
-		emacs? ( virtual/emacs )"
-RDEPEND=""
+RDEPEND="emacs? ( virtual/emacs app-emacs/haskell-mode )"
+DEPEND="${RDEPEND}
+	dev-lang/ghc
+	dev-haskell/mtl"
 
 SITEFILE="50${PN}-gentoo.el"
 
@@ -39,17 +39,19 @@
 	#if use doc ; then
 	#	emake html
 	#fi
+	if use emacs; then
+		elisp-compile elisp/agda-mode.el || die
+	fi
 }
 
 src_install() {
-	emake ROOT="${D}" install || die "make install failed"
+	emake -C src ROOT="${D}" install || die "make install failed"
 	dosym /usr/lib/EmacsAgda/bin/emacsagda /usr/bin/emacsagda
 	dosym /usr/bin/emacsagda /usr/bin/agda
 
 	if use emacs; then
-		cd "${S}/elisp"
-		elisp-install ${PN} *.el
-		elisp-site-file-install "${FILESDIR}"/${SITEFILE}
+		elisp-install ${PN} elisp/agda-mode.{el,elc} || die
+		elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
 	fi
 }