sci-mathematics/frama-c: keep previous version for now

3 files changed, 102 insertions, 0 deletions

diff --git a/sci-mathematics/frama-c/Manifest b/sci-mathematics/frama-c/Manifest
index 778492bc2..cfbebee16 100644
--- a/sci-mathematics/frama-c/Manifest
+++ b/sci-mathematics/frama-c/Manifest
@@ -1,4 +1,7 @@
+AUX frama-c-20100401-plugin_install.patch 1442 RMD160 41ee9fc7b2e057497baf3af63a5d3325c8dc9826 SHA1 519a30d1988309606596411c38c40885dea26ee6 SHA256 2c496724bf528fa3e60cc660fcf9767a44bba070bf4538aa6407186ba718225a
+DIST frama-c-Boron-20100401.tar.gz 24143452 RMD160 ff2a7571cbc80cf2cb6896ab7b5d9250e3b8098c SHA1 77063ba16e2371310a70b950b5c28301db6b58a0 SHA256 78070b9899ba806740f583fb63e22f89bf5dd6508498a79567dec6bab16d5ac6
 DIST frama-c-Carbon-20101202-beta2.tar.gz 34025440 RMD160 3654fbb90d4a3e3405c988c6697cd24e24d16896 SHA1 0a1d907f3a23b06806497b85b09c82e4bdf342cf SHA256 d95f73b675f9f3defd939e81e4d1c4dd58a06d8a0ba411d8781ac6d9c2a248e1
+EBUILD frama-c-20100401.ebuild 1519 RMD160 0a4a610862fc4081cc45d851d2f773f7f57f488e SHA1 7a749f903c9f5dc1626111845788630ed2cd46b0 SHA256 81a91a4b6ef0726fafce961b3cb3f81d11df19263ce55cfd12dbafc5bcdb6fac
 EBUILD frama-c-20101202_beta2.ebuild 1515 RMD160 d9db08ac03bab6cc9e9b8c670f851d7ab44c7c06 SHA1 d0d650a12541b32d57230b11447cbd400881af57 SHA256 124dec37de30363af4e8682e65a0ba3bb9cb916061c4a453027ecbcc008ebad4
 MISC ChangeLog 654 RMD160 3947b413ec8d0339aa60d2c2e91068c2a27d40a3 SHA1 18cc6ae253523cad9e35d531f4cd0da41305cdba SHA256 a3b70b0cb3f8470d2c4c2acc5e15075e3d1e51ac1d11cc677bbc5d4f1bf94a2b
 MISC metadata.xml 815 RMD160 464879bb226169c1b7e06f13c90f70639b25487e SHA1 abeb18a64d38099e51e2b6c0c1027cb9671f30e4 SHA256 e03ee0bab13f2fb45987440ec7498bf629aa5a8f7217ae7dbeab461c23e89ea8
diff --git a/sci-mathematics/frama-c/files/frama-c-20100401-plugin_install.patch b/sci-mathematics/frama-c/files/frama-c-20100401-plugin_install.patch
new file mode 100644
index 000000000..c5463ccc5
--- /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.000000000 +0000
++++ frama-c-Boron-20100401/share/Makefile.dynamic	2010-07-04 19:48:52.000000000 +0000
+@@ -113,7 +113,7 @@ endif #FRAMAC_MAKE
+ 
+ PLUGIN_LIB_DIR	?= $(PLUGIN_DIR)
+ PLUGIN_GUI_LIB_DIR ?= $(PLUGIN_DIR)/gui
+-PLUGIN_INSTALL_DIR ?=$(FRAMAC_PLUGINDIR)
++PLUGIN_INSTALL_DIR ?=$(DESTDIR)$(FRAMAC_PLUGINDIR)
+ 
+ PLUGIN_FLAGS:=$(FLAGS) $(DEBUG) $(FRAMAC_INCLUDES) -I $(FRAMAC_LIBDIR)
+ PLUGIN_BFLAGS:=$(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"`=$(PLUGIN_ENABLE)" \
+-	  >> $(FRAMAC_SHARE)/known_plugins.ac
++	#$(PRINT_UPDATE) $(FRAMAC_SHARE)/known_plugins.ac
++	#echo "ENABLE_`echo $(PLUGIN_NAME) | tr "a-z" "A-Z"`=$(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-mathematics/frama-c/frama-c-20100401.ebuild
new file mode 100644
index 000000000..ffcf9b023
--- /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="3"
+
+inherit autotools eutils
+
+DESCRIPTION="Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C."
+HOMEPAGE="http://frama-c.com"
+NAME="Boron"
+SRC_URI="http://frama-c.com/download/${PN/-c/-c-$NAME}-${PV/_/-}.tar.gz"
+
+LICENSE="LGPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+IUSE="apron doc gtk +ocamlopt +why"
+RESTRICT="strip"
+
+DEPEND=">=dev-lang/ocaml-3.10.2[ocamlopt?]
+		>=dev-ml/ocamlgraph-1.6[gtk?,ocamlopt?]
+		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 )"
+RDEPEND="${DEPEND}"
+PDEPEND="why? ( >=sci-mathematics/why-2.26 )"
+
+S="${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="--enable-gui"
+	else
+		myconf="--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="/" || die "emake failed"
+}
+
+src_install(){
+	emake install DESTDIR="${D}" || die "emake install failed"
+	dodoc Changelog doc/README
+
+	if use doc; then
+		dodoc doc/manuals/*
+	fi
+}