* [gentoo-commits] gentoo-x86 commit in sci-mathematics/spass: metadata.xml ChangeLog spass-3.7.ebuild
@ 2012-08-10 5:56 Justin Lecher (jlec)
0 siblings, 0 replies; only message in thread
From: Justin Lecher (jlec) @ 2012-08-10 5:56 UTC (permalink / raw
To: gentoo-commits
jlec 12/08/10 05:56:51
Modified: metadata.xml ChangeLog spass-3.7.ebuild
Log:
sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examples
(Portage version: 2.2.0_alpha120/cvs/Linux x86_64)
Revision Changes Path
1.3 sci-mathematics/spass/metadata.xml
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/metadata.xml?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/metadata.xml?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/metadata.xml?r1=1.2&r2=1.3
Index: metadata.xml
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/spass/metadata.xml,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- metadata.xml 10 Aug 2012 00:31:56 -0000 1.2
+++ metadata.xml 10 Aug 2012 05:56:51 -0000 1.3
@@ -1,15 +1,15 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
-<maintainer>
- <email>gienah@gentoo.org</email>
-</maintainer>
-<herd>sci-mathematics</herd>
-<longdescription lang='en'>
+ <maintainer>
+ <email>gienah@gentoo.org</email>
+ </maintainer>
+ <herd>sci-mathematics</herd>
+ <longdescription lang="en">
SPASS: An Automated Theorem Prover for First-Order Logic with Equality.
</longdescription>
-<use>
- <flag name='isabelle'>Add integration support for the Isabelle/HOL
+ <use>
+ <flag name="isabelle">Add integration support for the Isabelle/HOL
theorem prover.</flag>
-</use>
+ </use>
</pkgmetadata>
1.3 sci-mathematics/spass/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/ChangeLog?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/ChangeLog?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/ChangeLog?r1=1.2&r2=1.3
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- ChangeLog 10 Aug 2012 00:31:56 -0000 1.2
+++ ChangeLog 10 Aug 2012 05:56:51 -0000 1.3
@@ -1,6 +1,9 @@
# 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.2 2012/08/10 00:31:56 flameeyes Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.3 2012/08/10 05:56:51 jlec Exp $
+
+ 10 Aug 2012; Justin Lecher <jlec@gentoo.org> spass-3.7.ebuild, metadata.xml:
+ Respect CFLAGS, #430676; add missing USE=examples
10 Aug 2012; Diego E. Pettenò <flameeyes@gentoo.org> metadata.xml:
Fix metadata.
1.2 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.2&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild?r1=1.1&r2=1.2
Index: spass-3.7.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- spass-3.7.ebuild 30 May 2012 00:53:38 -0000 1.1
+++ spass-3.7.ebuild 10 Aug 2012 05:56:51 -0000 1.2
@@ -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.1 2012/05/30 00:53:38 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild,v 1.2 2012/08/10 05:56:51 jlec Exp $
-EAPI="4"
+EAPI=4
inherit versionator
@@ -15,32 +15,34 @@
LICENSE="BSD-2"
SLOT="0"
-KEYWORDS="~x86 ~amd64"
-IUSE="doc isabelle"
+KEYWORDS="~amd64 ~x86"
+IUSE="doc examples isabelle"
RDEPEND=""
DEPEND="${RDEPEND}
- isabelle? (
- >=sci-mathematics/isabelle-2011.1-r1
- )"
+ isabelle? ( >=sci-mathematics/isabelle-2011.1-r1 )"
S="${WORKDIR}/SPASS-${PV}"
+src_prepare() {
+ #epatch "${FILESDIR}"/${P}-fla
+ sed \
+ -e "s:-O3:${CFLAGS}:g" \
+ -i configure || die
+}
+
src_install() {
- emake DESTDIR="${D}" install
+ default
if use examples; then
- dodir /usr/share/${PN}/examples
- insinto /usr/share/${PN}/examples
+ insinto /usr/share/${PN}/
doins -r examples
fi
if use isabelle; then
- ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" \
- || die "isabelle getenv ISABELLE_HOME failed"
- if [[ -z "${ISABELLE_HOME}" ]]; then
- die "ISABELLE_HOME empty"
- fi
+ ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)"
+ [[ -z "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty"
+
dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc"
cat <<- EOF >> "${S}/settings"
SPASS_HOME="${ROOT}usr/bin"
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2012-08-10 5:57 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-08-10 5:56 [gentoo-commits] gentoo-x86 commit in sci-mathematics/spass: metadata.xml ChangeLog spass-3.7.ebuild Justin Lecher (jlec)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox