summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexandre Buisse <nattfodd@gentoo.org>2007-03-18 19:00:12 +0000
committerAlexandre Buisse <nattfodd@gentoo.org>2007-03-18 19:00:12 +0000
commit225e1b2035d5cc1ed6269d21a90a2d7418b7a854 (patch)
treead142ea61e0818278935ad7665366b3d31b598af /sci-mathematics
parentRemove unused packages-subshell.patch. (diff)
downloadgentoo-2-225e1b2035d5cc1ed6269d21a90a2d7418b7a854.tar.gz
gentoo-2-225e1b2035d5cc1ed6269d21a90a2d7418b7a854.tar.bz2
gentoo-2-225e1b2035d5cc1ed6269d21a90a2d7418b7a854.zip
Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is stable enough.
(Portage version: 2.1.2.1)
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/agda/ChangeLog11
-rw-r--r--sci-mathematics/agda/agda-1.0.2.ebuild (renamed from sci-mathematics/agda/agda-20050601.ebuild)33
-rw-r--r--sci-mathematics/agda/files/digest-agda-1.0.23
-rw-r--r--sci-mathematics/agda/files/digest-agda-200506013
4 files changed, 28 insertions, 22 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog
index bc8fc3f0868a..04dd26894a8f 100644
--- a/sci-mathematics/agda/ChangeLog
+++ b/sci-mathematics/agda/ChangeLog
@@ -1,6 +1,13 @@
# ChangeLog for sci-mathematics/agda
-# Copyright 1999-2006 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.1 2006/07/12 13:21:35 nattfodd Exp $
+# Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.2 2007/03/18 19:00:12 nattfodd Exp $
+
+*agda-1.0.2 (18 Mar 2007)
+
+ 18 Mar 2007; Alexandre Buisse <nattfodd@gentoo.org> +agda-1.0.2.ebuild,
+ -agda-20050601.ebuild:
+ Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is
+ stable enough.
*agda-20050601 (12 Jul 2006)
diff --git a/sci-mathematics/agda/agda-20050601.ebuild b/sci-mathematics/agda/agda-1.0.2.ebuild
index d2157cd689aa..64d3e865ac90 100644
--- a/sci-mathematics/agda/agda-20050601.ebuild
+++ b/sci-mathematics/agda/agda-1.0.2.ebuild
@@ -1,25 +1,25 @@
-# Copyright 1999-2006 Gentoo Foundation
+# 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-20050601.ebuild,v 1.1 2006/07/12 13:21:35 nattfodd Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-1.0.2.ebuild,v 1.1 2007/03/18 19:00:12 nattfodd Exp $
inherit autotools elisp-common
+MY_PN="Agda"
+S="${WORKDIR}/${MY_PN}-${PV}"
+
DESCRIPTION="Agda is a proof assistant in Haskell."
-HOMEPAGE="http://www.cs.chalmers.se/~catarina/agda"
-SRC_URI="http://www.coverproject.org/Agda/Agda-1.1-cvs${PV}.tar.gz"
-S="${WORKDIR}/Agda-1.1-cvs${PV}"
+HOMEPAGE="http://unit.aist.go.jp/cvs/Agda/"
+SRC_URI="mirror://sourceforge/${PN}/${MY_PN}-${PV}.tar.gz"
LICENSE="MIT"
SLOT="0"
KEYWORDS="~x86"
-# make html is currently broken
-#IUSE="doc emacs"
-IUSE="emacs"
+IUSE="doc emacs"
DEPEND="virtual/ghc
- emacs? ( virtual/emacs )"
- #doc? ( dev-haskell/haddock) "
+ emacs? ( virtual/emacs )
+ doc? ( dev-haskell/haddock )"
RDEPEND=""
SITEFILE="50${PN}-gentoo.el"
@@ -27,18 +27,16 @@ SITEFILE="50${PN}-gentoo.el"
src_unpack() {
unpack ${A}
cd "${S}"
- epatch ${FILESDIR}/${PN}-make_install.patch
- eaclocal -I macros || die "aclocal failed"
- eautoconf || die "autoconf failed"
+ epatch "${FILESDIR}/agda-make_install.patch"
}
src_compile() {
cd "${S}"
- econf || die "./configure failed"
+ econf --enable-newsyntax || die "./configure failed"
emake || die "make failed"
- #if use doc ; then
- # emake html
- #fi
+ if use doc ; then
+ emake html
+ fi
}
src_install() {
@@ -51,6 +49,7 @@ src_install() {
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() {
diff --git a/sci-mathematics/agda/files/digest-agda-1.0.2 b/sci-mathematics/agda/files/digest-agda-1.0.2
new file mode 100644
index 000000000000..6fe07da53bc6
--- /dev/null
+++ b/sci-mathematics/agda/files/digest-agda-1.0.2
@@ -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
diff --git a/sci-mathematics/agda/files/digest-agda-20050601 b/sci-mathematics/agda/files/digest-agda-20050601
deleted file mode 100644
index afb2a5c03880..000000000000
--- a/sci-mathematics/agda/files/digest-agda-20050601
+++ /dev/null
@@ -1,3 +0,0 @@
-MD5 0fad57e47dd4bd608fe1152b27c497c6 Agda-1.1-cvs20050601.tar.gz 411993
-RMD160 562cd4314f22f8763caa6b1ff025f96924a7fce6 Agda-1.1-cvs20050601.tar.gz 411993
-SHA256 75f7efc479f664e0cd12680af40082e93410fc130f9a2881663d54c2853b5814 Agda-1.1-cvs20050601.tar.gz 411993