Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is stable enough.

Package-Manager: portage-2.1.2.1

5 files changed, 44 insertions, 38 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/Manifest b/sci-mathematics/agda/Manifest
index 8476c47603e1..5374a3f241e7 100644
--- a/sci-mathematics/agda/Manifest
+++ b/sci-mathematics/agda/Manifest
@@ -9,26 +9,26 @@ AUX agda-make_install.patch 549 RMD160 323539535e17244e979f0fd14684f4375e0de4ef
 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.1-cvs20050601.tar.gz 411993 RMD160 562cd4314f22f8763caa6b1ff025f96924a7fce6 SHA1 a3e19b11bcb43c6e1103ce36d1479d30a4826672 SHA256 75f7efc479f664e0cd12680af40082e93410fc130f9a2881663d54c2853b5814
-EBUILD agda-20050601.ebuild 1364 RMD160 4d5dd63caab61746d09a085ba54b8556bfc1fb5c SHA1 6b22aa8c785f88f3846cbc9a3f7d619a257093f6 SHA256 663b3592154b6056852f6b0cd37e5adb1128529a7fbc94a0875499258bb6775d
-MD5 5c9832edb82f734d8662257470b938f3 agda-20050601.ebuild 1364
-RMD160 4d5dd63caab61746d09a085ba54b8556bfc1fb5c agda-20050601.ebuild 1364
-SHA256 663b3592154b6056852f6b0cd37e5adb1128529a7fbc94a0875499258bb6775d agda-20050601.ebuild 1364
-MISC ChangeLog 490 RMD160 8d257d1ba051d351a31000229828762651d916ec SHA1 070aea7a36e7b63e46af859f5de4c15d10e103b8 SHA256 eb83893f55caef45fce59647a8373b0b760efee9b4abb180fcf87f8a64a5cbc8
-MD5 a66bf9889d42cd94498d5e4b45f278e4 ChangeLog 490
-RMD160 8d257d1ba051d351a31000229828762651d916ec ChangeLog 490
-SHA256 eb83893f55caef45fce59647a8373b0b760efee9b4abb180fcf87f8a64a5cbc8 ChangeLog 490
+DIST Agda-1.0.2.tar.gz 505642 RMD160 6686a0bd5920a83a3e08ef2894b8ddf1620f21c2 SHA1 fffcb8ca8d565e40756cd57035d869a90d2538cc SHA256 2ab56783a26e84f64422316daf0ce160f983667357361e2986baa13fb17e7ea1
+EBUILD agda-1.0.2.ebuild 1246 RMD160 ac60d7d24f48a6ef40cf2d2cd6c8f1e178eaf826 SHA1 64743e96a4b965674c7438574c462fb4a192da89 SHA256 c9becc670e30cd01c6a9926ddd81d6dc74e3df81adbcb08ebf54943fc1a985d2
+MD5 c35fcc709341405eb1260fcbe2b83cba agda-1.0.2.ebuild 1246
+RMD160 ac60d7d24f48a6ef40cf2d2cd6c8f1e178eaf826 agda-1.0.2.ebuild 1246
+SHA256 c9becc670e30cd01c6a9926ddd81d6dc74e3df81adbcb08ebf54943fc1a985d2 agda-1.0.2.ebuild 1246
+MISC ChangeLog 711 RMD160 a12fbc574ce1c10ef114c688111bef9110f9f5dc SHA1 f8f6ab6a3753159f61d92097566c90aa8d71314c SHA256 78776466ca02416897fa8449dfd70420c2dd1bc229307b8d9f0c263b9a99e626
+MD5 54495e980057440de443c5098b2984c0 ChangeLog 711
+RMD160 a12fbc574ce1c10ef114c688111bef9110f9f5dc ChangeLog 711
+SHA256 78776466ca02416897fa8449dfd70420c2dd1bc229307b8d9f0c263b9a99e626 ChangeLog 711
 MISC metadata.xml 262 RMD160 40a79c7a47bf41357031ea3505d676c48f1f1292 SHA1 84fc35c85f916614b3648fbd909dbbbd1c2471a5 SHA256 123f078e162fb42574af32faee9ded61a0986c3eef35a4ce5989953e464e8c0f
 MD5 dcf379a33cdc813d247f606073b36244 metadata.xml 262
 RMD160 40a79c7a47bf41357031ea3505d676c48f1f1292 metadata.xml 262
 SHA256 123f078e162fb42574af32faee9ded61a0986c3eef35a4ce5989953e464e8c0f metadata.xml 262
-MD5 377344cb60e6d766fe2bdb430ec8713d files/digest-agda-20050601 262
-RMD160 859ba2a4a74df4afcb9d3870ab69d1820117c953 files/digest-agda-20050601 262
-SHA256 444762b6fc59669cd052cc962fc45deb9e3c85f60fcb11942b8d4c99e10ee342 files/digest-agda-20050601 262
+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
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v1.4.4 (GNU/Linux)
+Version: GnuPG v1.4.6 (GNU/Linux)
 
-iD8DBQFEtPfGwx9vvAARv2sRAr6bAKDJLdMd11osQzHnUL0eOzJcZVc5MwCgydQq
-wJ9hw0VxhbrUfiiAwukzZk8=
-=1xE8
+iD8DBQFF/Y0cwx9vvAARv2sRAvJsAJwL/6ZvlevDnpmoLuKAQf7COGcZ7QCg3VMA
+JwlhDkbsf9tItsiUI2D7ntU=
+=38qN
 -----END PGP SIGNATURE-----
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