* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2017-10-14 6:59 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2017-10-14 6:59 UTC (permalink / raw
To: gentoo-commits
commit: ebe231de790ad2672cfb20daaaa50d2789fb5e11
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 14 06:58:53 2017 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Oct 14 06:58:53 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ebe231de
sci-mathematics/alt-ergo: Adding alt-ergo 1.30
Package-Manager: Portage-2.3.8, Repoman-2.3.3
sci-mathematics/alt-ergo/Manifest | 1 +
sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | 34 +++++++++++++++++++++++++++
sci-mathematics/alt-ergo/metadata.xml | 16 +++++++++++++
3 files changed, 51 insertions(+)
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
new file mode 100644
index 00000000000..576d5476a19
--- /dev/null
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -0,0 +1 @@
+DIST alt-ergo-1.30.tar.gz 380329 SHA256 2fd8428323efeafe1f0a92aeaf98242f4668784567a25eac230675451653b708 SHA512 6ac6abdc6602b0ba89ee58eb96c66ac93e8195e0b4f75595381eded86365c2dd881251de2b77e2f1137684651ddc7fd94f922509de0be2964d81f52a6fb0f2f2 WHIRLPOOL 45ac4e9f0f44e1deb30a32fb4d83624cf152dcbd734bc5baaf26f2460ac1eb67553049665ed733013bca3c3749af916510f8f0c3693eadada1d6df0949c017cc
diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
new file mode 100644
index 00000000000..46560c62743
--- /dev/null
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -0,0 +1,34 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Automatic theorem prover"
+HOMEPAGE="http://alt-ergo.ocamlpro.com"
+SRC_URI="https://alt-ergo.ocamlpro.com/http/${P}/${P}.tar.gz"
+
+LICENSE="CeCILL-C"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="examples gtk +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
+ dev-ml/zarith
+ gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )
+ dev-ml/camlzip
+ dev-ml/ocplib-simplex"
+RDEPEND="${DEPEND}"
+
+DOCS=( CHANGES INSTALL.md README.md )
+
+src_compile() {
+ emake
+ use gtk && emake gui
+}
+
+src_install() {
+ default
+ use gtk && emake DESTDIR="${D}" install-gui
+ insinto /usr/share/doc/${PF}
+ use examples && doins -r examples
+}
diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml
new file mode 100644
index 00000000000..8e305fa324a
--- /dev/null
+++ b/sci-mathematics/alt-ergo/metadata.xml
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="person">
+ <email>tupone@gentoo.org</email>
+ <name>Tupone Alfredo</name>
+ </maintainer>
+ <longdescription lang="en">
+ Alt-Ergo is an open-source automatic solver of mathematical formulas
+ designed for program verification. It is based on Satisfiability Modulo
+ Theories (SMT). Solvers of this family have made impressive advances
+ and became very popular during the last decade. They are now used is
+ various domains such as hardware design, software verification and
+ formal testing.
+ </longdescription>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2018-06-02 22:38 Aaron Bauman
0 siblings, 0 replies; 38+ messages in thread
From: Aaron Bauman @ 2018-06-02 22:38 UTC (permalink / raw
To: gentoo-commits
commit: a04371ceca8c5a7ccd9083b5d4da4647a07d21c4
Author: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com>
AuthorDate: Sat Jun 2 21:05:41 2018 +0000
Commit: Aaron Bauman <bman <AT> gentoo <DOT> org>
CommitDate: Sat Jun 2 22:38:07 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a04371ce
sci-mathematics/alt-ergo: use HTTPs
sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
index 46560c62743..8126e7e63d8 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -1,10 +1,10 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=6
DESCRIPTION="Automatic theorem prover"
-HOMEPAGE="http://alt-ergo.ocamlpro.com"
+HOMEPAGE="https://alt-ergo.ocamlpro.com"
SRC_URI="https://alt-ergo.ocamlpro.com/http/${P}/${P}.tar.gz"
LICENSE="CeCILL-C"
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2018-12-16 8:35 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2018-12-16 8:35 UTC (permalink / raw
To: gentoo-commits
commit: d902d1e13ffa95aed2b7e797e859c56ed0a67495
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Dec 16 08:35:29 2018 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Dec 16 08:35:29 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d902d1e1
sci-mathematics/alt-ergo: Stable release
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11
sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
index 8126e7e63d8..e5229fc8922 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -9,7 +9,7 @@ SRC_URI="https://alt-ergo.ocamlpro.com/http/${P}/${P}.tar.gz"
LICENSE="CeCILL-C"
SLOT="0"
-KEYWORDS="~amd64"
+KEYWORDS="amd64"
IUSE="examples gtk +ocamlopt"
DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2019-07-25 6:18 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2019-07-25 6:18 UTC (permalink / raw
To: gentoo-commits
commit: aa21f8d2b5b8b28a1e69d78c29fd5c0e0996f7a0
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Jul 25 06:17:03 2019 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Jul 25 06:17:03 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aa21f8d2
sci-mathematics/alt-ergo: Fix dependency
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
Package-Manager: Portage-2.3.66, Repoman-2.3.11
sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
index e5229fc8922..80b72760c86 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Authors
+# Copyright 1999-2019 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -16,7 +16,7 @@ DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
dev-ml/zarith
gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )
dev-ml/camlzip
- dev-ml/ocplib-simplex"
+ <=dev-ml/ocplib-simplex-0.3"
RDEPEND="${DEPEND}"
DOCS=( CHANGES INSTALL.md README.md )
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2019-07-27 18:42 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2019-07-27 18:42 UTC (permalink / raw
To: gentoo-commits
commit: 225867b2a2585985159c833ba3d819e35da1860e
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Jul 27 18:41:54 2019 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Jul 27 18:41:54 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=225867b2
sci-mathematics/alt-ergo: bump to 2.3.0
Package-Manager: Portage-2.3.66, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/alt-ergo/Manifest | 1 +
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 42 ++++++++++++++++++++++++++
2 files changed, 43 insertions(+)
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
index 9650afa0fb7..32a72ea3d18 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1 +1,2 @@
DIST alt-ergo-1.30.tar.gz 380329 BLAKE2B fab16757ed110474cf8f9d01ab53f76b6a300eb478b32bbfd6bb79d7603b1f5c2fc5c97bf44358eb138283f3487ef90febd23865723a4721b01bd870cfdd6507 SHA512 6ac6abdc6602b0ba89ee58eb96c66ac93e8195e0b4f75595381eded86365c2dd881251de2b77e2f1137684651ddc7fd94f922509de0be2964d81f52a6fb0f2f2
+DIST alt-ergo-2.3.0.tar.gz 455577 BLAKE2B 1836782be452df5147fc3041517fd267f3ce7facd15ad460c3e1dfba2b6ea455fee79ad8264ccb12cf21622c21a54c186c9943e7bffb392daab15d046ff93863 SHA512 a2f209b62b8494bfefe84328cdc786185e0534c5e224e212b83045b078352a51d2ab02622f72c22c74c7de95c7a554cbdae2a9a8a0c41f3f26c841f8c72f6b21
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
new file mode 100644
index 00000000000..69ade990ba8
--- /dev/null
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -0,0 +1,42 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+DESCRIPTION="Automatic theorem prover"
+HOMEPAGE="https://alt-ergo.ocamlpro.com"
+SRC_URI="https://alt-ergo.ocamlpro.com/http/${P}/${P}.tar.gz"
+
+LICENSE="CeCILL-C"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="examples gtk +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
+ dev-ml/zarith
+ gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )
+ dev-ml/camlzip
+ >=dev-ml/ocplib-simplex-0.4
+ >=dev-ml/menhir-20181006
+ dev-ml/dune"
+RDEPEND="${DEPEND}"
+
+DOCS=( CHANGES INSTALL.md README.md )
+
+src_configure() {
+ ./configure --prefix /usr --libdir=/usr/$(get_libdir)
+}
+
+src_compile() {
+ emake
+ use gtk && emake gui
+}
+
+src_install() {
+ default
+ use gtk && emake DESTDIR="${D}" install-gui
+ insinto /usr/share/doc/${PF}
+ use examples && doins -r examples
+ mv "${D}"/usr/doc/* "${D}"/usr/share/doc/${PF}/ || die
+ rmdir "${D}"/usr/doc || die
+}
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2019-09-07 14:39 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2019-09-07 14:39 UTC (permalink / raw
To: gentoo-commits
commit: 00a5f9717c89acdd260785e4133b45aff247bbbd
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 7 14:38:58 2019 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Sep 7 14:39:25 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=00a5f971
sci-mathematics/alt-ergo: fix build
Closes: https://bugs.gentoo.org/692252
Package-Manager: Portage-2.3.69, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 69ade990ba8..321faff324c 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -16,6 +16,7 @@ DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
dev-ml/zarith
gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )
dev-ml/camlzip
+ sci-mathematics/psmt2-frontend
>=dev-ml/ocplib-simplex-0.4
>=dev-ml/menhir-20181006
dev-ml/dune"
@@ -28,7 +29,8 @@ src_configure() {
}
src_compile() {
- emake
+ emake lib
+ emake bin
use gtk && emake gui
}
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2019-09-12 6:15 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2019-09-12 6:15 UTC (permalink / raw
To: gentoo-commits
commit: 2645610b9a3fbdfb443866177a6d5b38148c3197
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Sep 12 06:15:02 2019 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Sep 12 06:15:02 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2645610b
sci-mathematics/alt-ergo: fix BadInsIntoDir warning
Package-Manager: Portage-2.3.69, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | 3 +--
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 3 +--
2 files changed, 2 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
index 80b72760c86..197ea8a7f2d 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -29,6 +29,5 @@ src_compile() {
src_install() {
default
use gtk && emake DESTDIR="${D}" install-gui
- insinto /usr/share/doc/${PF}
- use examples && doins -r examples
+ use examples && dodoc -r examples
}
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 321faff324c..e3bbcdb317f 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -37,8 +37,7 @@ src_compile() {
src_install() {
default
use gtk && emake DESTDIR="${D}" install-gui
- insinto /usr/share/doc/${PF}
- use examples && doins -r examples
+ use examples && dodoc -r examples
mv "${D}"/usr/doc/* "${D}"/usr/share/doc/${PF}/ || die
rmdir "${D}"/usr/doc || die
}
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2019-10-21 18:32 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2019-10-21 18:32 UTC (permalink / raw
To: gentoo-commits
commit: 70cc32b67e809c86637547ecd658dd68c6321a93
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 21 18:32:21 2019 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Oct 21 18:32:21 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=70cc32b6
sci-mathematics/alt-ergo: stable
Package-Manager: Portage-2.3.69, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index e3bbcdb317f..52fdd50ec7a 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -9,7 +9,7 @@ SRC_URI="https://alt-ergo.ocamlpro.com/http/${P}/${P}.tar.gz"
LICENSE="CeCILL-C"
SLOT="0"
-KEYWORDS="~amd64"
+KEYWORDS="amd64"
IUSE="examples gtk +ocamlopt"
DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2019-10-28 21:15 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2019-10-28 21:15 UTC (permalink / raw
To: gentoo-commits
commit: e254824ef44e703f59e5f918d44802a7d85d1348
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 28 21:15:02 2019 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Oct 28 21:15:02 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e254824e
sci-mathematics/alt-ergo: add dev-ml/seq dependency
Closes: https://bugs.gentoo.org/692252
Package-Manager: Portage-2.3.76, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 1 +
1 file changed, 1 insertion(+)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 52fdd50ec7a..6dc8404508d 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -19,6 +19,7 @@ DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
sci-mathematics/psmt2-frontend
>=dev-ml/ocplib-simplex-0.4
>=dev-ml/menhir-20181006
+ dev-ml/seq
dev-ml/dune"
RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2020-03-10 21:38 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2020-03-10 21:38 UTC (permalink / raw
To: gentoo-commits
commit: 9dc3663a2ba8a9a84fa283d166e91a249ab65d2b
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 10 21:37:53 2020 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Mar 10 21:37:53 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9dc3663a
sci-mathematics/alt-ergo: fix build with ocaml-4.09
Closes: https://bugs.gentoo.org/712032
Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 6dc8404508d..2f9029c56d0 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -12,7 +12,7 @@ SLOT="0"
KEYWORDS="amd64"
IUSE="examples gtk +ocamlopt"
-DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
+DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?]
dev-ml/zarith
gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )
dev-ml/camlzip
@@ -25,6 +25,11 @@ RDEPEND="${DEPEND}"
DOCS=( CHANGES INSTALL.md README.md )
+src_prepare() {
+ default
+ find "${S}" -name \*.ml | xargs sed -i "s:Pervasives:Stdlib:g" || die
+}
+
src_configure() {
./configure --prefix /usr --libdir=/usr/$(get_libdir)
}
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2020-05-25 17:01 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2020-05-25 17:01 UTC (permalink / raw
To: gentoo-commits
commit: 5adc972cfb26d6e8e3bd18c8c12b7adda31739a5
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon May 25 17:01:22 2020 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon May 25 17:01:22 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5adc972c
sci-mathematics/alt-ergo: fix dependency
Closes: https://bugs.gentoo.org/716416
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 2f9029c56d0..b7f3fb22add 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -20,11 +20,18 @@ DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?]
>=dev-ml/ocplib-simplex-0.4
>=dev-ml/menhir-20181006
dev-ml/seq
- dev-ml/dune"
+ dev-ml/dune
+ dev-ml/num"
RDEPEND="${DEPEND}"
DOCS=( CHANGES INSTALL.md README.md )
+QA_FLAGS_IGNORED=(
+ /usr/lib*/alt-ergo-parsers/AltErgoParsers.cmxs
+ /usr/lib*/alt-ergo-lib/AltErgoLib.cmxs
+ /usr/bin/alt-ergo
+)
+
src_prepare() {
default
find "${S}" -name \*.ml | xargs sed -i "s:Pervasives:Stdlib:g" || die
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2020-05-25 21:58 Thomas Deutschmann
0 siblings, 0 replies; 38+ messages in thread
From: Thomas Deutschmann @ 2020-05-25 21:58 UTC (permalink / raw
To: gentoo-commits
commit: 6261c9c2649d9ab7f2823f9db2b46a9f7e60acdf
Author: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
AuthorDate: Mon May 25 21:58:00 2020 +0000
Commit: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
CommitDate: Mon May 25 21:58:00 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6261c9c2
sci-mathematics/alt-ergo: fix QA_FLAGS_IGNORED
Package-Manager: Portage-2.3.100, Repoman-2.3.22
Signed-off-by: Thomas Deutschmann <whissi <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index b7f3fb22add..c6d15bcea81 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -26,11 +26,11 @@ RDEPEND="${DEPEND}"
DOCS=( CHANGES INSTALL.md README.md )
-QA_FLAGS_IGNORED=(
+QA_FLAGS_IGNORED="
/usr/lib*/alt-ergo-parsers/AltErgoParsers.cmxs
/usr/lib*/alt-ergo-lib/AltErgoLib.cmxs
/usr/bin/alt-ergo
-)
+"
src_prepare() {
default
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2020-05-27 5:47 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2020-05-27 5:47 UTC (permalink / raw
To: gentoo-commits
commit: e2e4fb52038914439a3ff85bfa3d8486fc2be04d
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed May 27 05:46:51 2020 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed May 27 05:46:51 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e2e4fb52
sci-mathematics/alt-ergo: better fix for QA_FLAGS_IGNORED
Closes: https://bugs.gentoo.org/725558
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index c6d15bcea81..668708afdc7 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -26,11 +26,11 @@ RDEPEND="${DEPEND}"
DOCS=( CHANGES INSTALL.md README.md )
-QA_FLAGS_IGNORED="
- /usr/lib*/alt-ergo-parsers/AltErgoParsers.cmxs
- /usr/lib*/alt-ergo-lib/AltErgoLib.cmxs
+QA_FLAGS_IGNORED=(
+ /usr/lib64/alt-ergo-parsers/AltErgoParsers.cmxs
+ /usr/lib64/alt-ergo-lib/AltErgoLib.cmxs
/usr/bin/alt-ergo
-"
+)
src_prepare() {
default
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2020-12-05 8:42 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2020-12-05 8:42 UTC (permalink / raw
To: gentoo-commits
commit: 9e4d2e352636cbdabaa4f6620b4145d9d04fa74d
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Dec 5 08:41:28 2020 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Dec 5 08:41:28 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e4d2e35
sci-mathematics/alt-ergo: fix dependency
Closes: https://bugs.gentoo.org/758245
Package-Manager: Portage-3.0.9, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 668708afdc7..8cefc804922 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -14,7 +14,7 @@ IUSE="examples gtk +ocamlopt"
DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?]
dev-ml/zarith
- gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )
+ dev-ml/lablgtk:=[sourceview,ocamlopt?]
dev-ml/camlzip
sci-mathematics/psmt2-frontend
>=dev-ml/ocplib-simplex-0.4
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2020-12-05 18:26 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2020-12-05 18:26 UTC (permalink / raw
To: gentoo-commits
commit: 437b9b6b58591e7832b67a34c2c7af129daad744
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Dec 5 18:26:32 2020 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Dec 5 18:26:32 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=437b9b6b
sci-mathematics/alt-ergo: depend only on lablgtk:2
Bug: https://bugs.gentoo.org/758638
Package-Manager: Portage-3.0.9, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 8cefc804922..7f950f433a2 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -14,7 +14,7 @@ IUSE="examples gtk +ocamlopt"
DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?]
dev-ml/zarith
- dev-ml/lablgtk:=[sourceview,ocamlopt?]
+ dev-ml/lablgtk:2[sourceview,ocamlopt?]
dev-ml/camlzip
sci-mathematics/psmt2-frontend
>=dev-ml/ocplib-simplex-0.4
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2021-01-17 4:10 Sam James
0 siblings, 0 replies; 38+ messages in thread
From: Sam James @ 2021-01-17 4:10 UTC (permalink / raw
To: gentoo-commits
commit: f05a495a97fbe59f8b6fb6deb0f615a83c8886eb
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 17 03:53:38 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jan 17 04:10:25 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f05a495a
sci-mathematics/alt-ergo: add github remote-id
Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/alt-ergo/metadata.xml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml
index 8e305fa324a..f428be9bb60 100644
--- a/sci-mathematics/alt-ergo/metadata.xml
+++ b/sci-mathematics/alt-ergo/metadata.xml
@@ -13,4 +13,7 @@
various domains such as hardware design, software verification and
formal testing.
</longdescription>
+ <upstream>
+ <remote-id type="github">OCamlPro/alt-ergo</remote-id>
+ </upstream>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2021-01-17 4:10 Sam James
0 siblings, 0 replies; 38+ messages in thread
From: Sam James @ 2021-01-17 4:10 UTC (permalink / raw
To: gentoo-commits
commit: 16a28ad1361c0a6cbf5198a228a18fb1332b1d9e
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 17 03:55:50 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jan 17 04:10:26 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=16a28ad1
sci-mathematics/alt-ergo: add subslot deps for OCaml
We need subslot deps on any OCaml (R)DEPENDs because
we must be rebuilt when they update, for consistency.
Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | 8 ++++----
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 14 +++++++-------
2 files changed, 11 insertions(+), 11 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
index a3818de96e2..1b6ff79abed 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -12,11 +12,11 @@ SLOT="0"
KEYWORDS="amd64"
IUSE="examples gtk +ocamlopt"
-DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
- dev-ml/zarith
+DEPEND=">=dev-lang/ocaml-3.12.1:=[ocamlopt?]
+ dev-ml/zarith:=
gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,ocamlopt?] )
- dev-ml/camlzip
- <=dev-ml/ocplib-simplex-0.3"
+ dev-ml/camlzip:=
+ <=dev-ml/ocplib-simplex-0.3:="
RDEPEND="${DEPEND}"
DOCS=( CHANGES INSTALL.md README.md )
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 9baff8d48d2..046f3c9f04f 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -12,16 +12,16 @@ SLOT="0"
KEYWORDS="amd64"
IUSE="examples gtk +ocamlopt"
-DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?]
- dev-ml/zarith
+DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt?]
+ dev-ml/zarith:=
dev-ml/lablgtk:2=[sourceview,ocamlopt?]
dev-ml/camlzip
sci-mathematics/psmt2-frontend
- >=dev-ml/ocplib-simplex-0.4
- >=dev-ml/menhir-20181006
- dev-ml/seq
- dev-ml/dune
- dev-ml/num"
+ >=dev-ml/ocplib-simplex-0.4:=
+ >=dev-ml/menhir-20181006:=
+ dev-ml/seq:=
+ dev-ml/dune:=
+ dev-ml/num:="
RDEPEND="${DEPEND}"
DOCS=( CHANGES INSTALL.md README.md )
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2021-01-17 4:10 Sam James
0 siblings, 0 replies; 38+ messages in thread
From: Sam James @ 2021-01-17 4:10 UTC (permalink / raw
To: gentoo-commits
commit: a5355e9de60005120f37c4be8e228a3136a548f9
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 17 03:54:38 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jan 17 04:10:26 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a5355e9d
sci-mathematics/alt-ergo: fix MissingSlotDep in older version
Only supports lablgtk:2 for now.
See: https://github.com/OCamlPro/alt-ergo/issues/246
Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | 4 ++--
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
index 197ea8a7f2d..a3818de96e2 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -14,7 +14,7 @@ IUSE="examples gtk +ocamlopt"
DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
dev-ml/zarith
- gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )
+ gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,ocamlopt?] )
dev-ml/camlzip
<=dev-ml/ocplib-simplex-0.3"
RDEPEND="${DEPEND}"
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 7f950f433a2..9baff8d48d2 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -14,7 +14,7 @@ IUSE="examples gtk +ocamlopt"
DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?]
dev-ml/zarith
- dev-ml/lablgtk:2[sourceview,ocamlopt?]
+ dev-ml/lablgtk:2=[sourceview,ocamlopt?]
dev-ml/camlzip
sci-mathematics/psmt2-frontend
>=dev-ml/ocplib-simplex-0.4
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2021-01-17 4:10 Sam James
0 siblings, 0 replies; 38+ messages in thread
From: Sam James @ 2021-01-17 4:10 UTC (permalink / raw
To: gentoo-commits
commit: 59bc55e46efc021a7f4ca8c6a2da452a347fae4f
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 17 03:56:38 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jan 17 04:10:27 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=59bc55e4
sci-mathematics/alt-ergo: enforce ocamlopt=
We need to have ocamlopt on/off consistently
throughout the system, so use the '=' operator
to force it off where it's disabled on this package.
Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | 4 ++--
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
index 1b6ff79abed..d8812456117 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -12,9 +12,9 @@ SLOT="0"
KEYWORDS="amd64"
IUSE="examples gtk +ocamlopt"
-DEPEND=">=dev-lang/ocaml-3.12.1:=[ocamlopt?]
+DEPEND=">=dev-lang/ocaml-3.12.1:=[ocamlopt=]
dev-ml/zarith:=
- gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,ocamlopt?] )
+ gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,ocamlopt=] )
dev-ml/camlzip:=
<=dev-ml/ocplib-simplex-0.3:="
RDEPEND="${DEPEND}"
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 046f3c9f04f..bbe4688b784 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -12,9 +12,9 @@ SLOT="0"
KEYWORDS="amd64"
IUSE="examples gtk +ocamlopt"
-DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt?]
+DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt=]
dev-ml/zarith:=
- dev-ml/lablgtk:2=[sourceview,ocamlopt?]
+ dev-ml/lablgtk:2=[sourceview,ocamlopt=]
dev-ml/camlzip
sci-mathematics/psmt2-frontend
>=dev-ml/ocplib-simplex-0.4:=
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2021-12-27 20:34 Maciej Barć
0 siblings, 0 replies; 38+ messages in thread
From: Maciej Barć @ 2021-12-27 20:34 UTC (permalink / raw
To: gentoo-commits
commit: 5444eba09a932f93a474c81b98b9ab099ca07334
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 27 20:33:56 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Dec 27 20:34:35 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5444eba0
sci-mathematics/alt-ergo: maint change: tupone -> ml & sci
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/alt-ergo/metadata.xml | 36 ++++++++++++++++++++---------------
1 file changed, 21 insertions(+), 15 deletions(-)
diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml
index bd913dcab82d..0892f84cbfc2 100644
--- a/sci-mathematics/alt-ergo/metadata.xml
+++ b/sci-mathematics/alt-ergo/metadata.xml
@@ -1,19 +1,25 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
<pkgmetadata>
- <maintainer type="person">
- <email>tupone@gentoo.org</email>
- <name>Tupone Alfredo</name>
- </maintainer>
- <longdescription lang="en">
- Alt-Ergo is an open-source automatic solver of mathematical formulas
- designed for program verification. It is based on Satisfiability Modulo
- Theories (SMT). Solvers of this family have made impressive advances
- and became very popular during the last decade. They are now used is
- various domains such as hardware design, software verification and
- formal testing.
- </longdescription>
- <upstream>
- <remote-id type="github">OCamlPro/alt-ergo</remote-id>
- </upstream>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
+ <maintainer type="project">
+ <email>sci-mathematics@gentoo.org</email>
+ <name>Gentoo Mathematics Project</name>
+ </maintainer>
+ <longdescription>
+ Alt-Ergo is an open-source automatic solver of mathematical formulas
+ designed for program verification. It is based on Satisfiability Modulo
+ Theories (SMT). Solvers of this family have made impressive advances
+ and became very popular during the last decade. They are now used is
+ various domains such as hardware design, software verification and
+ formal testing.
+ </longdescription>
+ <upstream>
+ <bugs-to>https://github.com/OCamlPro/alt-ergo/issues/</bugs-to>
+ <remote-id type="github">OCamlPro/alt-ergo</remote-id>
+ </upstream>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2021-12-27 23:47 Maciej Barć
0 siblings, 0 replies; 38+ messages in thread
From: Maciej Barć @ 2021-12-27 23:47 UTC (permalink / raw
To: gentoo-commits
commit: 9c0afb6206ddcc225b50413cb8a46b8b0eded3cc
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 27 23:46:50 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Dec 27 23:47:32 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9c0afb62
sci-mathematics/alt-ergo: bump to 2.4.1
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/alt-ergo/Manifest | 1 +
sci-mathematics/alt-ergo/alt-ergo-2.4.1.ebuild | 44 ++++++++++++++++++++++++++
2 files changed, 45 insertions(+)
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
index de070479a00e..347d94ff7e6e 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1 +1,2 @@
DIST alt-ergo-2.3.0.tar.gz 455577 BLAKE2B 1836782be452df5147fc3041517fd267f3ce7facd15ad460c3e1dfba2b6ea455fee79ad8264ccb12cf21622c21a54c186c9943e7bffb392daab15d046ff93863 SHA512 a2f209b62b8494bfefe84328cdc786185e0534c5e224e212b83045b078352a51d2ab02622f72c22c74c7de95c7a554cbdae2a9a8a0c41f3f26c841f8c72f6b21
+DIST alt-ergo-2.4.1.tar.gz 2883046 BLAKE2B 6930080f7735f043e33d02b7fa0990c53992848796c0a5cf6ea4d7122eb6b9e5d6ac7ce420a4a19da35fa0ce5ff431bc228f2314a6f709f27a16bc7481bbacd5 SHA512 c3eee41d3c588ca89c2a1eebe9f10914ef647743b58fb562b682172cf6b6bdeb0920ebbba8a850820c0cb53bad0260f11b82fe71f00830ea9b33f5bb5d4fd048
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1.ebuild
new file mode 100644
index 000000000000..9621bd865e68
--- /dev/null
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.1.ebuild
@@ -0,0 +1,44 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Automatic theorem prover"
+HOMEPAGE="https://alt-ergo.ocamlpro.com"
+SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="CeCILL-C"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="examples +ocamlopt"
+
+RDEPEND="
+ >=dev-lang/ocaml-4.09.0:=[ocamlopt=]
+ >=dev-ml/menhir-20181006:=
+ >=dev-ml/ocplib-simplex-0.4:=
+ >=sci-mathematics/psmt2-frontend-0.4.0:=
+ dev-ml/camlzip:=
+ dev-ml/num:=
+ dev-ml/seq:=
+ dev-ml/zarith:=
+"
+DEPEND="${RDEPEND}"
+
+src_prepare() {
+ default
+
+ # Remove the GTK2 GUI frontend because GTK2 in Gentoo is deprecated
+ rm -r src/bin/gui || die
+}
+
+src_configure() {
+ sh ./configure --prefix /usr --libdir=/usr/$(get_libdir) || die
+}
+
+src_install() {
+ dune-install alt-ergo-lib alt-ergo-parsers alt-ergo
+
+ use examples && dodoc -r examples
+}
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2021-12-28 13:40 Maciej Barć
0 siblings, 0 replies; 38+ messages in thread
From: Maciej Barć @ 2021-12-28 13:40 UTC (permalink / raw
To: gentoo-commits
commit: b2ebfea24c268cef7c30cbea68442057993cb502
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Dec 28 13:39:49 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Dec 28 13:40:20 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b2ebfea2
sci-mathematics/alt-ergo: fix deps
Closes: https://bugs.gentoo.org/830140
Closes: https://bugs.gentoo.org/830156
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../alt-ergo/{alt-ergo-2.4.1.ebuild => alt-ergo-2.4.1-r1.ebuild} | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild
similarity index 92%
rename from sci-mathematics/alt-ergo/alt-ergo-2.4.1.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild
index 9621bd865e68..52d3124f6809 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.1.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild
@@ -16,15 +16,19 @@ IUSE="examples +ocamlopt"
RDEPEND="
>=dev-lang/ocaml-4.09.0:=[ocamlopt=]
+ >=sci-mathematics/psmt2-frontend-0.4.0:=
+
>=dev-ml/menhir-20181006:=
>=dev-ml/ocplib-simplex-0.4:=
- >=sci-mathematics/psmt2-frontend-0.4.0:=
dev-ml/camlzip:=
+ dev-ml/cmdliner:=
dev-ml/num:=
dev-ml/seq:=
+ dev-ml/stdlib-shims:=
dev-ml/zarith:=
"
DEPEND="${RDEPEND}"
+BDEPEND="dev-ml/dune-configurator"
src_prepare() {
default
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2022-03-02 9:04 Agostino Sarubbo
0 siblings, 0 replies; 38+ messages in thread
From: Agostino Sarubbo @ 2022-03-02 9:04 UTC (permalink / raw
To: gentoo-commits
commit: 2bd5b0a43c67113f0fbfb2a126ed0c3deb13da55
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Wed Mar 2 09:04:39 2022 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Wed Mar 2 09:04:39 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bd5b0a4
sci-mathematics/alt-ergo: amd64 stable wrt bug #834375
Package-Manager: Portage-3.0.30, Repoman-3.0.3
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild
index 52d3124f6809..b1fc33bf89fa 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="CeCILL-C"
SLOT="0/${PV}"
-KEYWORDS="~amd64"
+KEYWORDS="amd64"
IUSE="examples +ocamlopt"
RDEPEND="
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2022-04-15 19:33 Maciej Barć
0 siblings, 0 replies; 38+ messages in thread
From: Maciej Barć @ 2022-04-15 19:33 UTC (permalink / raw
To: gentoo-commits
commit: 0c5c8ab39246ad13897d73e004882d89e6838996
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Apr 15 19:31:34 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Apr 15 19:32:46 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0c5c8ab3
sci-mathematics/alt-ergo: depend on cmdliner <1.1.0
https://opam.ocaml.org/packages/alt-ergo/
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../alt-ergo/{alt-ergo-2.4.1-r1.ebuild => alt-ergo-2.4.1-r2.ebuild} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild
similarity index 97%
rename from sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild
index b1fc33bf89fa..bc908a192c9e 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild
@@ -18,10 +18,10 @@ RDEPEND="
>=dev-lang/ocaml-4.09.0:=[ocamlopt=]
>=sci-mathematics/psmt2-frontend-0.4.0:=
+ <dev-ml/cmdliner-1.1.0:=
>=dev-ml/menhir-20181006:=
>=dev-ml/ocplib-simplex-0.4:=
dev-ml/camlzip:=
- dev-ml/cmdliner:=
dev-ml/num:=
dev-ml/seq:=
dev-ml/stdlib-shims:=
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2022-04-15 19:54 Maciej Barć
0 siblings, 0 replies; 38+ messages in thread
From: Maciej Barć @ 2022-04-15 19:54 UTC (permalink / raw
To: gentoo-commits
commit: 743f7000d74f66ab38a9a5698b463d27d787b470
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Apr 15 19:44:22 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Apr 15 19:54:11 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=743f7000
sci-mathematics/alt-ergo: bump to 2.4.1_p20220407
2022.04.07 snapshot;
bumped to get new cmdliner dependency, added in
https://github.com/OCamlPro/alt-ergo/commit/92e831bf26b6f9d1478cd263e46e1a088fea29a8
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/alt-ergo/Manifest | 1 +
.../alt-ergo/alt-ergo-2.4.1_p20220407.ebuild | 51 ++++++++++++++++++++++
2 files changed, 52 insertions(+)
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
index 347d94ff7e6e..6ae0ff60295b 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1,2 +1,3 @@
DIST alt-ergo-2.3.0.tar.gz 455577 BLAKE2B 1836782be452df5147fc3041517fd267f3ce7facd15ad460c3e1dfba2b6ea455fee79ad8264ccb12cf21622c21a54c186c9943e7bffb392daab15d046ff93863 SHA512 a2f209b62b8494bfefe84328cdc786185e0534c5e224e212b83045b078352a51d2ab02622f72c22c74c7de95c7a554cbdae2a9a8a0c41f3f26c841f8c72f6b21
DIST alt-ergo-2.4.1.tar.gz 2883046 BLAKE2B 6930080f7735f043e33d02b7fa0990c53992848796c0a5cf6ea4d7122eb6b9e5d6ac7ce420a4a19da35fa0ce5ff431bc228f2314a6f709f27a16bc7481bbacd5 SHA512 c3eee41d3c588ca89c2a1eebe9f10914ef647743b58fb562b682172cf6b6bdeb0920ebbba8a850820c0cb53bad0260f11b82fe71f00830ea9b33f5bb5d4fd048
+DIST alt-ergo-2.4.1_p20220407.tar.gz 2884310 BLAKE2B aaa31242de3ffe3f804de1e47fb740593812991e60eb583339ec0e1c56caa40b3c7f14108d068a1dbcbd7efc0d8fc96f1ba652a77c03170bddef90931a44c12c SHA512 4c353a359c92e121859f84455bb98bd80c0d33bb2001d6f2998a822e6b3dd65c9c56b0bdcaf93e52863afd8e999de6939d05859b5fc6de2ed9689c1d083bba0a
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407.ebuild
new file mode 100644
index 000000000000..f76781a05972
--- /dev/null
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=4e082218efe6e0e2315331580bbd08306c1f8a2d
+
+inherit dune
+
+DESCRIPTION="Automatic theorem prover"
+HOMEPAGE="https://alt-ergo.ocamlpro.com"
+SRC_URI="https://github.com/OCamlPro/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${H}
+
+LICENSE="CeCILL-C"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="examples +ocamlopt"
+
+RDEPEND="
+ >=dev-lang/ocaml-4.09.0:=[ocamlopt=]
+ >=sci-mathematics/psmt2-frontend-0.4.0:=
+
+ >=dev-ml/cmdliner-1.1.0:=
+ >=dev-ml/menhir-20181006:=
+ >=dev-ml/ocplib-simplex-0.4:=
+ dev-ml/camlzip:=
+ dev-ml/num:=
+ dev-ml/seq:=
+ dev-ml/stdlib-shims:=
+ dev-ml/zarith:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="dev-ml/dune-configurator"
+
+src_prepare() {
+ default
+
+ # Remove the GTK2 GUI frontend because GTK2 in Gentoo is deprecated
+ rm -r src/bin/gui || die
+}
+
+src_configure() {
+ sh ./configure --prefix /usr --libdir=/usr/$(get_libdir) || die
+}
+
+src_install() {
+ dune-install alt-ergo-lib alt-ergo-parsers alt-ergo
+
+ use examples && dodoc -r examples
+}
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2022-06-21 1:53 Sam James
0 siblings, 0 replies; 38+ messages in thread
From: Sam James @ 2022-06-21 1:53 UTC (permalink / raw
To: gentoo-commits
commit: a74305078b85502b6813e5bb3a746e5c82dc5c55
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 21 01:36:06 2022 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Tue Jun 21 01:36:06 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a7430507
sci-mathematics/alt-ergo: fix OCaml dep
Signed-off-by: Sam James <sam <AT> gentoo.org>
.../alt-ergo/{alt-ergo-2.3.0.ebuild => alt-ergo-2.3.0-r1.ebuild} | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild
similarity index 95%
rename from sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild
index bbe4688b7840..6dbe4ce6fc63 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -15,7 +15,7 @@ IUSE="examples gtk +ocamlopt"
DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt=]
dev-ml/zarith:=
dev-ml/lablgtk:2=[sourceview,ocamlopt=]
- dev-ml/camlzip
+ dev-ml/camlzip:=
sci-mathematics/psmt2-frontend
>=dev-ml/ocplib-simplex-0.4:=
>=dev-ml/menhir-20181006:=
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2022-06-29 18:05 Alfredo Tupone
0 siblings, 0 replies; 38+ messages in thread
From: Alfredo Tupone @ 2022-06-29 18:05 UTC (permalink / raw
To: gentoo-commits
commit: cfa07369cb804ea360eef996a504b1297ced25cc
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 29 18:05:14 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Jun 29 18:05:37 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cfa07369
sci-mathematics/alt-ergo: require ocamlopt
Closes: https://bugs.gentoo.org/849374
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
...lt-ergo-2.4.1_p20220407.ebuild => alt-ergo-2.4.1_p20220407-r1.ebuild} | 1 +
1 file changed, 1 insertion(+)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild
similarity index 97%
rename from sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild
index f76781a05972..99700c400f68 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild
@@ -32,6 +32,7 @@ RDEPEND="
"
DEPEND="${RDEPEND}"
BDEPEND="dev-ml/dune-configurator"
+REQUIRED_USE="ocamlopt"
src_prepare() {
default
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2022-08-20 13:28 Maciej Barć
0 siblings, 0 replies; 38+ messages in thread
From: Maciej Barć @ 2022-08-20 13:28 UTC (permalink / raw
To: gentoo-commits
commit: e69201200146edb78b476c8e9c64c75aa59f7873
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Aug 20 13:27:22 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Aug 20 13:28:05 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e6920120
sci-mathematics/alt-ergo: bump to 2.4.2
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/alt-ergo/Manifest | 1 +
sci-mathematics/alt-ergo/alt-ergo-2.4.2.ebuild | 55 ++++++++++++++++++++++++++
2 files changed, 56 insertions(+)
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
index 6ae0ff60295b..7fc16be695dd 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1,3 +1,4 @@
DIST alt-ergo-2.3.0.tar.gz 455577 BLAKE2B 1836782be452df5147fc3041517fd267f3ce7facd15ad460c3e1dfba2b6ea455fee79ad8264ccb12cf21622c21a54c186c9943e7bffb392daab15d046ff93863 SHA512 a2f209b62b8494bfefe84328cdc786185e0534c5e224e212b83045b078352a51d2ab02622f72c22c74c7de95c7a554cbdae2a9a8a0c41f3f26c841f8c72f6b21
DIST alt-ergo-2.4.1.tar.gz 2883046 BLAKE2B 6930080f7735f043e33d02b7fa0990c53992848796c0a5cf6ea4d7122eb6b9e5d6ac7ce420a4a19da35fa0ce5ff431bc228f2314a6f709f27a16bc7481bbacd5 SHA512 c3eee41d3c588ca89c2a1eebe9f10914ef647743b58fb562b682172cf6b6bdeb0920ebbba8a850820c0cb53bad0260f11b82fe71f00830ea9b33f5bb5d4fd048
DIST alt-ergo-2.4.1_p20220407.tar.gz 2884310 BLAKE2B aaa31242de3ffe3f804de1e47fb740593812991e60eb583339ec0e1c56caa40b3c7f14108d068a1dbcbd7efc0d8fc96f1ba652a77c03170bddef90931a44c12c SHA512 4c353a359c92e121859f84455bb98bd80c0d33bb2001d6f2998a822e6b3dd65c9c56b0bdcaf93e52863afd8e999de6939d05859b5fc6de2ed9689c1d083bba0a
+DIST alt-ergo-2.4.2.tar.gz 2884553 BLAKE2B 95392625a6b17b3a2e41070a7f70ba124a95d99294f295d7c5a636a3327e6dac6b2153d1c90be4d24b72ce5ad22be5e174f6ae1c37663b093218a76ec1ada29a SHA512 61ae181ccd60a49f833ea79bbd5184a46f8eef24e7fe1169b15e905ed86584bdbe993ef86c203d5bfc3d79961024f96af0e4e623dc15479aa9538648291c9a75
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.2.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.2.ebuild
new file mode 100644
index 000000000000..69cec7be217d
--- /dev/null
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.2.ebuild
@@ -0,0 +1,55 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Automatic theorem prover"
+HOMEPAGE="https://alt-ergo.ocamlpro.com"
+SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="CeCILL-C"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="examples gui +ocamlopt"
+REQUIRED_USE="ocamlopt"
+
+RDEPEND="
+ >=dev-lang/ocaml-4.09.0:=[ocamlopt=]
+ >=sci-mathematics/psmt2-frontend-0.4.0:=
+
+ >=dev-ml/cmdliner-1.1.0:=
+ >=dev-ml/menhir-20181006:=
+ >=dev-ml/ocplib-simplex-0.4:=
+ dev-ml/camlzip:=
+ dev-ml/num:=
+ dev-ml/seq:=
+ dev-ml/stdlib-shims:=
+ dev-ml/zarith:=
+ gui? (
+ dev-ml/lablgtk:3
+ dev-ml/lablgtk-sourceview:3
+ )
+"
+DEPEND="${RDEPEND}"
+BDEPEND="dev-ml/dune-configurator"
+
+src_prepare() {
+ default
+
+ if ! use gui ; then
+ rm -r src/bin/gui || die
+ fi
+}
+
+src_configure() {
+ sh ./configure --prefix /usr --libdir=/usr/$(get_libdir) || die
+}
+
+src_install() {
+ dune-install alt-ergo-lib alt-ergo-parsers alt-ergo
+
+ use gui && dune-install altgr-ergo
+ use examples && dodoc -r examples
+}
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2022-09-23 23:52 Maciej Barć
0 siblings, 0 replies; 38+ messages in thread
From: Maciej Barć @ 2022-09-23 23:52 UTC (permalink / raw
To: gentoo-commits
commit: 6e80e1faa1d22ce4ad7c95092c12c9e2e758fb47
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 23 23:22:40 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Sep 23 23:52:39 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6e80e1fa
sci-mathematics/alt-ergo: 2.4.2 - do not depend on seq
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../alt-ergo/{alt-ergo-2.4.2.ebuild => alt-ergo-2.4.2-r1.ebuild} | 1 -
1 file changed, 1 deletion(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.2.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
similarity index 98%
rename from sci-mathematics/alt-ergo/alt-ergo-2.4.2.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
index 69cec7be217d..496625cddfef 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.2.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
@@ -24,7 +24,6 @@ RDEPEND="
>=dev-ml/ocplib-simplex-0.4:=
dev-ml/camlzip:=
dev-ml/num:=
- dev-ml/seq:=
dev-ml/stdlib-shims:=
dev-ml/zarith:=
gui? (
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2023-01-30 13:09 Sam James
0 siblings, 0 replies; 38+ messages in thread
From: Sam James @ 2023-01-30 13:09 UTC (permalink / raw
To: gentoo-commits
commit: 324271e7906d2a0e87cadfb01105830e41cecc83
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Jan 30 13:09:33 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Jan 30 13:09:33 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=324271e7
sci-mathematics/alt-ergo: Stabilize 2.4.2-r1 amd64, #892271
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
index 581b8c28a604..907c2da6676b 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="CeCILL-C"
SLOT="0/${PV}"
-KEYWORDS="~amd64"
+KEYWORDS="amd64"
IUSE="examples gui +ocamlopt"
REQUIRED_USE="ocamlopt"
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2023-01-30 19:48 Andreas Sturmlechner
0 siblings, 0 replies; 38+ messages in thread
From: Andreas Sturmlechner @ 2023-01-30 19:48 UTC (permalink / raw
To: gentoo-commits
commit: 520acbb882cdd701e561e1c54bfa94134506c905
Author: Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 27 20:30:41 2023 +0000
Commit: Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
CommitDate: Mon Jan 30 19:48:23 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=520acbb8
sci-mathematics/alt-ergo: drop 2.3.0-r1, 2.4.1_p20220407-r1
2.3.0-r1 overshadowed by 2.4.1-r2
2.4.1_p20220407-r1 overshadowed by 2.4.2-r1
Closes: https://bugs.gentoo.org/769332
Signed-off-by: Andreas Sturmlechner <asturm <AT> gentoo.org>
sci-mathematics/alt-ergo/Manifest | 2 -
sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild | 56 ----------------------
.../alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild | 52 --------------------
3 files changed, 110 deletions(-)
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
index 7fc16be695dd..49ac1bd63a83 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1,4 +1,2 @@
-DIST alt-ergo-2.3.0.tar.gz 455577 BLAKE2B 1836782be452df5147fc3041517fd267f3ce7facd15ad460c3e1dfba2b6ea455fee79ad8264ccb12cf21622c21a54c186c9943e7bffb392daab15d046ff93863 SHA512 a2f209b62b8494bfefe84328cdc786185e0534c5e224e212b83045b078352a51d2ab02622f72c22c74c7de95c7a554cbdae2a9a8a0c41f3f26c841f8c72f6b21
DIST alt-ergo-2.4.1.tar.gz 2883046 BLAKE2B 6930080f7735f043e33d02b7fa0990c53992848796c0a5cf6ea4d7122eb6b9e5d6ac7ce420a4a19da35fa0ce5ff431bc228f2314a6f709f27a16bc7481bbacd5 SHA512 c3eee41d3c588ca89c2a1eebe9f10914ef647743b58fb562b682172cf6b6bdeb0920ebbba8a850820c0cb53bad0260f11b82fe71f00830ea9b33f5bb5d4fd048
-DIST alt-ergo-2.4.1_p20220407.tar.gz 2884310 BLAKE2B aaa31242de3ffe3f804de1e47fb740593812991e60eb583339ec0e1c56caa40b3c7f14108d068a1dbcbd7efc0d8fc96f1ba652a77c03170bddef90931a44c12c SHA512 4c353a359c92e121859f84455bb98bd80c0d33bb2001d6f2998a822e6b3dd65c9c56b0bdcaf93e52863afd8e999de6939d05859b5fc6de2ed9689c1d083bba0a
DIST alt-ergo-2.4.2.tar.gz 2884553 BLAKE2B 95392625a6b17b3a2e41070a7f70ba124a95d99294f295d7c5a636a3327e6dac6b2153d1c90be4d24b72ce5ad22be5e174f6ae1c37663b093218a76ec1ada29a SHA512 61ae181ccd60a49f833ea79bbd5184a46f8eef24e7fe1169b15e905ed86584bdbe993ef86c203d5bfc3d79961024f96af0e4e623dc15479aa9538648291c9a75
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild
deleted file mode 100644
index 6dbe4ce6fc63..000000000000
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild
+++ /dev/null
@@ -1,56 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-DESCRIPTION="Automatic theorem prover"
-HOMEPAGE="https://alt-ergo.ocamlpro.com"
-SRC_URI="https://alt-ergo.ocamlpro.com/http/${P}/${P}.tar.gz"
-
-LICENSE="CeCILL-C"
-SLOT="0"
-KEYWORDS="amd64"
-IUSE="examples gtk +ocamlopt"
-
-DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt=]
- dev-ml/zarith:=
- dev-ml/lablgtk:2=[sourceview,ocamlopt=]
- dev-ml/camlzip:=
- sci-mathematics/psmt2-frontend
- >=dev-ml/ocplib-simplex-0.4:=
- >=dev-ml/menhir-20181006:=
- dev-ml/seq:=
- dev-ml/dune:=
- dev-ml/num:="
-RDEPEND="${DEPEND}"
-
-DOCS=( CHANGES INSTALL.md README.md )
-
-QA_FLAGS_IGNORED=(
- /usr/lib64/alt-ergo-parsers/AltErgoParsers.cmxs
- /usr/lib64/alt-ergo-lib/AltErgoLib.cmxs
- /usr/bin/alt-ergo
-)
-
-src_prepare() {
- default
- find "${S}" -name \*.ml | xargs sed -i "s:Pervasives:Stdlib:g" || die
-}
-
-src_configure() {
- ./configure --prefix /usr --libdir=/usr/$(get_libdir)
-}
-
-src_compile() {
- emake lib
- emake bin
- use gtk && emake gui
-}
-
-src_install() {
- default
- use gtk && emake DESTDIR="${D}" install-gui
- use examples && dodoc -r examples
- mv "${D}"/usr/doc/* "${D}"/usr/share/doc/${PF}/ || die
- rmdir "${D}"/usr/doc || die
-}
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild
deleted file mode 100644
index 99700c400f68..000000000000
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild
+++ /dev/null
@@ -1,52 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-H=4e082218efe6e0e2315331580bbd08306c1f8a2d
-
-inherit dune
-
-DESCRIPTION="Automatic theorem prover"
-HOMEPAGE="https://alt-ergo.ocamlpro.com"
-SRC_URI="https://github.com/OCamlPro/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${H}
-
-LICENSE="CeCILL-C"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="examples +ocamlopt"
-
-RDEPEND="
- >=dev-lang/ocaml-4.09.0:=[ocamlopt=]
- >=sci-mathematics/psmt2-frontend-0.4.0:=
-
- >=dev-ml/cmdliner-1.1.0:=
- >=dev-ml/menhir-20181006:=
- >=dev-ml/ocplib-simplex-0.4:=
- dev-ml/camlzip:=
- dev-ml/num:=
- dev-ml/seq:=
- dev-ml/stdlib-shims:=
- dev-ml/zarith:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="dev-ml/dune-configurator"
-REQUIRED_USE="ocamlopt"
-
-src_prepare() {
- default
-
- # Remove the GTK2 GUI frontend because GTK2 in Gentoo is deprecated
- rm -r src/bin/gui || die
-}
-
-src_configure() {
- sh ./configure --prefix /usr --libdir=/usr/$(get_libdir) || die
-}
-
-src_install() {
- dune-install alt-ergo-lib alt-ergo-parsers alt-ergo
-
- use examples && dodoc -r examples
-}
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2023-06-04 13:39 Maciej Barć
0 siblings, 0 replies; 38+ messages in thread
From: Maciej Barć @ 2023-06-04 13:39 UTC (permalink / raw
To: gentoo-commits
commit: 9403cd78844f9495e3feade4ae9348a95f8c718b
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 4 13:24:37 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Jun 4 13:39:41 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9403cd78
sci-mathematics/alt-ergo: add live version
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-9999.ebuild | 76 +++++++++++++++++++++++++++
1 file changed, 76 insertions(+)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-9999.ebuild b/sci-mathematics/alt-ergo/alt-ergo-9999.ebuild
new file mode 100644
index 000000000000..1ba42319bb6c
--- /dev/null
+++ b/sci-mathematics/alt-ergo/alt-ergo-9999.ebuild
@@ -0,0 +1,76 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Automatic theorem prover"
+HOMEPAGE="https://alt-ergo.ocamlpro.com
+ https://github.com/OCamlPro/alt-ergo/"
+
+if [[ ${PV} == *9999* ]] ; then
+ inherit git-r3
+ EGIT_REPO_URI="https://github.com/OCamlPro/${PN}.git"
+else
+ SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz
+ -> ${P}.tar.gz"
+ KEYWORDS="~amd64"
+fi
+
+LICENSE="CeCILL-C"
+SLOT="0/${PV}"
+IUSE="examples gui +ocamlopt"
+REQUIRED_USE="ocamlopt"
+
+RDEPEND="
+ >=dev-lang/ocaml-4.09.0:=[ocamlopt=]
+ >=sci-mathematics/psmt2-frontend-0.4.0:=
+
+ >=dev-ml/cmdliner-1.1.0:=
+ >=dev-ml/menhir-20181006:=
+ >=dev-ml/ocplib-simplex-0.4:=
+ dev-ml/camlzip:=
+ dev-ml/num:=
+ dev-ml/stdlib-shims:=
+ dev-ml/zarith:=
+ gui? (
+ dev-ml/lablgtk:3
+ dev-ml/lablgtk-sourceview:3
+ )
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+ dev-ml/dune-build-info
+ dev-ml/dune-configurator
+"
+
+PATCHES=( "${FILESDIR}"/${PN}-2.4.3-dune.patch )
+
+OCAML_SUBPACKAGES=(
+ alt-ergo-lib
+ alt-ergo-parsers
+ alt-ergo
+)
+
+src_prepare() {
+ default
+
+ if use gui ; then
+ OCAML_SUBPACKAGES+=( altgr-ergo )
+ fi
+}
+
+src_configure() {
+ sh ./configure --prefix /usr --libdir=/usr/$(get_libdir) || die
+}
+
+src_compile() {
+ dune-compile ${OCAML_SUBPACKAGES[@]}
+}
+
+src_install() {
+ dune-install ${OCAML_SUBPACKAGES[@]}
+
+ use examples && dodoc -r examples
+}
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2023-08-16 2:20 Sam James
0 siblings, 0 replies; 38+ messages in thread
From: Sam James @ 2023-08-16 2:20 UTC (permalink / raw
To: gentoo-commits
commit: be552c8b84be7d0266658e5556b6adb1508552df
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Aug 16 02:19:43 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Aug 16 02:19:43 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=be552c8b
sci-mathematics/alt-ergo: Stabilize 2.4.3 amd64, #912295
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild
index 1ba42319bb6c..e06cf284f0e1 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild
@@ -15,7 +15,7 @@ if [[ ${PV} == *9999* ]] ; then
else
SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz
-> ${P}.tar.gz"
- KEYWORDS="~amd64"
+ KEYWORDS="amd64"
fi
LICENSE="CeCILL-C"
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2023-09-22 14:09 Maciej Barć
0 siblings, 0 replies; 38+ messages in thread
From: Maciej Barć @ 2023-09-22 14:09 UTC (permalink / raw
To: gentoo-commits
commit: 08c0ba171725865402e4419a0775830ff6b96460
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 22 12:30:09 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Sep 22 14:09:44 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=08c0ba17
sci-mathematics/alt-ergo: drop old 2.4.2-r1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/alt-ergo/Manifest | 1 -
sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild | 56 -----------------------
2 files changed, 57 deletions(-)
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
index 8ac1f788e157..e257f9101e0b 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1,2 +1 @@
-DIST alt-ergo-2.4.2.tar.gz 2884553 BLAKE2B 95392625a6b17b3a2e41070a7f70ba124a95d99294f295d7c5a636a3327e6dac6b2153d1c90be4d24b72ce5ad22be5e174f6ae1c37663b093218a76ec1ada29a SHA512 61ae181ccd60a49f833ea79bbd5184a46f8eef24e7fe1169b15e905ed86584bdbe993ef86c203d5bfc3d79961024f96af0e4e623dc15479aa9538648291c9a75
DIST alt-ergo-2.4.3.tar.gz 2902450 BLAKE2B bb8931dc512e3745496c1801fe959ac0fc4758b03049462506689021508a4ea364f0aae8679c776d8154c9f86a09080801c9b822d23355c572a24bd8b0e38210 SHA512 88a26b138e41997516085dbbf279e1ce11d03c18c0464ba80d5403dc80ff0f8cb5cbd4ad1489a60ff2a3b9539f9c55e4274008b14eed47b6fd057ce0a94ef98f
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
deleted file mode 100644
index 907c2da6676b..000000000000
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
+++ /dev/null
@@ -1,56 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Automatic theorem prover"
-HOMEPAGE="https://alt-ergo.ocamlpro.com"
-SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="CeCILL-C"
-SLOT="0/${PV}"
-KEYWORDS="amd64"
-IUSE="examples gui +ocamlopt"
-REQUIRED_USE="ocamlopt"
-
-RDEPEND="
- >=dev-lang/ocaml-4.09.0:=[ocamlopt=]
- >=sci-mathematics/psmt2-frontend-0.4.0:=
-
- >=dev-ml/cmdliner-1.1.0:=
- >=dev-ml/menhir-20181006:=
- >=dev-ml/ocplib-simplex-0.4:=
- dev-ml/camlzip:=
- dev-ml/num:=
- dev-ml/stdlib-shims:=
- dev-ml/zarith:=
- gui? (
- dev-ml/lablgtk:3
- dev-ml/lablgtk-sourceview:3
- )
-"
-DEPEND="${RDEPEND}"
-BDEPEND="dev-ml/dune-configurator"
-
-PATCHES=( "${FILESDIR}"/${P}-dune.patch )
-
-src_prepare() {
- default
-
- if ! use gui ; then
- rm -r src/bin/gui || die
- fi
-}
-
-src_configure() {
- sh ./configure --prefix /usr --libdir=/usr/$(get_libdir) || die
-}
-
-src_install() {
- dune-install alt-ergo-lib alt-ergo-parsers alt-ergo
-
- use gui && dune-install altgr-ergo
- use examples && dodoc -r examples
-}
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2023-09-22 14:09 Maciej Barć
0 siblings, 0 replies; 38+ messages in thread
From: Maciej Barć @ 2023-09-22 14:09 UTC (permalink / raw
To: gentoo-commits
commit: f38f257a704600cb9140e07518e0fb1d3460ad2d
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 22 12:29:59 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Sep 22 14:09:44 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f38f257a
sci-mathematics/alt-ergo: drop old 2.4.1-r2
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/alt-ergo/Manifest | 1 -
sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild | 48 -----------------------
2 files changed, 49 deletions(-)
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
index 7c1c762e20c7..8ac1f788e157 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1,3 +1,2 @@
-DIST alt-ergo-2.4.1.tar.gz 2883046 BLAKE2B 6930080f7735f043e33d02b7fa0990c53992848796c0a5cf6ea4d7122eb6b9e5d6ac7ce420a4a19da35fa0ce5ff431bc228f2314a6f709f27a16bc7481bbacd5 SHA512 c3eee41d3c588ca89c2a1eebe9f10914ef647743b58fb562b682172cf6b6bdeb0920ebbba8a850820c0cb53bad0260f11b82fe71f00830ea9b33f5bb5d4fd048
DIST alt-ergo-2.4.2.tar.gz 2884553 BLAKE2B 95392625a6b17b3a2e41070a7f70ba124a95d99294f295d7c5a636a3327e6dac6b2153d1c90be4d24b72ce5ad22be5e174f6ae1c37663b093218a76ec1ada29a SHA512 61ae181ccd60a49f833ea79bbd5184a46f8eef24e7fe1169b15e905ed86584bdbe993ef86c203d5bfc3d79961024f96af0e4e623dc15479aa9538648291c9a75
DIST alt-ergo-2.4.3.tar.gz 2902450 BLAKE2B bb8931dc512e3745496c1801fe959ac0fc4758b03049462506689021508a4ea364f0aae8679c776d8154c9f86a09080801c9b822d23355c572a24bd8b0e38210 SHA512 88a26b138e41997516085dbbf279e1ce11d03c18c0464ba80d5403dc80ff0f8cb5cbd4ad1489a60ff2a3b9539f9c55e4274008b14eed47b6fd057ce0a94ef98f
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild
deleted file mode 100644
index bc908a192c9e..000000000000
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild
+++ /dev/null
@@ -1,48 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Automatic theorem prover"
-HOMEPAGE="https://alt-ergo.ocamlpro.com"
-SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="CeCILL-C"
-SLOT="0/${PV}"
-KEYWORDS="amd64"
-IUSE="examples +ocamlopt"
-
-RDEPEND="
- >=dev-lang/ocaml-4.09.0:=[ocamlopt=]
- >=sci-mathematics/psmt2-frontend-0.4.0:=
-
- <dev-ml/cmdliner-1.1.0:=
- >=dev-ml/menhir-20181006:=
- >=dev-ml/ocplib-simplex-0.4:=
- dev-ml/camlzip:=
- dev-ml/num:=
- dev-ml/seq:=
- dev-ml/stdlib-shims:=
- dev-ml/zarith:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="dev-ml/dune-configurator"
-
-src_prepare() {
- default
-
- # Remove the GTK2 GUI frontend because GTK2 in Gentoo is deprecated
- rm -r src/bin/gui || die
-}
-
-src_configure() {
- sh ./configure --prefix /usr --libdir=/usr/$(get_libdir) || die
-}
-
-src_install() {
- dune-install alt-ergo-lib alt-ergo-parsers alt-ergo
-
- use examples && dodoc -r examples
-}
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2024-07-15 22:15 Maciej Barć
0 siblings, 0 replies; 38+ messages in thread
From: Maciej Barć @ 2024-07-15 22:15 UTC (permalink / raw
To: gentoo-commits
commit: 48eef3e4c4d525ecba7612398a4b75cce74f76a6
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Jul 15 21:34:42 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Jul 15 22:15:40 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=48eef3e4
sci-mathematics/alt-ergo: restrict zarith version
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../alt-ergo/{alt-ergo-2.4.3.ebuild => alt-ergo-2.4.3-r1.ebuild} | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild
similarity index 95%
rename from sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild
index e06cf284f0e1..ecaf54aae4a4 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -27,13 +27,13 @@ RDEPEND="
>=dev-lang/ocaml-4.09.0:=[ocamlopt=]
>=sci-mathematics/psmt2-frontend-0.4.0:=
+ <dev-ml/zarith-1.14:=
>=dev-ml/cmdliner-1.1.0:=
>=dev-ml/menhir-20181006:=
>=dev-ml/ocplib-simplex-0.4:=
dev-ml/camlzip:=
dev-ml/num:=
dev-ml/stdlib-shims:=
- dev-ml/zarith:=
gui? (
dev-ml/lablgtk:3
dev-ml/lablgtk-sourceview:3
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2024-07-17 15:46 Maciej Barć
0 siblings, 0 replies; 38+ messages in thread
From: Maciej Barć @ 2024-07-17 15:46 UTC (permalink / raw
To: gentoo-commits
commit: 12e87f74163af6027c3160b767e0c7f5ef5049c3
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jul 17 14:42:58 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Jul 17 15:46:31 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=12e87f74
sci-mathematics/alt-ergo: remove zarith pin; add ocplib-simplex-0.5 pin
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../alt-ergo/{alt-ergo-2.4.3-r1.ebuild => alt-ergo-2.4.3-r2.ebuild} | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild
similarity index 96%
rename from sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild
index ecaf54aae4a4..22c57ef35837 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild
@@ -27,13 +27,13 @@ RDEPEND="
>=dev-lang/ocaml-4.09.0:=[ocamlopt=]
>=sci-mathematics/psmt2-frontend-0.4.0:=
- <dev-ml/zarith-1.14:=
+ <dev-ml/ocplib-simplex-0.5:=
>=dev-ml/cmdliner-1.1.0:=
>=dev-ml/menhir-20181006:=
- >=dev-ml/ocplib-simplex-0.4:=
dev-ml/camlzip:=
dev-ml/num:=
dev-ml/stdlib-shims:=
+ dev-ml/zarith:=
gui? (
dev-ml/lablgtk:3
dev-ml/lablgtk-sourceview:3
^ permalink raw reply related [flat|nested] 38+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
@ 2024-07-17 15:46 Maciej Barć
0 siblings, 0 replies; 38+ messages in thread
From: Maciej Barć @ 2024-07-17 15:46 UTC (permalink / raw
To: gentoo-commits
commit: 785449be0e7877c1b02a0922ea5783c56c21bc90
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jul 17 14:44:06 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Jul 17 15:46:31 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=785449be
sci-mathematics/alt-ergo: remove broken live 9999
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-9999.ebuild | 76 ---------------------------
1 file changed, 76 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-9999.ebuild b/sci-mathematics/alt-ergo/alt-ergo-9999.ebuild
deleted file mode 100644
index 1ba42319bb6c..000000000000
--- a/sci-mathematics/alt-ergo/alt-ergo-9999.ebuild
+++ /dev/null
@@ -1,76 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Automatic theorem prover"
-HOMEPAGE="https://alt-ergo.ocamlpro.com
- https://github.com/OCamlPro/alt-ergo/"
-
-if [[ ${PV} == *9999* ]] ; then
- inherit git-r3
- EGIT_REPO_URI="https://github.com/OCamlPro/${PN}.git"
-else
- SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz
- -> ${P}.tar.gz"
- KEYWORDS="~amd64"
-fi
-
-LICENSE="CeCILL-C"
-SLOT="0/${PV}"
-IUSE="examples gui +ocamlopt"
-REQUIRED_USE="ocamlopt"
-
-RDEPEND="
- >=dev-lang/ocaml-4.09.0:=[ocamlopt=]
- >=sci-mathematics/psmt2-frontend-0.4.0:=
-
- >=dev-ml/cmdliner-1.1.0:=
- >=dev-ml/menhir-20181006:=
- >=dev-ml/ocplib-simplex-0.4:=
- dev-ml/camlzip:=
- dev-ml/num:=
- dev-ml/stdlib-shims:=
- dev-ml/zarith:=
- gui? (
- dev-ml/lablgtk:3
- dev-ml/lablgtk-sourceview:3
- )
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
- dev-ml/dune-build-info
- dev-ml/dune-configurator
-"
-
-PATCHES=( "${FILESDIR}"/${PN}-2.4.3-dune.patch )
-
-OCAML_SUBPACKAGES=(
- alt-ergo-lib
- alt-ergo-parsers
- alt-ergo
-)
-
-src_prepare() {
- default
-
- if use gui ; then
- OCAML_SUBPACKAGES+=( altgr-ergo )
- fi
-}
-
-src_configure() {
- sh ./configure --prefix /usr --libdir=/usr/$(get_libdir) || die
-}
-
-src_compile() {
- dune-compile ${OCAML_SUBPACKAGES[@]}
-}
-
-src_install() {
- dune-install ${OCAML_SUBPACKAGES[@]}
-
- use examples && dodoc -r examples
-}
^ permalink raw reply related [flat|nested] 38+ messages in thread
end of thread, other threads:[~2024-07-17 15:46 UTC | newest]
Thread overview: 38+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2018-06-02 22:38 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/ Aaron Bauman
-- strict thread matches above, loose matches on Subject: below --
2024-07-17 15:46 Maciej Barć
2024-07-17 15:46 Maciej Barć
2024-07-15 22:15 Maciej Barć
2023-09-22 14:09 Maciej Barć
2023-09-22 14:09 Maciej Barć
2023-08-16 2:20 Sam James
2023-06-04 13:39 Maciej Barć
2023-01-30 19:48 Andreas Sturmlechner
2023-01-30 13:09 Sam James
2022-09-23 23:52 Maciej Barć
2022-08-20 13:28 Maciej Barć
2022-06-29 18:05 Alfredo Tupone
2022-06-21 1:53 Sam James
2022-04-15 19:54 Maciej Barć
2022-04-15 19:33 Maciej Barć
2022-03-02 9:04 Agostino Sarubbo
2021-12-28 13:40 Maciej Barć
2021-12-27 23:47 Maciej Barć
2021-12-27 20:34 Maciej Barć
2021-01-17 4:10 Sam James
2021-01-17 4:10 Sam James
2021-01-17 4:10 Sam James
2021-01-17 4:10 Sam James
2020-12-05 18:26 Alfredo Tupone
2020-12-05 8:42 Alfredo Tupone
2020-05-27 5:47 Alfredo Tupone
2020-05-25 21:58 Thomas Deutschmann
2020-05-25 17:01 Alfredo Tupone
2020-03-10 21:38 Alfredo Tupone
2019-10-28 21:15 Alfredo Tupone
2019-10-21 18:32 Alfredo Tupone
2019-09-12 6:15 Alfredo Tupone
2019-09-07 14:39 Alfredo Tupone
2019-07-27 18:42 Alfredo Tupone
2019-07-25 6:18 Alfredo Tupone
2018-12-16 8:35 Alfredo Tupone
2017-10-14 6:59 Alfredo Tupone
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox