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 56ea734a81a725a2b628eb625aae65557d0441d0..988c01d1a543c235fa21dbb9bf54546624f633ef 100644 (file)
--- 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() {