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 1PsEgm-00076p-5v for garchives@archives.gentoo.org; Wed, 23 Feb 2011 13:23:32 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 25619E04E7; Wed, 23 Feb 2011 13:23:25 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id D795FE04E7 for ; Wed, 23 Feb 2011 13:23:24 +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 38FFB1B407E for ; Wed, 23 Feb 2011 13:23:24 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by pelican.gentoo.org (Postfix) with ESMTP id 4D2448006A for ; Wed, 23 Feb 2011 13:23:23 +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: 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/files/frama-c-20100401-plugin_install.patch sci-mathematics/frama-c/frama-c-20100401.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: d840f6713bf450abce0020ad94756314ae8d1120 Date: Wed, 23 Feb 2011 13:23:23 +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: 567ce2d09d6ac6a4ec8c821e238ba56c commit: d840f6713bf450abce0020ad94756314ae8d1120 Author: Jonathan-Christofer Demay gmail com> AuthorDate: Wed Feb 23 15:25:32 2011 +0000 Commit: Jonathan-Christofer Demay gmail com> CommitDate: Wed Feb 23 15:25:32 2011 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=3Dproj/sci.git;a=3Dc= ommit;h=3Dd840f671 sci-mathematics/frama-c: keep previous version for now --- .../files/frama-c-20100401-plugin_install.patch | 33 ++++++++++ sci-mathematics/frama-c/frama-c-20100401.ebuild | 66 ++++++++++++++= ++++++ 2 files changed, 99 insertions(+), 0 deletions(-) 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 new file mode 100644 index 0000000..c5463cc --- /dev/null +++ b/sci-mathematics/frama-c/files/frama-c-20100401-plugin_install.patch @@ -0,0 +1,33 @@ +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 new file mode 100644 index 0000000..ffcf9b0 --- /dev/null +++ b/sci-mathematics/frama-c/frama-c-20100401.ebuild @@ -0,0 +1,66 @@ +# Copyright 1999-2010 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI=3D"3" + +inherit autotools eutils + +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"Boron" +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 ~sparc ~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?] + 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 )" + +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" +=09 + 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 +}