From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id 6F699138010 for ; Thu, 20 Sep 2012 13:07:54 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 41EBAE04ED; Thu, 20 Sep 2012 13:07:46 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id 0309BE04ED for ; Thu, 20 Sep 2012 13:07:45 +0000 (UTC) Received: from flycatcher.gentoo.org (flycatcher.gentoo.org [81.93.255.6]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 1817F33C600 for ; Thu, 20 Sep 2012 13:07:45 +0000 (UTC) Received: by flycatcher.gentoo.org (Postfix, from userid 2311) id D6D3B21601; Thu, 20 Sep 2012 13:07:43 +0000 (UTC) From: "Mark Wright (gienah)" To: gentoo-commits@lists.gentoo.org Reply-To: gentoo-dev@lists.gentoo.org, gienah@gentoo.org Subject: [gentoo-commits] gentoo-x86 commit in sci-mathematics/isabelle: isabelle-2011.1-r1.ebuild isabelle-2012.ebuild ChangeLog X-VCS-Repository: gentoo-x86 X-VCS-Files: isabelle-2011.1-r1.ebuild isabelle-2012.ebuild ChangeLog X-VCS-Directories: sci-mathematics/isabelle X-VCS-Committer: gienah X-VCS-Committer-Name: Mark Wright Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Message-Id: <20120920130743.D6D3B21601@flycatcher.gentoo.org> Date: Thu, 20 Sep 2012 13:07:43 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: 7a66b91d-5751-427f-b548-045ee6c3d99e X-Archives-Hash: 56af941953fc64f0c45e4fbbc0dee96f gienah 12/09/20 13:07:43 Modified: isabelle-2011.1-r1.ebuild isabelle-2012.ebuild ChangeLog Log: isabelle doc requires a symlink (Portage version: 2.1.11.18/cvs/Linux x86_64) Revision Changes Path 1.2 sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild?rev=1.2&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild?rev=1.2&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild?r1=1.1&r2=1.2 Index: isabelle-2011.1-r1.ebuild =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild,v retrieving revision 1.1 retrieving revision 1.2 diff -u -r1.1 -r1.2 --- isabelle-2011.1-r1.ebuild 30 May 2012 00:45:06 -0000 1.1 +++ isabelle-2011.1-r1.ebuild 20 Sep 2012 13:07:43 -0000 1.2 @@ -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 @@ 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 1.3 sci-mathematics/isabelle/isabelle-2012.ebuild file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/isabelle/isabelle-2012.ebuild?rev=1.3&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/isabelle/isabelle-2012.ebuild?rev=1.3&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/isabelle/isabelle-2012.ebuild?r1=1.2&r2=1.3 Index: isabelle-2012.ebuild =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2012.ebuild,v retrieving revision 1.2 retrieving revision 1.3 diff -u -r1.2 -r1.3 --- isabelle-2012.ebuild 15 Jun 2012 14:10:40 -0000 1.2 +++ isabelle-2012.ebuild 20 Sep 2012 13:07:43 -0000 1.3 @@ -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 @@ 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 @@ doexe ${i} done - docompress -x /usr/share/doc/${PF} - dodoc -r doc - dodir /etc/isabelle insinto /etc/isabelle doins -r etc/* 1.6 sci-mathematics/isabelle/ChangeLog file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/isabelle/ChangeLog?rev=1.6&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/isabelle/ChangeLog?rev=1.6&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/isabelle/ChangeLog?r1=1.5&r2=1.6 Index: ChangeLog =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v retrieving revision 1.5 retrieving revision 1.6 diff -u -r1.5 -r1.6 --- ChangeLog 15 Jun 2012 14:10:40 -0000 1.5 +++ ChangeLog 20 Sep 2012 13:07:43 -0000 1.6 @@ -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 isabelle-2011.1-r1.ebuild, + isabelle-2012.ebuild: + isabelle doc requires a symlink 15 Jun 2012; Mark Wright +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 -