commit: 0d912fad71b5b99852c8506abc966543335fa12d
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 21 18:29:53 2015 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Mon Sep 21 18:29:53 2015 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=0d912fad
sci-mathematics/alt-ergo: Add subslot operators
Package-Manager: portage-2.2.20.1
Signed-off-by: Justin Lecher <jlec <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild | 19 +++++++++++--------
sci-mathematics/alt-ergo/metadata.xml | 4 ++--
2 files changed, 13 insertions(+), 10 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
index 3cabe4d..2ec5ece 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
@@ -15,11 +15,14 @@ SLOT="0"
KEYWORDS="~amd64 ~x86"
IUSE="+ocamlopt gtk"
-DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
- >=dev-ml/ocamlgraph-1.8.2[gtk?,ocamlopt?]
- dev-ml/zarith
- gtk? ( >=x11-libs/gtksourceview-2.8
- >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )"
+DEPEND="
+ >=dev-lang/ocaml-3.12.1[ocamlopt?]
+ >=dev-ml/ocamlgraph-1.8.2[gtk?,ocamlopt?]
+ dev-ml/zarith
+ gtk? (
+ >=x11-libs/gtksourceview-2.8:2.0
+ >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?]
+ )"
RDEPEND="${DEPEND}"
src_prepare(){
@@ -29,12 +32,12 @@ src_prepare(){
-i "${S}"/Makefile.in || die
}
src_compile(){
- emake
+ default
use gtk && emake gui
}
src_install(){
- emake install DESTDIR="${D}"
+ default
use gtk && emake install-gui DESTDIR="${D}"
dodoc README.md CHANGES
}
diff --git a/sci-mathematics/alt-ergo/metadata.xml
b/sci-mathematics/alt-ergo/metadata.xml
index 70209e0..388d8d7 100644
--- a/sci-mathematics/alt-ergo/metadata.xml
+++ b/sci-mathematics/alt-ergo/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>
Alt-Ergo is an open source automatic theorem prover dedicated to program
verification.
It is an SMT solver based on CC(X): a congruence closure algorithm
parameterized by an
equational theory X. Alt-Ergo is based on a home-made SAT-solver and
implements an
