diff options
Diffstat (limited to 'sci-mathematics/frama-c/frama-c-20140301.ebuild')
-rw-r--r-- | sci-mathematics/frama-c/frama-c-20140301.ebuild | 69 |
1 files changed, 0 insertions, 69 deletions
diff --git a/sci-mathematics/frama-c/frama-c-20140301.ebuild b/sci-mathematics/frama-c/frama-c-20140301.ebuild deleted file mode 100644 index 0d7376d21..000000000 --- a/sci-mathematics/frama-c/frama-c-20140301.ebuild +++ /dev/null @@ -1,69 +0,0 @@ -# Copyright 1999-2016 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -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" -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:2.0 - >=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 || die - rm -f ocamlgraph.tar.gz || die - epatch "${FILESDIR}/ocamlgraph185_compat.patch" - eautoreconf -} - -src_configure(){ - if use gtk; then - myconf="--enable-gui" - else - myconf="--disable-gui" - fi - econf ${myconf} -} - -src_compile(){ - # dependencies can not be processed in parallel, - # this is the intended behavior. - emake -j1 depend - emake all top DESTDIR="/" - - if use doc; then - emake -j1 doc doc-tgz - tar -xzf frama-c-api.tar.gz -C doc/ - fi -} - -src_install(){ - default - - if use doc; then - dohtml -A svg -r doc/frama-c-api/* - fi -} |