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 F0BD713800E for ; Fri, 10 Aug 2012 05:57:02 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id D6E6FE07A7; Fri, 10 Aug 2012 05:56:54 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id 95661E07A7 for ; Fri, 10 Aug 2012 05:56:54 +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 99FAE1B4008 for ; Fri, 10 Aug 2012 05:56:53 +0000 (UTC) Received: by flycatcher.gentoo.org (Postfix, from userid 2264) id 6CDE72004B; Fri, 10 Aug 2012 05:56:51 +0000 (UTC) From: "Justin Lecher (jlec)" To: gentoo-commits@lists.gentoo.org Reply-To: gentoo-dev@lists.gentoo.org, jlec@gentoo.org Subject: [gentoo-commits] gentoo-x86 commit in sci-mathematics/spass: metadata.xml ChangeLog spass-3.7.ebuild X-VCS-Repository: gentoo-x86 X-VCS-Files: metadata.xml ChangeLog spass-3.7.ebuild X-VCS-Directories: sci-mathematics/spass X-VCS-Committer: jlec X-VCS-Committer-Name: Justin Lecher Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Message-Id: <20120810055651.6CDE72004B@flycatcher.gentoo.org> Date: Fri, 10 Aug 2012 05:56:51 +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: 67241d0c-1d5b-4909-b564-afec52caec86 X-Archives-Hash: 7da4b3926100fde0f42d9d4dc92cea98 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 @@ - - gienah@gentoo.org - -sci-mathematics - + + gienah@gentoo.org + + sci-mathematics + SPASS: An Automated Theorem Prover for First-Order Logic with Equality. - - Add integration support for the Isabelle/HOL + + Add integration support for the Isabelle/HOL theorem prover. - + 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 spass-3.7.ebuild, metadata.xml: + Respect CFLAGS, #430676; add missing USE=examples 10 Aug 2012; Diego E. Pettenò 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"