diff options
author | Sergei Trofimovich <slyfox@gentoo.org> | 2013-06-19 06:41:49 +0000 |
---|---|---|
committer | Sergei Trofimovich <slyfox@gentoo.org> | 2013-06-19 06:41:49 +0000 |
commit | 3d468f3336eb62610e14201c31907df5aaa56beb (patch) | |
tree | f641c32c568392965f0ad1c7a790cf89025f8497 /sci-mathematics | |
parent | Fix desktop file, wrt bug #463442. Thanks to Andreis Vinogradovs for discover... (diff) | |
download | gentoo-2-3d468f3336eb62610e14201c31907df5aaa56beb.tar.gz gentoo-2-3d468f3336eb62610e14201c31907df5aaa56beb.tar.bz2 gentoo-2-3d468f3336eb62610e14201c31907df5aaa56beb.zip |
Drop old.
(Portage version: 2.2.0_alpha177_p3/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/agda/ChangeLog | 5 | ||||
-rw-r--r-- | sci-mathematics/agda/agda-2.3.0.ebuild | 82 |
2 files changed, 4 insertions, 83 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog index aba3238eccfd..2eb038eef26d 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/agda # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.21 2013/04/02 07:23:23 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.22 2013/06/19 06:41:49 slyfox Exp $ + + 19 Jun 2013; Sergei Trofimovich <slyfox@gentoo.org> -agda-2.3.0.ebuild: + Drop old. *agda-2.3.2-r5 (02 Apr 2013) diff --git a/sci-mathematics/agda/agda-2.3.0.ebuild b/sci-mathematics/agda/agda-2.3.0.ebuild deleted file mode 100644 index 39dc88fee8e4..000000000000 --- a/sci-mathematics/agda/agda-2.3.0.ebuild +++ /dev/null @@ -1,82 +0,0 @@ -# Copyright 1999-2012 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild,v 1.5 2012/09/12 16:10:27 qnikst Exp $ - -EAPI="4" - -CABAL_FEATURES="lib profile" -inherit haskell-cabal eutils elisp-common - -MY_PN="Agda" -MY_P="${MY_PN}-${PV}" - -DESCRIPTION="A dependently typed functional programming language and proof assistant" -HOMEPAGE="http://wiki.portal.chalmers.se/agda/" -SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz" - -LICENSE="MIT" -SLOT="0" -KEYWORDS="~amd64 ~x86" -IUSE="epic +stdlib" - -RDEPEND=">=dev-haskell/binary-0.4.4[profile?] - <dev-haskell/binary-0.6[profile?] - epic? ( dev-lang/epic[profile?] ) - =dev-haskell/hashable-1.1*[profile?] - =dev-haskell/hashtables-1.0*[profile?] - >=dev-haskell/haskeline-0.6.3.2[profile?] - <dev-haskell/haskeline-0.7[profile?] - >=dev-haskell/haskell-src-exts-1.9.6[profile?] - <dev-haskell/haskell-src-exts-1.12[profile?] - =dev-haskell/mtl-2.0*[profile?] - =dev-haskell/quickcheck-2.4*[profile?] - >=dev-haskell/syb-0.1[profile?] - <dev-haskell/syb-0.4[profile?] - =dev-haskell/xhtml-3000.2*[profile?] - >=dev-haskell/zlib-0.4.0.1[profile?] - <dev-haskell/zlib-0.6[profile?] - >=dev-lang/ghc-6.10.4 - virtual/emacs - app-emacs/haskell-mode" -PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )" -DEPEND="${RDEPEND} - dev-haskell/alex - >=dev-haskell/cabal-1.8 - dev-haskell/happy" - -SITEFILE="50${PN}2-gentoo.el" -S="${WORKDIR}/${MY_P}" - -src_prepare() { - epatch "${FILESDIR}"/${P}-emacs.patch - epatch "${FILESDIR}"/${P}-ghc-7.4.patch - sed -e 's@epic >= 0.1.13 && < 0.2@epic >= 0.1.13 \&\& < 0.10@' \ - -e 's@base >= 4.2 && < 4.5@base >= 4.2 \&\& < 4.6@' \ - -e 's@array >= 0.1 && < 0.4@array >= 0.1 \&\& < 0.5@' \ - -e 's@filepath >= 1.1 && < 1.3@filepath >= 1.1 \&\& < 1.4@' \ - -e 's@old-time == 1.0.\*@old-time >= 1.0 \&\& < 1.2@' \ - -i "${S}/${MY_PN}.cabal" || die "Could not loosen dependencies" - cabal-mksetup -} - -src_configure() { - cabal_src_configure $(cabal_flag epic) -} - -src_install() { - haskell-cabal_src_install - elisp-install ${PN} src/data/emacs-mode/*.el \ - || die "Failed to install emacs mode" - elisp-site-file-install "${FILESDIR}/${SITEFILE}" \ - || die "Failed to install elisp site file" -} - -pkg_postinst() { - ghc-package_pkg_postinst - elisp-site-regen -} - -pkg_postrm() { - ghc-package_pkg_prerm - elisp-site-regen -} |