From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from pigeon.gentoo.org ([208.92.234.80] helo=lists.gentoo.org) by finch.gentoo.org with esmtp (Exim 4.60) (envelope-from ) id 1QKJBG-0007Op-Ng for garchives@archives.gentoo.org; Wed, 11 May 2011 23:51:03 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id C90161C01F; Wed, 11 May 2011 23:50:54 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id 89E491C01F for ; Wed, 11 May 2011 23:50:54 +0000 (UTC) Received: from pelican.gentoo.org (unknown [66.219.59.40]) (using TLSv1 with cipher ADH-CAMELLIA256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id E46A61B4090 for ; Wed, 11 May 2011 23:50:53 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by pelican.gentoo.org (Postfix) with ESMTP id 6603480504 for ; Wed, 11 May 2011 23:50:53 +0000 (UTC) From: "Jonathan-Christofer Demay" To: gentoo-commits@lists.gentoo.org Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Jonathan-Christofer Demay" Message-ID: <62d7366e2c2d29d29a1189ee047addc5f35e7ad0.jcdemay@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/files/, sci-mathematics/frama-c/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/frama-c/ChangeLog sci-mathematics/frama-c/files/frama-c-20100401-plugin_install.patch sci-mathematics/frama-c/frama-c-20100401.ebuild sci-mathematics/frama-c/frama-c-20101202_beta2.ebuild sci-mathematics/frama-c/frama-c-20110201.ebuild X-VCS-Directories: sci-mathematics/frama-c/files/ sci-mathematics/frama-c/ X-VCS-Committer: jcdemay X-VCS-Committer-Name: Jonathan-Christofer Demay X-VCS-Revision: 62d7366e2c2d29d29a1189ee047addc5f35e7ad0 Date: Wed, 11 May 2011 23:50:53 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: quoted-printable X-Archives-Salt: X-Archives-Hash: 2498bdde3f09754172bfdbe7ef5b3709 commit: 62d7366e2c2d29d29a1189ee047addc5f35e7ad0 Author: Jonathan-Christofer Demay gmail com> AuthorDate: Wed May 11 23:50:24 2011 +0000 Commit: Jonathan-Christofer Demay gmail com> CommitDate: Wed May 11 23:50:24 2011 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=3Dproj/sci.git;a=3Dc= ommit;h=3D62d7366e sci-mathematics/frama-c: version bump --- sci-mathematics/frama-c/ChangeLog | 6 +- .../files/frama-c-20100401-plugin_install.patch | 33 --------- sci-mathematics/frama-c/frama-c-20100401.ebuild | 71 --------------= ------ ...101202_beta2.ebuild =3D> frama-c-20110201.ebuild} | 29 +++----- 4 files changed, 14 insertions(+), 125 deletions(-) diff --git a/sci-mathematics/frama-c/ChangeLog b/sci-mathematics/frama-c/= ChangeLog index 405dba0..ef202c5 100644 --- a/sci-mathematics/frama-c/ChangeLog +++ b/sci-mathematics/frama-c/ChangeLog @@ -2,9 +2,9 @@ # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ =20 - 07 Mar 2011; Justin Lecher frama-c-20100401.ebuild, - frama-c-20101202_beta2.ebuild: - Correct Slots for gtk 3 introduction to tree + 06 may 2011; J.-C. Demay + +frama-c-20110201.ebuild, -frama-c-20101202_beta2.ebuild: + version bump =20 14 Feb 2011; J.-C. Demay +frama-c-20101202_beta2.ebuild, -frama-c-20100401.ebuild, -files/frama= -c-20100401-plugin_install.patch: diff --git a/sci-mathematics/frama-c/files/frama-c-20100401-plugin_instal= l.patch b/sci-mathematics/frama-c/files/frama-c-20100401-plugin_install.p= atch deleted file mode 100644 index c5463cc..0000000 --- a/sci-mathematics/frama-c/files/frama-c-20100401-plugin_install.patch +++ /dev/null @@ -1,33 +0,0 @@ -diff -Naurp frama-c-Boron-20100401/share/Makefile.dynamic frama-c-Boron-= 20100401b/share/Makefile.dynamic ---- frama-c-Boron-20100401/share/Makefile.dynamic 2010-04-13 11:52:53.00= 0000000 +0000 -+++ frama-c-Boron-20100401/share/Makefile.dynamic 2010-07-04 19:48:52.00= 0000000 +0000 -@@ -113,7 +113,7 @@ endif #FRAMAC_MAKE -=20 - PLUGIN_LIB_DIR ?=3D $(PLUGIN_DIR) - PLUGIN_GUI_LIB_DIR ?=3D $(PLUGIN_DIR)/gui --PLUGIN_INSTALL_DIR ?=3D$(FRAMAC_PLUGINDIR) -+PLUGIN_INSTALL_DIR ?=3D$(DESTDIR)$(FRAMAC_PLUGINDIR) -=20 - PLUGIN_FLAGS:=3D$(FLAGS) $(DEBUG) $(FRAMAC_INCLUDES) -I $(FRAMAC_LIBDIR= ) - PLUGIN_BFLAGS:=3D$(PLUGIN_FLAGS) $(PLUGIN_BFLAGS) -@@ -182,6 +182,7 @@ endif - ifneq ($(PLUGIN_ENABLE),no) - install:: - $(PRINT_CP) $(PLUGIN_INSTALL_DIR) -+ $(MKDIR) $(PLUGIN_INSTALL_DIR) - $(CP) $(TARGETS) $(PLUGIN_INSTALL_DIR) - $(PRINT_CP) $(BINDIR) - if [ -f frama-c-$(PLUGIN_NAME).byte$(EXE) ]; then \ -@@ -191,9 +192,9 @@ install:: - $(CP) frama-c-$(PLUGIN_NAME).$(OCAMLBEST)$(EXE) \ - $(BINDIR)/frama-c-$(PLUGIN_NAME)$(EXE); \ - fi -- $(PRINT_UPDATE) $(FRAMAC_SHARE)/known_plugins.ac -- echo "ENABLE_`echo $(PLUGIN_NAME) | tr "a-z" "A-Z"`=3D$(PLUGIN_ENABLE)= " \ -- >> $(FRAMAC_SHARE)/known_plugins.ac -+ #$(PRINT_UPDATE) $(FRAMAC_SHARE)/known_plugins.ac -+ #echo "ENABLE_`echo $(PLUGIN_NAME) | tr "a-z" "A-Z"`=3D$(PLUGIN_ENABLE= )" \ -+ # >> $(FRAMAC_SHARE)/known_plugins.ac - ifeq ($(HAS_GUI),yes) - $(PRINT_CP) $(PLUGIN_INSTALL_DIR)/gui - $(CP) $(TARGETS_GUI) $(PLUGIN_INSTALL_DIR)/gui diff --git a/sci-mathematics/frama-c/frama-c-20100401.ebuild b/sci-mathem= atics/frama-c/frama-c-20100401.ebuild deleted file mode 100644 index 52ecf12..0000000 --- a/sci-mathematics/frama-c/frama-c-20100401.ebuild +++ /dev/null @@ -1,71 +0,0 @@ -# Copyright 1999-2011 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: $ - -EAPI=3D"3" - -inherit autotools eutils - -NAME=3D"Boron" - -DESCRIPTION=3D"Suite for analysis of the source code in C" -HOMEPAGE=3D"http://frama-c.com" -SRC_URI=3D"http://frama-c.com/download/${PN/-c/-c-$NAME}-${PV/_/-}.tar.g= z" - -LICENSE=3D"LGPL-2" -SLOT=3D"0" -KEYWORDS=3D"~amd64 ~ppc ~x86" -IUSE=3D"apron doc gtk +ocamlopt +why" - -RESTRICT=3D"strip" - -DEPEND=3D" - >=3Ddev-lang/ocaml-3.10.2[ocamlopt?] - >=3Ddev-ml/ocamlgraph-1.6[gtk?,ocamlopt?] - sci-mathematics/ltl2ba - apron? ( sci-mathematics/apron ) - gtk? ( - x11-libs/gtksourceview:2.0 - >=3Dgnome-base/libgnomecanvas-2.26 - >=3Ddev-ml/lablgtk-2.14[sourceview,gnomecanvas,ocamlopt?] - )" -RDEPEND=3D"${DEPEND}" -PDEPEND=3D"why? ( >=3Dsci-mathematics/why-2.26 )" - -S=3D"${WORKDIR}/${PN/-c/-c-$NAME}-${PV/_/-}" - -src_prepare(){ - rm share/libc/test.c - rm -Rf src/wp - - epatch "${FILESDIR}/${P}-plugin_install.patch" - - touch config_file - eautoreconf -} - -src_configure() { - if use gtk; then - myconf=3D"--enable-gui" - else - myconf=3D"--disable-gui" - fi - - econf ${myconf} || die "econf failed" -} - -src_compile() { - # dependencies can not be processed in parallel, - # this is the intended behavior. - emake -j1 depend || die "emake depend failed" - emake all top DESTDIR=3D"/" || die "emake failed" -} - -src_install(){ - emake install DESTDIR=3D"${D}" || die "emake install failed" - dodoc Changelog doc/README - - if use doc; then - dodoc doc/manuals/* - fi -} diff --git a/sci-mathematics/frama-c/frama-c-20101202_beta2.ebuild b/sci-= mathematics/frama-c/frama-c-20110201.ebuild similarity index 70% rename from sci-mathematics/frama-c/frama-c-20101202_beta2.ebuild rename to sci-mathematics/frama-c/frama-c-20110201.ebuild index 8f89398..2822e90 100644 --- a/sci-mathematics/frama-c/frama-c-20101202_beta2.ebuild +++ b/sci-mathematics/frama-c/frama-c-20110201.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2011 Gentoo Foundation +# Copyright 1999-2010 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ =20 @@ -6,29 +6,24 @@ EAPI=3D"3" =20 inherit autotools eutils =20 -NAME=3D"Carbon" - -DESCRIPTION=3D"Suite for analysis of the source code in C" +DESCRIPTION=3D"Frama-C is a suite of tools dedicated to the analysis of = the source code of software written in C." HOMEPAGE=3D"http://frama-c.com" +NAME=3D"Carbon" SRC_URI=3D"http://frama-c.com/download/${PN/-c/-c-$NAME}-${PV/_/-}.tar.g= z" =20 LICENSE=3D"LGPL-2" SLOT=3D"0" -KEYWORDS=3D"~amd64 ~ppc ~x86" +KEYWORDS=3D"~amd64 ~ppc ~sparc ~x86" IUSE=3D"apron doc gtk +ocamlopt +why" - RESTRICT=3D"strip" =20 -DEPEND=3D" - >=3Ddev-lang/ocaml-3.10.2[ocamlopt?] - >=3Ddev-ml/ocamlgraph-1.6[gtk?,ocamlopt?] - sci-mathematics/ltl2ba - apron? ( sci-mathematics/apron ) - gtk? ( - x11-libs/gtksourceview:2.0 - >=3Dgnome-base/libgnomecanvas-2.26 - >=3Ddev-ml/lablgtk-2.14[sourceview,gnomecanvas,ocamlopt?] - )" +DEPEND=3D">=3Ddev-lang/ocaml-3.10.2[ocamlopt?] + >=3Ddev-ml/ocamlgraph-1.6[gtk?,ocamlopt?] + gtk? ( >=3Dx11-libs/gtksourceview-2.8 + >=3Dgnome-base/libgnomecanvas-2.26 + >=3Ddev-ml/lablgtk-2.14[sourceview,gnomecanvas,ocamlopt?] ) + sci-mathematics/ltl2ba + apron? ( sci-mathematics/apron )" RDEPEND=3D"${DEPEND}" PDEPEND=3D"why? ( >=3Dsci-mathematics/why-2.26 )" =20 @@ -44,8 +39,6 @@ src_prepare(){ mv doc/manuals doc/pdf =20 touch config_file - sed -i configure.in \ - -e "s:1.7):1.6):g" eautoreconf } =20