* [gentoo-commits] gentoo-x86 commit in sci-mathematics/spass: spass-3.7.ebuild ChangeLog
@ 2012-10-22 10:20 Mark Wright (gienah)
0 siblings, 0 replies; 2+ messages in thread
From: Mark Wright (gienah) @ 2012-10-22 10:20 UTC (permalink / raw
To: gentoo-commits
gienah 12/10/22 10:20:57
Modified: spass-3.7.ebuild ChangeLog
Log:
Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z should be -n.
(Portage version: 2.1.11.30/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Revision Changes Path
1.4 sci-mathematics/spass/spass-3.7.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild?r1=1.3&r2=1.4
Index: spass-3.7.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- spass-3.7.ebuild 10 Aug 2012 05:58:33 -0000 1.3
+++ spass-3.7.ebuild 22 Oct 2012 10:20:57 -0000 1.4
@@ -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/spass/spass-3.7.ebuild,v 1.3 2012/08/10 05:58:33 jlec Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild,v 1.4 2012/10/22 10:20:57 gienah Exp $
EAPI=4
@@ -40,7 +40,7 @@
if use isabelle; then
ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)"
- [[ -z "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty"
+ [[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty"
dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc"
cat <<- EOF >> "${S}/settings"
1.5 sci-mathematics/spass/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/ChangeLog?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/ChangeLog?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/ChangeLog?r1=1.4&r2=1.5
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- ChangeLog 10 Aug 2012 05:58:33 -0000 1.4
+++ ChangeLog 22 Oct 2012 10:20:57 -0000 1.5
@@ -1,6 +1,10 @@
# ChangeLog for sci-mathematics/spass
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.4 2012/08/10 05:58:33 jlec Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.5 2012/10/22 10:20:57 gienah Exp $
+
+ 22 Oct 2012; Mark Wright <gienah@gentoo.org> spass-3.7.ebuild:
+ Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z
+ should be -n.
10 Aug 2012; Justin Lecher <jlec@gentoo.org> spass-3.7.ebuild:
Clean residuals from another fix solution
^ permalink raw reply [flat|nested] 2+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/spass: spass-3.7.ebuild ChangeLog
@ 2012-12-05 10:35 Mark Wright (gienah)
0 siblings, 0 replies; 2+ messages in thread
From: Mark Wright (gienah) @ 2012-12-05 10:35 UTC (permalink / raw
To: gentoo-commits
gienah 12/12/05 10:35:35
Modified: spass-3.7.ebuild ChangeLog
Log:
EAPI=5 with subslot depends to automatically rebuild spass when isabelle is updated if the isabelle use flag is enabled.
(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Revision Changes Path
1.5 sci-mathematics/spass/spass-3.7.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild?r1=1.4&r2=1.5
Index: spass-3.7.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- spass-3.7.ebuild 22 Oct 2012 10:20:57 -0000 1.4
+++ spass-3.7.ebuild 5 Dec 2012 10:35:35 -0000 1.5
@@ -1,8 +1,8 @@
# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild,v 1.4 2012/10/22 10:20:57 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild,v 1.5 2012/12/05 10:35:35 gienah Exp $
-EAPI=4
+EAPI=5
inherit versionator
@@ -14,13 +14,14 @@
SRC_URI="http://www.spass-prover.org/download/sources/${MY_P}.tgz"
LICENSE="BSD-2"
-SLOT="0"
+SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE="doc examples isabelle"
-RDEPEND=""
-DEPEND="${RDEPEND}
- isabelle? ( >=sci-mathematics/isabelle-2011.1-r1 )"
+RDEPEND="isabelle? (
+ >=sci-mathematics/isabelle-2011.1-r1:=
+ )"
+DEPEND="${RDEPEND}"
S="${WORKDIR}/SPASS-${PV}"
@@ -41,7 +42,6 @@
if use isabelle; then
ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)"
[[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty"
-
dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc"
cat <<- EOF >> "${S}/settings"
SPASS_HOME="${ROOT}usr/bin"
@@ -72,7 +72,7 @@
if [ -f "${ROOT}etc/isabelle/components" ]; then
# Note: this sed should only match the version of this ebuild
# Which is what we want as we do not want to remove the line
- # of a new E being installed during an upgrade.
+ # of a new spass being installed during an upgrade.
sed -e "/contrib\/${PN}-${PV}/d" \
-i "${ROOT}etc/isabelle/components"
fi
1.6 sci-mathematics/spass/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/ChangeLog?rev=1.6&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/ChangeLog?rev=1.6&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/ChangeLog?r1=1.5&r2=1.6
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -r1.5 -r1.6
--- ChangeLog 22 Oct 2012 10:20:57 -0000 1.5
+++ ChangeLog 5 Dec 2012 10:35:35 -0000 1.6
@@ -1,6 +1,10 @@
# ChangeLog for sci-mathematics/spass
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.5 2012/10/22 10:20:57 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.6 2012/12/05 10:35:35 gienah Exp $
+
+ 05 Dec 2012; Mark Wright <gienah@gentoo.org> spass-3.7.ebuild:
+ EAPI=5 with subslot depends to automatically rebuild spass when isabelle is
+ updated if the isabelle use flag is enabled.
22 Oct 2012; Mark Wright <gienah@gentoo.org> spass-3.7.ebuild:
Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2012-12-05 10:35 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-12-05 10:35 [gentoo-commits] gentoo-x86 commit in sci-mathematics/spass: spass-3.7.ebuild ChangeLog Mark Wright (gienah)
-- strict thread matches above, loose matches on Subject: below --
2012-10-22 10:20 Mark Wright (gienah)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox