05 Dec 2012; Mark Wright (
gienah)
isabelle-2011.1-r1.ebuild,
isabelle-2012.ebuild:
EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is
updated. It is necessary to remove any non-existing directories from
/etc/isabelle/components, as otherwise isabelle getenv ISABELLE_HOME fails,
which causes reverse dependent packages of sci-mathematics/isabelle to fail.