diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-09-20 13:07:43 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-09-20 13:07:43 +0000 |
| commit | 19535866417fddb5104cba85975e1c0ee3487716 (patch) | |
| tree | 52c6f4d0ed842fdc2e9b38f3e4a58167dabd70ff /sci-mathematics/isabelle | |
| parent | keyword ~amd64-fbsd (diff) | |
| download | gentoo-2-19535866417fddb5104cba85975e1c0ee3487716.tar.gz gentoo-2-19535866417fddb5104cba85975e1c0ee3487716.tar.bz2 gentoo-2-19535866417fddb5104cba85975e1c0ee3487716.zip | |
isabelle doc requires a symlink
(Portage version: 2.1.11.18/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/isabelle')
| -rw-r--r-- | sci-mathematics/isabelle/ChangeLog | 7 | ||||
| -rw-r--r-- | sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild | 5 | ||||
| -rw-r--r-- | sci-mathematics/isabelle/isabelle-2012.ebuild | 8 |
3 files changed, 13 insertions, 7 deletions
diff --git a/sci-mathematics/isabelle/ChangeLog b/sci-mathematics/isabelle/ChangeLog index f88149ff7d5a..aeafc9161fa5 100644 --- a/sci-mathematics/isabelle/ChangeLog +++ b/sci-mathematics/isabelle/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/isabelle # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.5 2012/06/15 14:10:40 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.6 2012/09/20 13:07:43 gienah Exp $ + + 20 Sep 2012; Mark Wright <gienah@gentoo.org> isabelle-2011.1-r1.ebuild, + isabelle-2012.ebuild: + isabelle doc requires a symlink 15 Jun 2012; Mark Wright <gienah@gentoo.org> +files/isabelle-2012-redundant-equations-in-function-definitions-error.patch, @@ -40,4 +44,3 @@ +files/isabelle-2011.1-graphbrowser.patch, +files/isabelle-2011.1-proofgeneral-gentoo-path.patch, +metadata.xml: New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 - diff --git a/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild b/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild index 4719507e7d75..fda73d4abfad 100644 --- a/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild +++ b/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild,v 1.1 2012/05/30 00:45:06 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild,v 1.2 2012/09/20 13:07:43 gienah Exp $ EAPI="4" @@ -189,6 +189,9 @@ src_install() { docompress -x /usr/share/doc/${PF} dodoc -r doc + if use doc; then + dosym /usr/share/doc/${PF}/doc "${TARGETDIR}/doc" + fi dodir /etc/isabelle insinto /etc/isabelle diff --git a/sci-mathematics/isabelle/isabelle-2012.ebuild b/sci-mathematics/isabelle/isabelle-2012.ebuild index a938d0371b22..e4bcc69fe269 100644 --- a/sci-mathematics/isabelle/isabelle-2012.ebuild +++ b/sci-mathematics/isabelle/isabelle-2012.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2012.ebuild,v 1.2 2012/06/15 14:10:40 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2012.ebuild,v 1.3 2012/09/20 13:07:43 gienah Exp $ EAPI="4" @@ -160,7 +160,10 @@ src_install() { doins -r src doins -r lib + docompress -x /usr/share/doc/${PF} + dodoc -r doc if use doc; then + dosym /usr/share/doc/${PF}/doc "${TARGETDIR}/doc" # The build of sci-mathematics/haskabelle with use doc requires # sci-mathematics/isabelle[doc?]. The haskabelle doc build requires # the doc-src directory stuff in the isabelle package. Which is not @@ -246,9 +249,6 @@ src_install() { doexe ${i} done - docompress -x /usr/share/doc/${PF} - dodoc -r doc - dodir /etc/isabelle insinto /etc/isabelle doins -r etc/* |