diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2020-11-15 16:35:02 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2020-11-15 16:41:56 +0000 |
| commit | 5f89d073a6ddceaff9ec0c2b34586c76178d817f (patch) | |
| tree | 7d2dbdad30ba768bc66759bbe0fcf7484a8905cd /sci-mathematics/agda | |
| parent | games-strategy/seven-kingdoms: version bump, drop old (diff) | |
| download | gentoo-5f89d073a6ddceaff9ec0c2b34586c76178d817f.tar.gz gentoo-5f89d073a6ddceaff9ec0c2b34586c76178d817f.tar.bz2 gentoo-5f89d073a6ddceaff9ec0c2b34586c76178d817f.zip | |
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@gentoo.org>
Diffstat (limited to 'sci-mathematics/agda')
| -rw-r--r-- | sci-mathematics/agda/agda-2.5.2-r2.ebuild | 9 | ||||
| -rw-r--r-- | 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 620d6ba28f88..bac38fefcb17 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 057c778e5810..ea96b9e3cce7 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> |