gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-05 12:38:09 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/isabelle: fix scala dependency.

Browse Source 
Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
Package-Manager: Portage-2.3.49, Repoman-2.3.11
This commit is contained in:
Patrice Clement
2018-11-01 23:25:37 +01:00
parent 59f44c3fac
commit 3e5dff3bef
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
sci-mathematics/isabelle/isabelle-2016.1.ebuild
View File

@@ -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"