commit: 1ad7fca0e8ab4b753fb39283ae8f17d55f2e4a60
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 21 18:45:23 2015 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Mon Sep 21 18:45:23 2015 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=1ad7fca0
sci-mathematics/frama-c: Add subslot operators
Package-Manager: portage-2.2.20.1
Signed-off-by: Justin Lecher <jlec <AT> gentoo.org>
sci-mathematics/frama-c/frama-c-20140301.ebuild | 34 +++++++++++++------------
sci-mathematics/frama-c/metadata.xml | 4 +--
2 files changed, 20 insertions(+), 18 deletions(-)
diff --git a/sci-mathematics/frama-c/frama-c-20140301.ebuild
b/sci-mathematics/frama-c/frama-c-20140301.ebuild
index dd11106..28166cd 100644
--- a/sci-mathematics/frama-c/frama-c-20140301.ebuild
+++ b/sci-mathematics/frama-c/frama-c-20140301.ebuild
@@ -17,22 +17,25 @@ 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?]
)"
+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
- rm -f ocamlgraph.tar.gz
+ touch config_file || die
+ rm -f ocamlgraph.tar.gz || die
epatch "${FILESDIR}/ocamlgraph185_compat.patch"
eautoreconf
}
@@ -43,14 +46,14 @@ src_configure(){
else
myconf="--disable-gui"
fi
- econf ${myconf} || die "econf failed"
+ econf ${myconf}
}
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"
+ emake -j1 depend
+ emake all top DESTDIR="/"
if use doc; then
emake -j1 doc doc-tgz
@@ -59,8 +62,7 @@ src_compile(){
}
src_install(){
- emake install DESTDIR="${D}" || die "emake install failed"
- dodoc Changelog
+ default
if use doc; then
dohtml -A svg -r doc/frama-c-api/*
diff --git a/sci-mathematics/frama-c/metadata.xml
b/sci-mathematics/frama-c/metadata.xml
index e429e61..960aec4 100644
--- a/sci-mathematics/frama-c/metadata.xml
+++ b/sci-mathematics/frama-c/metadata.xml
@@ -1,8 +1,8 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";>
<pkgmetadata>
-<herd>sci-mathematics</herd>
-<longdescription>
+ <herd>sci-mathematics</herd>
+ <longdescription>
Frama-C is a suite of tools dedicated to the analysis of the source code
of software written in C. It gathers several static analysis techniques
in a single collaborative framework. The collaborative approach of
