diff options
Diffstat (limited to 'sci-mathematics/spass/spass-3.7.ebuild')
-rw-r--r-- | sci-mathematics/spass/spass-3.7.ebuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sci-mathematics/spass/spass-3.7.ebuild b/sci-mathematics/spass/spass-3.7.ebuild index 30967c76c84d..755602885bae 100644 --- a/sci-mathematics/spass/spass-3.7.ebuild +++ b/sci-mathematics/spass/spass-3.7.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2012 Gentoo Foundation +# Copyright 1999-2017 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ @@ -40,6 +40,7 @@ src_install() { fi if use isabelle; then + ewarn "All open source versions of spass are broken with Isabelle 2016.1" ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" [[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty" dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc" |