Log of /sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild

---

Revision 1.4 - (view) (download) (annotate) - [select for diffs]
Sun Dec 9 09:24:29 2012 UTC (6 months, 1 week ago) by gienah
Branch: MAIN
CVS Tags: HEAD
Changes since 1.3: +5 -2 lines
Diff to previous 1.3

Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some functionality, like using Simpl/Vcg.

(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)

---

Revision 1.3 - (view) (download) (annotate) - [select for diffs]
Wed Dec 5 10:09:32 2012 UTC (6 months, 1 week ago) by gienah
Branch: MAIN
Changes since 1.2: +20 -5 lines
Diff to previous 1.2

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.

(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)

---

Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Thu Sep 20 13:07:43 2012 UTC (8 months, 3 weeks ago) by gienah
Branch: MAIN
Changes since 1.1: +4 -1 lines
Diff to previous 1.1

isabelle doc requires a symlink

(Portage version: 2.1.11.18/cvs/Linux x86_64)

---

Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Wed May 30 00:45:06 2012 UTC (12 months, 2 weeks ago) by gienah
Branch: MAIN

Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src directory with use=doc (2012) as doc-src stuff is required when building doc some isabelle add on packages (sci-mathematics/haskabelle).

(Portage version: 2.1.10.63/cvs/Linux x86_64)