1 files changed, 68 insertions, 0 deletions
diff --git a/sci-mathematics/frama-c/frama-c-20140301.ebuild b/sci-mathematics/frama-c/frama-c-20140301.ebuild
new file mode 100644
index 000000000..f93062cc5
--- /dev/null
+++ b/sci-mathematics/frama-c/frama-c-20140301.ebuild
@@ -0,0 +1,68 @@
+# Copyright 1999-2013 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI="3"
+
+inherit autotools eutils
+
+DESCRIPTION="Framework for analysis of source codes written in C"
+HOMEPAGE="http://frama-c.com"
+NAME="Neon"
+SRC_URI="http://frama-c.com/download/${PN/-c/-c-$NAME}-${PV/_/-}.tar.gz"
+
+LICENSE="LGPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="doc gtk +ocamlopt"
+RESTRICT="strip"
+
+DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
+		>=dev-ml/ocamlgraph-1.8.5[gtk?,ocamlopt?]
+		dev-ml/zarith
+		sci-mathematics/coq
+		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?] )"
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/${PN/-c/-c-$NAME}-${PV/_/-}"
+
+src_prepare(){
+	touch config_file
+	rm -f ocamlgraph.tar.gz
+	epatch "${FILESDIR}/ocamlgraph185_compat.patch"
+	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"
+	DESTDIR="/" emake all top || die "emake failed"
+
+	if use doc; then
+		emake -j1 doc doc-tgz
+		tar -xzf frama-c-api.tar.gz -C doc/
+	fi
+}
+
+src_install(){
+	DESTDIR="${D}" emake install || die "emake install failed"
+	dodoc Changelog
+
+	if use doc; then
+		dohtml -A svg -r doc/frama-c-api/*
+	fi
+}