diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-05-30 00:45:06 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-05-30 00:45:06 +0000 |
| commit | 09ba3553204223ecb696e38a12d9036f6d1e966b (patch) | |
| tree | 5970cf74601c2a73a9ffbf99ce698380bb115a97 /sci-mathematics/isabelle/metadata.xml | |
| parent | Initial import (diff) | |
| download | gentoo-2-09ba3553204223ecb696e38a12d9036f6d1e966b.tar.gz gentoo-2-09ba3553204223ecb696e38a12d9036f6d1e966b.tar.bz2 gentoo-2-09ba3553204223ecb696e38a12d9036f6d1e966b.zip | |
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)
Diffstat (limited to 'sci-mathematics/isabelle/metadata.xml')
| -rw-r--r-- | sci-mathematics/isabelle/metadata.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sci-mathematics/isabelle/metadata.xml b/sci-mathematics/isabelle/metadata.xml index 099959fac571..cb9e26433e7f 100644 --- a/sci-mathematics/isabelle/metadata.xml +++ b/sci-mathematics/isabelle/metadata.xml @@ -33,7 +33,11 @@ properties of computer languages and protocols. including HTML documents that show a theory's definition, the theorems proved in its ML file and the relationship with its ancestors and descendants.</flag> + <flag name='ledit'>Use ledit for the isabelle tty line editor</flag> + <flag name='readline'>Use readline (rlwrap) for the isabelle tty line + editor</flag> <flag name='proofgeneral'>Add support for the <pkg>app-emacs/proofgeneral</pkg> proof assistant front end.</flag> + <flag name='pide'>Build Isabelle/jEdit Prover IDE (PIDE).</flag> </use> </pkgmetadata> |