From: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun, 11 Sep 2016 20:46:51 +0000 (+0100)
Subject: sci-mathematics/agda: allow cpphs-1.20
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=1a1716a480f35485b9d51ad130b6a3d165a0cfe2;p=gentoo.git

sci-mathematics/agda: allow cpphs-1.20

Package-Manager: portage-2.3.0
---

diff --git a/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild b/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild
index 56ea734a81a7..988c01d1a543 100644
--- a/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild
+++ b/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2016 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 # $Id$
 
@@ -72,7 +72,8 @@ src_prepare() {
 
 	cabal_chdeps \
 		'zlib >= 0.4.0.1 && < 0.6.1' 'zlib >= 0.4.0.1' \
-		'transformers-compat >= 0.3.3.3 && < 0.5' 'transformers-compat >= 0.3.3.3'
+		'transformers-compat >= 0.3.3.3 && < 0.5' 'transformers-compat >= 0.3.3.3' \
+		'build-tools: cpphs >= 1.19 && < 1.20' 'build-tools: cpphs >= 1.19'
 }
 
 src_configure() {