diff options
| author |   Patrice Clement <monsieurp@gentoo.org> | 2018-11-01 23:25:37 +0100 |
|---|---|---|
| committer | Patrice Clement <monsieurp@gentoo.org> | 2018-11-01 23:26:20 +0100 |
| commit | 3e5dff3bef6f13d5d3e6fce7fc41f60525e36ea0 (patch) | |
| tree | 402b11795de1cc8dc2047eed6d52e0d950206343 | |
| parent | dev-java/sbt: do not specify SV in DEPEND/RDEPEND. (diff) | |
| download | gentoo-3e5dff3bef6f13d5d3e6fce7fc41f60525e36ea0.tar.gz gentoo-3e5dff3bef6f13d5d3e6fce7fc41f60525e36ea0.tar.bz2 gentoo-3e5dff3bef6f13d5d3e6fce7fc41f60525e36ea0.zip | |
sci-mathematics/isabelle: fix scala dependency.
Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
Package-Manager: Portage-2.3.49, Repoman-2.3.11
| -rw-r--r-- | sci-mathematics/isabelle/isabelle-2016.1.ebuild | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/sci-mathematics/isabelle/isabelle-2016.1.ebuild b/sci-mathematics/isabelle/isabelle-2016.1.ebuild index 99534d2b1389..3e67fa95fbff 100644 --- a/sci-mathematics/isabelle/isabelle-2016.1.ebuild +++ b/sci-mathematics/isabelle/isabelle-2016.1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2018 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI="6" @@ -65,7 +65,7 @@ XZ_JAVA_P="${XZ_JAVA_PN}-${XZ_JAVA_PV}" XZ_JAVA_IC_PN="${XZ_JAVA_PN}-isabelle-component" XZ_JAVA_IC_P="${XZ_JAVA_IC_PN}-${XZ_JAVA_PV}" -SS="2.11" +SS="2.12" DESCRIPTION="Isabelle is a generic proof assistant" HOMEPAGE="http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html" @@ -105,7 +105,7 @@ DEPEND=">=app-shells/bash-3.0:* virtual/latex-base dev-tex/rail ) - >=dev-lang/scala-2.11.8:${SS} + dev-lang/scala:${SS} ledit? ( app-misc/ledit ) @@ -113,10 +113,10 @@ DEPEND=">=app-shells/bash-3.0:* app-misc/rlwrap )" -RDEPEND="dev-perl/libwww-perl +RDEPEND=" + dev-perl/libwww-perl sci-mathematics/sha1-polyml - >=virtual/jre-1.8 - ${DEPEND}" + >=virtual/jre-1.8" S="${WORKDIR}"/Isabelle${MY_PV} TARGETDIR="/usr/share/Isabelle" |