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

[Sebastien Fabbro (bicatali)]

bicatali    08/12/05 16:58:17

  Modified:             metadata.xml ChangeLog
  Added:                agda-1.0.2-r2.ebuild
  Removed:              agda-1.0.2-r1.ebuild agda-1.0.2.ebuild
  Log:
  Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since parallel building seems to work again.
  (Portage version: 2.2_rc16/cvs/Linux 2.6.25-gentoo-r7 x86_64)

Revision  Changes    Path
1.4                  sci-mathematics/agda/metadata.xml

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

Index: metadata.xml
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/metadata.xml,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- metadata.xml	31 Jul 2007 21:55:39 -0000	1.3
+++ metadata.xml	5 Dec 2008 16:58:17 -0000	1.4
@@ -1,6 +1,12 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
-	<herd>sci</herd>
-	<herd>haskell</herd>
+  <herd>sci-mathematics</herd>
+  <herd>haskell</herd>
+<longdescription lang="en">
+  Agda is an interactive proof editor, or proof assistant. Its input language,
+  called Agda language (or simply Agda), is based on a constructive type
+  theory á la Martin-Löf, extended with dependent record types,
+  inductive definitions, module structures and a class hierarchy mechanism.
+</longdescription>
 </pkgmetadata>



1.8                  sci-mathematics/agda/ChangeLog

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

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -r1.7 -r1.8
--- ChangeLog	26 Jul 2008 11:37:35 -0000	1.7
+++ ChangeLog	5 Dec 2008 16:58:17 -0000	1.8
@@ -1,6 +1,13 @@
 # ChangeLog for sci-mathematics/agda
 # Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.7 2008/07/26 11:37:35 markusle Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.8 2008/12/05 16:58:17 bicatali Exp $
+
+*agda-1.0.2-r2 (05 Dec 2008)
+
+  05 Dec 2008; Sébastien Fabbro <bicatali@g.o> metadata.xml,
+  -agda-1.0.2.ebuild, -agda-1.0.2-r1.ebuild, +agda-1.0.2-r2.ebuild:
+  Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1
+  since parallel building seems to work again.
 
   26 Jul 2008; Markus Dittrich <markusle@g.o>
   +files/agda-1.0.2-upstream-fixes.patch, agda-1.0.2.ebuild,



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

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

Index: agda-1.0.2-r2.ebuild
===================================================================
# Copyright 1999-2008 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-r2.ebuild,v 1.1 2008/12/05 16:58:17 bicatali Exp $

inherit elisp-common eutils

MY_PN="Agda"
S="${WORKDIR}/${MY_PN}-${PV}"

DESCRIPTION="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="~amd64 ~x86"
IUSE="emacs"

RDEPEND="emacs? ( virtual/emacs app-emacs/haskell-mode )"
DEPEND="${RDEPEND}
	dev-lang/ghc
	dev-haskell/mtl"

SITEFILE="50${PN}-gentoo.el"

src_unpack() {
	unpack ${A}
	cd "${S}"
	epatch "${FILESDIR}"/${PN}-make_install.patch
	epatch "${FILESDIR}"/${P}-upstream-fixes.patch

	sed -e "s:-package lang::" -i src/Makefile.in \
		|| die "Failed to fix Makfile.in"
}

src_compile() {
	econf --enable-newsyntax
	emake || die "emake failed"
	#if use doc ; then
	#	emake html
	#fi
}

src_install() {
	emake -C src ROOT="${D}" install || die "make install failed"
	dosym /usr/lib/EmacsAgda/bin/emacsagda /usr/bin/emacsagda
	dosym emacsagda /usr/bin/agda

	if use emacs; then
		elisp-install ${PN} elisp/agda-mode.el || die
		elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
	fi
}

pkg_postinst() {
	use emacs && elisp-site-regen
}

pkg_postrm() {
	use emacs && elisp-site-regen
}