commit: 5f89d073a6ddceaff9ec0c2b34586c76178d817f Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> AuthorDate: Sun Nov 15 16:35:02 2020 +0000 Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> CommitDate: Sun Nov 15 16:41:56 2020 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5f89d073
sci-mathematics/agda: drop USE=uhc uhc is masked for removal. Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org> sci-mathematics/agda/agda-2.5.2-r2.ebuild | 9 ++------- sci-mathematics/agda/metadata.xml | 1 - 2 files changed, 2 insertions(+), 8 deletions(-) diff --git a/sci-mathematics/agda/agda-2.5.2-r2.ebuild b/sci-mathematics/agda/agda-2.5.2-r2.ebuild index 620d6ba28f8..bac38fefcb1 100644 --- a/sci-mathematics/agda/agda-2.5.2-r2.ebuild +++ b/sci-mathematics/agda/agda-2.5.2-r2.ebuild @@ -28,7 +28,7 @@ SRC_URI="https://hackage.haskell.org/package/${MY_P}/${MY_P}.tar.gz"; LICENSE="MIT" SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" -IUSE="+cpphs debug uhc +stdlib emacs" +IUSE="+cpphs debug +stdlib emacs" RESTRICT=test # Unrecognized option: --test (did you mean any of --help --js --css ?) @@ -57,10 +57,6 @@ RDEPEND=">=dev-haskell/boxes-0.1.3:=[profile?] <dev-haskell/boxes-0.2:=[profile? >=dev-lang/ghc-7.10.1:= >=dev-haskell/hashtables-1.0.1.8:=[profile?] <dev-haskell/hashtables-1.3:=[profile?] >=dev-haskell/mtl-2.1.1:=[profile?] <dev-haskell/mtl-2.3:=[profile?] - uhc? ( >=dev-haskell/shuffle-0.1.3.3:=[profile?] - >=dev-haskell/uhc-light-1.1.9.2:=[profile?] <dev-haskell/uhc-light-1.2:=[profile?] - >=dev-haskell/uhc-util-0.1.6.7:=[profile?] <dev-haskell/uhc-util-0.1.7:=[profile?] - >=dev-haskell/uulib-0.9.20:=[profile?] ) " RDEPEND+=" emacs? ( >=app-editors/emacs-23.1:* @@ -92,8 +88,7 @@ src_prepare() { src_configure() { haskell-cabal_src_configure \ $(cabal_flag cpphs cpphs) \ - $(cabal_flag debug debug) \ - $(cabal_flag uhc uhc) + $(cabal_flag debug debug) } src_compile() { diff --git a/sci-mathematics/agda/metadata.xml b/sci-mathematics/agda/metadata.xml index 057c778e581..ea96b9e3cce 100644 --- a/sci-mathematics/agda/metadata.xml +++ b/sci-mathematics/agda/metadata.xml @@ -18,6 +18,5 @@ <use> <flag name="cpphs">Use cpphs instead of cpp.</flag> <flag name="stdlib">Install the standard library.</flag> - <flag name="uhc">Add support for the uhc backend.</flag> </use> </pkgmetadata>
