summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPatrice Clement <monsieurp@gentoo.org>2018-11-01 23:25:37 +0100
committerPatrice Clement <monsieurp@gentoo.org>2018-11-01 23:26:20 +0100
commit3e5dff3bef6f13d5d3e6fce7fc41f60525e36ea0 (patch)
tree402b11795de1cc8dc2047eed6d52e0d950206343 /sci-mathematics
parentdev-java/sbt: do not specify SV in DEPEND/RDEPEND. (diff)
downloadgentoo-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
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/isabelle/isabelle-2016.1.ebuild12
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 99534d2b138..3e67fa95fbf 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"