* [gentoo-commits] proj/sci:master commit in: sci-mathematics/alt-ergo/
@ 2013-01-14 14:10 Jonathan-Christofer Demay
0 siblings, 0 replies; 9+ messages in thread
From: Jonathan-Christofer Demay @ 2013-01-14 14:10 UTC (permalink / raw
To: gentoo-commits
commit: 57b5a08c8968c3459fd73bada79f0b5f7a1f0c96
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Jan 14 14:05:46 2013 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Jan 14 14:05:46 2013 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=57b5a08c
sci-mathematics/alt-ergo: initial commit
---
sci-mathematics/alt-ergo/ChangeLog | 8 +++++
sci-mathematics/alt-ergo/alt-ergo-0.95.ebuild | 39 +++++++++++++++++++++++++
sci-mathematics/alt-ergo/metadata.xml | 19 ++++++++++++
3 files changed, 66 insertions(+), 0 deletions(-)
diff --git a/sci-mathematics/alt-ergo/ChangeLog b/sci-mathematics/alt-ergo/ChangeLog
new file mode 100644
index 0000000..833d9f5
--- /dev/null
+++ b/sci-mathematics/alt-ergo/ChangeLog
@@ -0,0 +1,8 @@
+# ChangeLog for sci-mathematics/alt-ergo
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: $
+
+ 14 Jan 2013; J.-C. Demay <jcdemay@gmail.com>
+ +alt-ergo-0.95.ebuild:
+ initial commit
+
diff --git a/sci-mathematics/alt-ergo/alt-ergo-0.95.ebuild b/sci-mathematics/alt-ergo/alt-ergo-0.95.ebuild
new file mode 100644
index 0000000..d31f6e0
--- /dev/null
+++ b/sci-mathematics/alt-ergo/alt-ergo-0.95.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2013 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI=4
+
+inherit eutils
+
+DESCRIPTION="Alt-Ergo is an automatic theorem prover"
+HOMEPAGE="http://alt-ergo.lri.fr"
+SRC_URI="http://alt-ergo.lri.fr/http/${P}/${P}.tar.gz"
+
+LICENSE="CeCILL-C"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~x86"
+IUSE="+ocamlopt gtk"
+
+DEPEND=">=dev-lang/ocaml-3.10.2[ocamlopt?]
+ >=dev-ml/ocamlgraph-1.8.2[gtk?,ocamlopt?]
+ gtk? ( >=x11-libs/gtksourceview-2.8
+ >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )"
+RDEPEND="${DEPEND}"
+
+src_prepare(){
+ sed -i ${S}/Makefile.in \
+ -e "s: /usr/share/: \$(DESTDIR)/usr/share/:g" \
+ -e "s:cp -f altgr-ergo.opt:mkdir -p \$(DESTDIR)/usr/share/gtksourceview-2.0/language-specs/\n\tcp -f altgr-ergo.opt:g"
+}
+src_compile(){
+ emake || die "emake failed"
+ if use gtk; then
+ emake gui || die "emake gui failed"
+ fi
+}
+
+src_install(){
+ emake install DESTDIR="${D}" || die "emake install failed"
+ dodoc README CHANGES
+}
diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml
new file mode 100644
index 0000000..4ac4fb5
--- /dev/null
+++ b/sci-mathematics/alt-ergo/metadata.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <herd>sci</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
+ instantiation mechanism for quantified formulas. Its architecture is summarized by the
+ the following picture.
+ </longdescription>
+ <maintainer>
+ <email>sci@gentoo.org</email>
+ </maintainer>
+ <use>
+ <flag name="gtk">?gtk?</flag>
+ <flag name="ocamlopt">?ocamlopt?</flag>
+ </use>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/alt-ergo/
@ 2013-08-25 2:36 Andrew Savchenko
0 siblings, 0 replies; 9+ messages in thread
From: Andrew Savchenko @ 2013-08-25 2:36 UTC (permalink / raw
To: gentoo-commits
commit: 4bc989ebb95599a61c769c7df64910bde64d23cd
Author: Andrew Savchenko <bircoph <AT> gmail <DOT> com>
AuthorDate: Sun Aug 25 02:35:16 2013 +0000
Commit: Andrew Savchenko <bircoph <AT> gmail <DOT> com>
CommitDate: Sun Aug 25 02:35:16 2013 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=4bc989eb
sci-mathematics/alt-ergo: version bump
- version bump for a patch release 0.95.1;
- remove old and fix bug 479994 (wrong metadata for 0.95);
- cleanup metadata (there is no figure there).
---
sci-mathematics/alt-ergo/ChangeLog | 7 +++++++
.../alt-ergo/{alt-ergo-0.95.ebuild => alt-ergo-0.95.1.ebuild} | 2 +-
sci-mathematics/alt-ergo/metadata.xml | 3 +--
3 files changed, 9 insertions(+), 3 deletions(-)
diff --git a/sci-mathematics/alt-ergo/ChangeLog b/sci-mathematics/alt-ergo/ChangeLog
index aea69c1..c55de8b 100644
--- a/sci-mathematics/alt-ergo/ChangeLog
+++ b/sci-mathematics/alt-ergo/ChangeLog
@@ -2,6 +2,13 @@
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+*alt-ergo-0.95.1 (25 Aug 2013)
+
+ 25 Aug 2013; Andrew Savchenko <bircoph@gmail.com> -alt-ergo-0.95.ebuild,
+ +alt-ergo-0.95.1.ebuild, metadata.xml:
+ Version bump for a bugfix release. Cleanup metadata.
+ This also fixes bug 479994 (wrong manifest for alt-ergo-0.95).
+
03 Mar 2013; Justin Lecher <jlec@gentoo.org> alt-ergo-0.95.ebuild,
metadata.xml:
Move to EAPI=5; clean quoting and ebuild syntax and indention
diff --git a/sci-mathematics/alt-ergo/alt-ergo-0.95.ebuild b/sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild
similarity index 99%
rename from sci-mathematics/alt-ergo/alt-ergo-0.95.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild
index 020c966..5f12078 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-0.95.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild
@@ -2,7 +2,7 @@
# Distributed under the terms of the GNU General Public License v2
# $Header: $
-EAPI=4
+EAPI=5
inherit eutils
diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml
index 70209e0..947fde0 100644
--- a/sci-mathematics/alt-ergo/metadata.xml
+++ b/sci-mathematics/alt-ergo/metadata.xml
@@ -6,7 +6,6 @@
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
- instantiation mechanism for quantified formulas. Its architecture is summarized by the
- the following picture.
+ instantiation mechanism for quantified formulas.
</longdescription>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/alt-ergo/
@ 2014-06-16 10:24 Jauhien Piatlicki
0 siblings, 0 replies; 9+ messages in thread
From: Jauhien Piatlicki @ 2014-06-16 10:24 UTC (permalink / raw
To: gentoo-commits
commit: daad1b1261436d6ac1e3ea1e78546f67923369f1
Author: Jauhien Piatlicki <jauhien <AT> gentoo <DOT> org>
AuthorDate: Mon Jun 16 10:23:50 2014 +0000
Commit: Jauhien Piatlicki <jauhien <AT> gentoo <DOT> org>
CommitDate: Mon Jun 16 10:23:50 2014 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=daad1b12
sci-mathematics/alt-ergo: fix bug #479994: move sources to my dev space
---
sci-mathematics/alt-ergo/ChangeLog | 8 +++++++-
.../alt-ergo/{alt-ergo-0.95.1.ebuild => alt-ergo-0.95.2.ebuild} | 5 +++--
2 files changed, 10 insertions(+), 3 deletions(-)
diff --git a/sci-mathematics/alt-ergo/ChangeLog b/sci-mathematics/alt-ergo/ChangeLog
index c55de8b..b396eaa 100644
--- a/sci-mathematics/alt-ergo/ChangeLog
+++ b/sci-mathematics/alt-ergo/ChangeLog
@@ -1,7 +1,13 @@
# ChangeLog for sci-mathematics/alt-ergo
-# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+*alt-ergo-0.95.2 (16 Jun 2014)
+
+ 16 Jun 2014; Jauhien Piatlicki <jauhien@gentoo.org> -alt-ergo-0.95.1.ebuild,
+ +alt-ergo-0.95.2.ebuild:
+ fix bug #479994: move sources to my dev space
+
*alt-ergo-0.95.1 (25 Aug 2013)
25 Aug 2013; Andrew Savchenko <bircoph@gmail.com> -alt-ergo-0.95.ebuild,
diff --git a/sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
similarity index 88%
rename from sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
index 54cb8a5..ce0fcc7 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
@@ -8,16 +8,17 @@ inherit eutils
DESCRIPTION="Alt-Ergo is an automatic theorem prover"
HOMEPAGE="http://alt-ergo.lri.fr"
-SRC_URI="http://alt-ergo.lri.fr/http/${P}/${P}.tar.gz"
+SRC_URI="http://dev.gentoo.org/~jauhien/distfiles/${P}.tar.gz"
LICENSE="CeCILL-C"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="~amd64 ~x86"
IUSE="+ocamlopt gtk"
DEPEND="
>=dev-lang/ocaml-3.10.2[ocamlopt?]
>=dev-ml/ocamlgraph-1.8.2[gtk?,ocamlopt?]
+ dev-ml/zarith
gtk? (
x11-libs/gtksourceview:2.0
>=dev-ml/lablgtk-2.14[sourceview,ocamlopt?]
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/alt-ergo/
@ 2014-07-20 11:39 Jonathan-Christofer Demay
0 siblings, 0 replies; 9+ messages in thread
From: Jonathan-Christofer Demay @ 2014-07-20 11:39 UTC (permalink / raw
To: gentoo-commits
commit: b81928edd7bcb6749ff4c6ed6d5c7e5edf522606
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Sun Jul 20 11:36:17 2014 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Sun Jul 20 11:36:17 2014 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=b81928ed
alt-ergo/alt-ergo-0.95.2: fix gui building
---
sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
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 978b40b..cf30ef7 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
@@ -30,7 +30,9 @@ src_prepare(){
}
src_compile(){
emake || die "emake failed"
- use gtk && emake gui || die "emake gui failed"
+ if use gtk; then
+ emake gui || die "emake gui failed"
+ fi
}
src_install(){
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/alt-ergo/
@ 2014-09-16 17:01 Christoph Junghans
0 siblings, 0 replies; 9+ messages in thread
From: Christoph Junghans @ 2014-09-16 17:01 UTC (permalink / raw
To: gentoo-commits
commit: 7cb06b989744a18e665c60f7d346fc80dd70e004
Author: Christoph Junghans <ottxor <AT> gentoo <DOT> org>
AuthorDate: Tue Sep 16 16:46:38 2014 +0000
Commit: Christoph Junghans <ottxor <AT> gentoo <DOT> org>
CommitDate: Tue Sep 16 16:46:38 2014 +0000
URL: http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=7cb06b98
clean up
Package-Manager: portage-2.2.8-r1
---
sci-mathematics/alt-ergo/ChangeLog | 4 +++-
sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild | 14 ++++++--------
2 files changed, 9 insertions(+), 9 deletions(-)
diff --git a/sci-mathematics/alt-ergo/ChangeLog b/sci-mathematics/alt-ergo/ChangeLog
index ffdfbd7..ed2da17 100644
--- a/sci-mathematics/alt-ergo/ChangeLog
+++ b/sci-mathematics/alt-ergo/ChangeLog
@@ -2,6 +2,9 @@
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 16 Sep 2014; Christoph Junghans <ottxor@gentoo.org> alt-ergo-0.95.2.ebuild:
+ clean up
+
16 Jun 2014; Jauhien Piatlicki <jauhien@gentoo.org>
-alt-ergo-0.95.1.ebuild, +alt-ergo-0.95.2.ebuild:
version bump; fix bug #479994; move sources to my dev space
@@ -18,4 +21,3 @@
14 Jan 2013; Jonathan-Christofer Demay <jcdemay@gmail.com>
+alt-ergo-0.95.ebuild:
initial commit
-
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 cf30ef7..cf18236 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
@@ -24,18 +24,16 @@ RDEPEND="${DEPEND}"
src_prepare(){
sed \
- -e "s: /usr/share/: \$(DESTDIR)/usr/share/:g" \
- -e "s:cp -f altgr-ergo.opt:mkdir -p \$(DESTDIR)/usr/share/gtksourceview-2.0/language-specs/\n\tcp -f altgr-ergo.opt:g" \
- -i ${S}/Makefile.in || die
+ -e 's: /usr/share/: $(DESTDIR)/usr/share/:g' \
+ -e 's:cp -f altgr-ergo.opt:mkdir -p $(DESTDIR)/usr/share/gtksourceview-2.0/language-specs/\n\tcp -f altgr-ergo.opt:g' \
+ -i "${S}"/Makefile.in || die
}
src_compile(){
- emake || die "emake failed"
- if use gtk; then
- emake gui || die "emake gui failed"
- fi
+ emake
+ use gtk && emake gui
}
src_install(){
- emake install DESTDIR="${D}" || die "emake install failed"
+ emake install DESTDIR="${D}"
dodoc README.md CHANGES
}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/alt-ergo/
@ 2014-11-14 23:05 Christoph Junghans
0 siblings, 0 replies; 9+ messages in thread
From: Christoph Junghans @ 2014-11-14 23:05 UTC (permalink / raw
To: gentoo-commits
commit: ec8363f4fc80dcedc6f542687e7057c5bcbe5522
Author: Denis V. Buzdalov <public <AT> buzden <DOT> ru>
AuthorDate: Fri Nov 14 11:42:56 2014 +0000
Commit: Christoph Junghans <ottxor <AT> gentoo <DOT> org>
CommitDate: Fri Nov 14 11:42:56 2014 +0000
URL: http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=ec8363f4
AltGr-Ergo (GUI of Alt-Ergo) installation command was added.
---
sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild | 1 +
1 file changed, 1 insertion(+)
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 cf18236..16e1dbe 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
@@ -35,5 +35,6 @@ src_compile(){
src_install(){
emake install DESTDIR="${D}"
+ use gtk && emake install-gui DESTDIR="${D}"
dodoc README.md CHANGES
}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/alt-ergo/
@ 2015-09-21 19:05 Justin Lecher
0 siblings, 0 replies; 9+ messages in thread
From: Justin Lecher @ 2015-09-21 19:05 UTC (permalink / raw
To: gentoo-commits
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
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/alt-ergo/
@ 2016-06-15 14:48 Marius Brehler
0 siblings, 0 replies; 9+ messages in thread
From: Marius Brehler @ 2016-06-15 14:48 UTC (permalink / raw
To: gentoo-commits
commit: 6a8cfaf7c7b9eb337f30c0f3d2c982ee6fb71cad
Author: Marius Brehler <marbre <AT> linux <DOT> sungazer <DOT> de>
AuthorDate: Wed Jun 15 14:46:00 2016 +0000
Commit: Marius Brehler <marbre <AT> linux <DOT> sungazer <DOT> de>
CommitDate: Wed Jun 15 14:46:00 2016 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=6a8cfaf7
sci-mathematics/alt-ergo: Drop ~x86 keyword
Package-Manager: portage-2.2.28
sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 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 2ec5ece..d916ac5 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-2015 Gentoo Foundation
+# Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
@@ -12,7 +12,7 @@ SRC_URI="http://dev.gentoo.org/~jauhien/distfiles/${P}.tar.gz"
LICENSE="CeCILL-C"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="~amd64"
IUSE="+ocamlopt gtk"
DEPEND="
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/alt-ergo/
@ 2020-09-22 2:07 Aisha Tammy
0 siblings, 0 replies; 9+ messages in thread
From: Aisha Tammy @ 2020-09-22 2:07 UTC (permalink / raw
To: gentoo-commits
commit: a09165ad89a368499101722ca2316e7bd1592f07
Author: Aisha Tammy <gentoo <AT> aisha <DOT> cc>
AuthorDate: Tue Sep 22 02:07:11 2020 +0000
Commit: Aisha Tammy <gentoo <AT> aisha <DOT> cc>
CommitDate: Tue Sep 22 02:07:26 2020 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=a09165ad
sci-mathematics/alt-ergo: drop package
present in ::gentoo
Package-Manager: Portage-3.0.7, Repoman-3.0.1
RepoMan-Options: --force
Signed-off-by: Aisha Tammy <gentoo <AT> aisha.cc>
sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild | 42 -------------------------
sci-mathematics/alt-ergo/metadata.xml | 15 ---------
2 files changed, 57 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
deleted file mode 100644
index 3532fdc0c..000000000
--- a/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
+++ /dev/null
@@ -1,42 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit eutils
-
-DESCRIPTION="Alt-Ergo is an automatic theorem prover"
-HOMEPAGE="http://alt-ergo.ocamlpro.com"
-SRC_URI="http://dev.gentoo.org/~jauhien/distfiles/${P}.tar.gz"
-
-LICENSE="CeCILL-C"
-SLOT="0"
-KEYWORDS="~amd64"
-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:2.0
- >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?]
- )"
-RDEPEND="${DEPEND}"
-
-src_prepare(){
- sed \
- -e 's: /usr/share/: $(DESTDIR)/usr/share/:g' \
- -e 's:cp -f altgr-ergo.opt:mkdir -p $(DESTDIR)/usr/share/gtksourceview-2.0/language-specs/\n\tcp -f altgr-ergo.opt:g' \
- -i "${S}"/Makefile.in || die
-}
-src_compile(){
- default
- use gtk && emake gui
-}
-
-src_install(){
- 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
deleted file mode 100644
index a28eb2ec7..000000000
--- a/sci-mathematics/alt-ergo/metadata.xml
+++ /dev/null
@@ -1,15 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
- <maintainer type="project">
- <email>sci-mathematics@gentoo.org</email>
- <name>Gentoo Mathematics Project</name>
- </maintainer>
- <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
-instantiation mechanism for quantified formulas. Its architecture is summarized by the
-the following picture.
-</longdescription>
-</pkgmetadata>
^ permalink raw reply related [flat|nested] 9+ messages in thread
end of thread, other threads:[~2020-09-22 2:07 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2014-11-14 23:05 [gentoo-commits] proj/sci:master commit in: sci-mathematics/alt-ergo/ Christoph Junghans
-- strict thread matches above, loose matches on Subject: below --
2020-09-22 2:07 Aisha Tammy
2016-06-15 14:48 Marius Brehler
2015-09-21 19:05 Justin Lecher
2014-09-16 17:01 Christoph Junghans
2014-07-20 11:39 Jonathan-Christofer Demay
2014-06-16 10:24 Jauhien Piatlicki
2013-08-25 2:36 Andrew Savchenko
2013-01-14 14:10 Jonathan-Christofer Demay
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox