Gentoo Archives: gentoo-commits

From: Sergei Trofimovich <slyfox@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/agda/
Date: Sun, 27 Dec 2020 10:17:31
Message-Id: 1609064244.6280ade282f64f7b956e0505330af307a0a7c6df.slyfox@gentoo
1 commit: 6280ade282f64f7b956e0505330af307a0a7c6df
2 Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
3 AuthorDate: Sun Dec 27 10:17:14 2020 +0000
4 Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
5 CommitDate: Sun Dec 27 10:17:24 2020 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6280ade2
7
8 sci-mathematics/agda: set USE=-cpphs by default
9
10 USE=cpphs is not compatible to profiling builds.
11
12 Reported-by: Toralf Förster
13 Closes: https://bugs.gentoo.org/761805
14 Package-Manager: Portage-3.0.12, Repoman-3.0.2
15 Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org>
16
17 sci-mathematics/agda/agda-2.6.1.2.ebuild | 2 +-
18 1 file changed, 1 insertion(+), 1 deletion(-)
19
20 diff --git a/sci-mathematics/agda/agda-2.6.1.2.ebuild b/sci-mathematics/agda/agda-2.6.1.2.ebuild
21 index ab5ba3366d3..3468e60ca04 100644
22 --- a/sci-mathematics/agda/agda-2.6.1.2.ebuild
23 +++ b/sci-mathematics/agda/agda-2.6.1.2.ebuild
24 @@ -28,7 +28,7 @@ SRC_URI="https://hackage.haskell.org/package/${MY_P}/${MY_P}.tar.gz"
25 LICENSE="MIT"
26 SLOT="0/${PV}"
27 KEYWORDS="~amd64 ~x86"
28 -IUSE="+cpphs debug emacs enable-cluster-counting +stdlib"
29 +IUSE="cpphs debug emacs enable-cluster-counting +stdlib"
30
31 RDEPEND=">=dev-haskell/aeson-1.1.2.0:=[profile?] <dev-haskell/aeson-1.6:=[profile?]
32 >=dev-haskell/async-2.2:=[profile?] <dev-haskell/async-2.3:=[profile?]