diff options
Diffstat (limited to 'sci-mathematics/cvc4/cvc4-1.6.ebuild')
| -rw-r--r-- | sci-mathematics/cvc4/cvc4-1.6.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/cvc4/cvc4-1.6.ebuild b/sci-mathematics/cvc4/cvc4-1.6.ebuild index 1500f9d338da..d77a2ea6aaa1 100644 --- a/sci-mathematics/cvc4/cvc4-1.6.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.6.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2018 Gentoo Foundation +# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=6 @@ -18,7 +18,7 @@ RDEPEND="dev-libs/antlr-c !cln? ( dev-libs/gmp:= )" DEPEND="${RDEPEND}" -src_configure () { +src_configure() { econf --enable-gpl \ $(use_with cln) } |