[gentoo-commits] gentoo-x86 commit in sci-mathematics/agda: ChangeLog agda-1.0.2-r1.ebuild

[Christian Faulhammer (opfer)]

opfer       07/09/23 12:12:04

  Modified:             ChangeLog
  Added:                agda-1.0.2-r1.ebuild
  Log:
  add elisp-site-regen to postrm and canonicalise it in postinst; depending on USE=emacs
  (Portage version: 2.1.3.9)

Revision  Changes    Path
1.5                  sci-mathematics/agda/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/agda/ChangeLog?r1=1.4&r2=1.5

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- ChangeLog	31 Jul 2007 21:55:39 -0000	1.4
+++ ChangeLog	23 Sep 2007 12:12:04 -0000	1.5
@@ -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@g.o>
+  +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@g.o> metadata.xml:
   Reassigning to sci from math-proof.



1.1                  sci-mathematics/agda/agda-1.0.2-r1.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/agda/agda-1.0.2-r1.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/agda/agda-1.0.2-r1.ebuild?rev=1.1&content-type=text/plain

Index: agda-1.0.2-r1.ebuild
===================================================================
# 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
}



-- 
gentoo-commits@g.o mailing list