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 6D806138486 for ; Mon, 14 Jan 2013 14:11:02 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id D34BF21C057; Mon, 14 Jan 2013 14:10:55 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 0D8F221C057 for ; Mon, 14 Jan 2013 14:10:54 +0000 (UTC) Received: from hornbill.gentoo.org (hornbill.gentoo.org [94.100.119.163]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id C750433DADC for ; Mon, 14 Jan 2013 14:10:53 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by hornbill.gentoo.org (Postfix) with ESMTP id 650C7E4089 for ; Mon, 14 Jan 2013 14:10:52 +0000 (UTC) From: "Jonathan-Christofer Demay" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Jonathan-Christofer Demay" Message-ID: <1358172426.90c012c05495d2b9cfa9ea9372a28be565154574.jcdemay@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/frama-c/ChangeLog sci-mathematics/frama-c/frama-c-20111001.ebuild sci-mathematics/frama-c/frama-c-20120901.ebuild sci-mathematics/frama-c/metadata.xml X-VCS-Directories: sci-mathematics/frama-c/ X-VCS-Committer: jcdemay X-VCS-Committer-Name: Jonathan-Christofer Demay X-VCS-Revision: 90c012c05495d2b9cfa9ea9372a28be565154574 X-VCS-Branch: master Date: Mon, 14 Jan 2013 14:10:52 +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: 369c0121-50a1-4b44-b162-5894a1d4f1b7 X-Archives-Hash: fe85e595aa32e178c301cb7acf19dec6 commit: 90c012c05495d2b9cfa9ea9372a28be565154574 Author: Jonathan-Christofer Demay gmail com> AuthorDate: Mon Jan 14 14:07:06 2013 +0000 Commit: Jonathan-Christofer Demay gmail com> CommitDate: Mon Jan 14 14:07:06 2013 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=90c012c0 sci-mathematics/frama-c: version bump --- sci-mathematics/frama-c/ChangeLog | 8 ++++- ...a-c-20111001.ebuild => frama-c-20120901.ebuild} | 25 ++++++++----------- sci-mathematics/frama-c/metadata.xml | 4 +- 3 files changed, 19 insertions(+), 18 deletions(-) diff --git a/sci-mathematics/frama-c/ChangeLog b/sci-mathematics/frama-c/ChangeLog index 2bd15d0..6ae7f62 100644 --- a/sci-mathematics/frama-c/ChangeLog +++ b/sci-mathematics/frama-c/ChangeLog @@ -1,7 +1,11 @@ # ChangeLog for sci-mathematics/frama-c -# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 +# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ + 14 Jan 2013; J.-C. Demay + +frama-c-20120901.ebuild, -frama-c-20111001.ebuild: + version bump + 21 Dec 2011; J.-C. Demay +frama-c-20111001.ebuild, -frama-c-20110201.ebuild: version bump @@ -19,7 +23,7 @@ Dropped ~sparc since dependencies cannot be fulfilled. 08 Jul 2010; J.-C. Demay - frama-c-20100401.ebuild: + +frama-c-20100401.ebuild: version bump 22 Jun 2010; Andreas K. Huettel (dilfridge) diff --git a/sci-mathematics/frama-c/frama-c-20111001.ebuild b/sci-mathematics/frama-c/frama-c-20120901.ebuild similarity index 74% rename from sci-mathematics/frama-c/frama-c-20111001.ebuild rename to sci-mathematics/frama-c/frama-c-20120901.ebuild index 05b842e..756291e 100644 --- a/sci-mathematics/frama-c/frama-c-20111001.ebuild +++ b/sci-mathematics/frama-c/frama-c-20120901.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2011 Gentoo Foundation +# Copyright 1999-2013 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ @@ -8,38 +8,35 @@ inherit autotools eutils DESCRIPTION="Framework for analysis of source codes written in C" HOMEPAGE="http://frama-c.com" -NAME="Nitrogen" +NAME="Oxygen" SRC_URI="http://frama-c.com/download/${PN/-c/-c-$NAME}-${PV/_/-}.tar.gz" LICENSE="LGPL-2" SLOT="0" KEYWORDS="~amd64 ~ppc ~x86" -IUSE="apron doc gtk +ocamlopt +why" +IUSE="doc gtk +ocamlopt" RESTRICT="strip" DEPEND=">=dev-lang/ocaml-3.10.2[ocamlopt?] - >=dev-ml/ocamlgraph-1.8.1[gtk?,ocamlopt?] + >=dev-ml/ocamlgraph-1.8.2[gtk?,ocamlopt?] + dev-ml/zarith + sci-mathematics/ltl2ba + sci-mathematics/alt-ergo gtk? ( >=x11-libs/gtksourceview-2.8 >=gnome-base/libgnomecanvas-2.26 - >=dev-ml/lablgtk-2.14[sourceview,gnomecanvas,ocamlopt?] ) - sci-mathematics/ltl2ba - apron? ( sci-mathematics/apron )" + >=dev-ml/lablgtk-2.14[sourceview,gnomecanvas,ocamlopt?] )" RDEPEND="${DEPEND}" -PDEPEND="why? ( >=sci-mathematics/why-2.30 )" S="${WORKDIR}/${PN/-c/-c-$NAME}-${PV/_/-}" src_prepare(){ rm share/libc/test.c - rm -Rf src/wp - - sed -e "s:1\.8):1\.8\.1):g" -i configure.in - touch config_file + eautoreconf } -src_configure() { +src_configure(){ if use gtk; then myconf="--enable-gui" else @@ -49,7 +46,7 @@ src_configure() { econf ${myconf} || die "econf failed" } -src_compile() { +src_compile(){ # dependencies can not be processed in parallel, # this is the intended behavior. emake -j1 depend || die "emake depend failed" diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml index bcd42f6..59797bc 100644 --- a/sci-mathematics/frama-c/metadata.xml +++ b/sci-mathematics/frama-c/metadata.xml @@ -15,8 +15,8 @@ sci@gentoo.org - ?apron? + ?doc? ?gtk? - ?why? + ?ocamlopt?