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 1PomNP-0003Bh-IG for garchives@archives.gentoo.org; Mon, 14 Feb 2011 00:33:15 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 4269AE0616; Mon, 14 Feb 2011 00:33:08 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id 0212AE0616 for ; Mon, 14 Feb 2011 00:33:07 +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 28B881B406F for ; Mon, 14 Feb 2011 00:33:07 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by pelican.gentoo.org (Postfix) with ESMTP id 5E07E8006A for ; Mon, 14 Feb 2011 00:33:06 +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: <65a9a83e4f56155ad43c1c5bddff54a970ffd437.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-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: 65a9a83e4f56155ad43c1c5bddff54a970ffd437 Date: Mon, 14 Feb 2011 00:33:06 +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: eda3aafdcbc028ca33a6e505861eb792 commit: 65a9a83e4f56155ad43c1c5bddff54a970ffd437 Author: Jonathan-Christofer Demay gmail com> AuthorDate: Mon Feb 14 02:36:10 2011 +0000 Commit: Jonathan-Christofer Demay gmail com> CommitDate: Mon Feb 14 02:36:10 2011 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=3Dproj/sci.git;a=3Dc= ommit;h=3D65a9a83e sci-mathematics/frama-c: version bump --- sci-mathematics/frama-c/ChangeLog | 8 +++- .../files/frama-c-20100401-plugin_install.patch | 33 --------------= ------ ...a-c-20100401.ebuild =3D> frama-c-20110201.ebuild} | 10 +++--- 3 files changed, 11 insertions(+), 40 deletions(-) diff --git a/sci-mathematics/frama-c/ChangeLog b/sci-mathematics/frama-c/= ChangeLog index 89dc599..4e7e9d7 100644 --- a/sci-mathematics/frama-c/ChangeLog +++ b/sci-mathematics/frama-c/ChangeLog @@ -1,14 +1,18 @@ # ChangeLog for sci-mathematics/frama-c -# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 +# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ =20 + 14 Feb 2011; J.-C. Demay + +frama-c-20110201.ebuild, -frama-c-20100401.ebuild, -files/frama-c-201= 00401-plugin_install.patch: + version bump + 11 Jul 2010; Andreas K. Huettel (dilfridge) frama-c-20100401.ebuild: Dropped ~sparc since dependencies cannot be fulfilled. =20 08 Jul 2010; J.-C. Demay frama-c-20100401.ebuild: - Version bump + version bump =20 22 Jun 2010; Andreas K. Huettel (dilfridge) frama-c-20090901.ebuild, +metadata.xml: 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-20110201.ebuild similarity index 87% rename from sci-mathematics/frama-c/frama-c-20100401.ebuild rename to sci-mathematics/frama-c/frama-c-20110201.ebuild index a7b59ec..b23e53e 100644 --- a/sci-mathematics/frama-c/frama-c-20100401.ebuild +++ b/sci-mathematics/frama-c/frama-c-20110201.ebuild @@ -7,9 +7,9 @@ EAPI=3D"3" inherit autotools eutils =20 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://www.frama-c.cea.fr/" -NAME=3D"Boron" -SRC_URI=3D"http://www.frama-c.com/download/${PN/-c/-c-$NAME}-${PV/_/-}.t= ar.gz" +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" @@ -30,13 +30,13 @@ PDEPEND=3D"why? ( >=3Dsci-mathematics/why-2.26 )" S=3D"${WORKDIR}/${PN/-c/-c-$NAME}-${PV/_/-}" =20 src_prepare(){ - epatch "${FILESDIR}/${P}-plugin_install.patch" + #epatch "${FILESDIR}/${P}-plugin_install.patch" =20 rm share/libc/test.c =09 touch config_file sed -i configure.in \ - -e "s:1.4):1.5):g" + -e "s:1.7):1.6):g" eautoreconf } =20