diff options
author | 2007-03-18 19:00:12 +0000 | |
---|---|---|
committer | 2007-03-18 19:00:12 +0000 | |
commit | 225e1b2035d5cc1ed6269d21a90a2d7418b7a854 (patch) | |
tree | ad142ea61e0818278935ad7665366b3d31b598af /sci-mathematics | |
parent | Remove unused packages-subshell.patch. (diff) | |
download | gentoo-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/ChangeLog | 11 | ||||
-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.2 | 3 | ||||
-rw-r--r-- | sci-mathematics/agda/files/digest-agda-20050601 | 3 |
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 |