summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergei Trofimovich <slyfox@gentoo.org>2020-11-15 16:35:02 +0000
committerSergei Trofimovich <slyfox@gentoo.org>2020-11-15 16:41:56 +0000
commit5f89d073a6ddceaff9ec0c2b34586c76178d817f (patch)
tree7d2dbdad30ba768bc66759bbe0fcf7484a8905cd /sci-mathematics
parentgames-strategy/seven-kingdoms: version bump, drop old (diff)
downloadgentoo-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')
-rw-r--r--sci-mathematics/agda/agda-2.5.2-r2.ebuild9
-rw-r--r--sci-mathematics/agda/metadata.xml1
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>