# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=5 # ebuild generated by hackport 0.3.5 CABAL_FEATURES="lib" inherit haskell-cabal AGDA_P="lib-0.7" DESCRIPTION="Auxiliary Haskell code used by Agda's standard library" HOMEPAGE="https://wiki.portal.chalmers.se/agda/" SRC_URI="https://www.cse.chalmers.se/~nad/software/${AGDA_P}.tar.gz" LICENSE="MIT" SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" IUSE="" RDEPEND=">=dev-lang/ghc-6.10.4:= " DEPEND="${RDEPEND} >=dev-haskell/cabal-1.8 " S="${WORKDIR}/${AGDA_P}/ffi" src_prepare() { cabal_chdeps \ 'base >= 3.0.3.1 && < 4.7' 'base >= 3.0.3.1' }