[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 785449be0e7877c1b02a0922ea5783c56c21bc90
Author: Maciej Barć gentoo org>
AuthorDate: Wed Jul 17 14:44:06 2024 +
Commit: Maciej Barć gentoo org>
CommitDate: Wed Jul 17 15:46:31 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=785449be
sci-mathematics/alt-ergo: remove broken live
Signed-off-by: Maciej Barć gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-.ebuild | 76 ---
1 file changed, 76 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-.ebuild
b/sci-mathematics/alt-ergo/alt-ergo-.ebuild
deleted file mode 100644
index 1ba42319bb6c..
--- a/sci-mathematics/alt-ergo/alt-ergo-.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} == ** ]] ; 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
-}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 12e87f74163af6027c3160b767e0c7f5ef5049c3
Author: Maciej Barć gentoo org>
AuthorDate: Wed Jul 17 14:42:58 2024 +
Commit: Maciej Barć gentoo org>
CommitDate: Wed Jul 17 15:46:31 2024 +
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ć 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/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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 48eef3e4c4d525ecba7612398a4b75cce74f76a6
Author: Maciej Barć gentoo org>
AuthorDate: Mon Jul 15 21:34:42 2024 +
Commit: Maciej Barć gentoo org>
CommitDate: Mon Jul 15 22:15:40 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=48eef3e4
sci-mathematics/alt-ergo: restrict zarith version
Signed-off-by: Maciej Barć 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/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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/files/
commit: c370c4c77f8068906dafd100f13ccb6355867261 Author: Michael Mair-Keimberger levelnine at> AuthorDate: Tue Sep 26 18:03:20 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sun Oct 1 15:37:29 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c370c4c7 sci-mathematics/alt-ergo: remove unused patch Signed-off-by: Michael Mair-Keimberger levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/33071 Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch | 11 --- 1 file changed, 11 deletions(-) diff --git a/sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch b/sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch deleted file mode 100644 index 58bcbaa70257.. --- a/sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch +++ /dev/null @@ -1,11 +0,0 @@ a/src/lib/dune -+++ b/src/lib/dune -@@ -21,7 +21,7 @@ - - ; external dependencies - (libraries -- seq unix num str zarith dynlink ocplib-simplex stdlib-shims) -+ unix num str zarith dynlink ocplib-simplex stdlib-shims) - - ; .mli only modules *also* need to be in this field - (modules_without_implementation matching_types numbersInterface sig sig_rel)
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: f38f257a704600cb9140e07518e0fb1d3460ad2d
Author: Maciej Barć gentoo org>
AuthorDate: Fri Sep 22 12:29:59 2023 +
Commit: Maciej Barć gentoo org>
CommitDate: Fri Sep 22 14:09:44 2023 +
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ć 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..
--- 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/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
-}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 08c0ba171725865402e4419a0775830ff6b96460
Author: Maciej Barć gentoo org>
AuthorDate: Fri Sep 22 12:30:09 2023 +
Commit: Maciej Barć gentoo org>
CommitDate: Fri Sep 22 14:09:44 2023 +
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ć 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..
--- 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
-}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: be552c8b84be7d0266658e5556b6adb1508552df
Author: Sam James gentoo org>
AuthorDate: Wed Aug 16 02:19:43 2023 +
Commit: Sam James gentoo org>
CommitDate: Wed Aug 16 02:19:43 2023 +
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 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} == ** ]] ; then
else
SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz
-> ${P}.tar.gz"
- KEYWORDS="~amd64"
+ KEYWORDS="amd64"
fi
LICENSE="CeCILL-C"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/, sci-mathematics/alt-ergo/files/
commit: ba2beea8e2018c7383d0478a487acc34a28c9e1a
Author: Maciej Barć gentoo org>
AuthorDate: Sun Jun 4 13:23:43 2023 +
Commit: Maciej Barć gentoo org>
CommitDate: Sun Jun 4 13:39:40 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ba2beea8
sci-mathematics/alt-ergo: bump to 2.4.3
Signed-off-by: Maciej Barć gentoo.org>
sci-mathematics/alt-ergo/Manifest | 1 +
sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild | 76 ++
.../alt-ergo/files/alt-ergo-2.4.3-dune.patch | 10 +++
3 files changed, 87 insertions(+)
diff --git a/sci-mathematics/alt-ergo/Manifest
b/sci-mathematics/alt-ergo/Manifest
index 49ac1bd63a83..7c1c762e20c7 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1,2 +1,3 @@
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.3.ebuild
b/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild
new file mode 100644
index ..1ba42319bb6c
--- /dev/null
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.3.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} == ** ]] ; 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
+}
diff --git a/sci-mathematics/alt-ergo/files/alt-ergo-2.4.3-dune.patch
b/sci-mathematics/alt-ergo/files/alt-ergo-2.4.3-dune.patch
new file mode 100644
index ..eea143fdd38a
--- /dev/null
+++ b/sci-mathematics/alt-ergo/files/alt-ergo-2.4.3-dune.patch
@@ -0,0 +1,10 @@
+--- a/src/lib/dune
b/src/lib/dune
+@@ -21,7 +21,6 @@
+
+ ; external dependencies
+ (libraries
+-seq
+ unix
+ num
+ str
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 9403cd78844f9495e3feade4ae9348a95f8c718b
Author: Maciej Barć gentoo org>
AuthorDate: Sun Jun 4 13:24:37 2023 +
Commit: Maciej Barć gentoo org>
CommitDate: Sun Jun 4 13:39:41 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9403cd78
sci-mathematics/alt-ergo: add live version
Signed-off-by: Maciej Barć gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-.ebuild | 76 +++
1 file changed, 76 insertions(+)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-.ebuild
b/sci-mathematics/alt-ergo/alt-ergo-.ebuild
new file mode 100644
index ..1ba42319bb6c
--- /dev/null
+++ b/sci-mathematics/alt-ergo/alt-ergo-.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} == ** ]] ; 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
+}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 520acbb882cdd701e561e1c54bfa94134506c905
Author: Andreas Sturmlechner gentoo org>
AuthorDate: Fri Jan 27 20:30:41 2023 +
Commit: Andreas Sturmlechner gentoo org>
CommitDate: Mon Jan 30 19:48:23 2023 +
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 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..
--- 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..
--- 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:=
-
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 324271e7906d2a0e87cadfb01105830e41cecc83
Author: Sam James gentoo org>
AuthorDate: Mon Jan 30 13:09:33 2023 +
Commit: Sam James gentoo org>
CommitDate: Mon Jan 30 13:09:33 2023 +
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 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"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/files/, sci-mathematics/alt-ergo/
commit: 6e7a51ba017eb61743f30c801d61a4971f2289e4
Author: Maciej Barć gentoo org>
AuthorDate: Sat Nov 19 21:25:25 2022 +
Commit: Maciej Barć gentoo org>
CommitDate: Sat Nov 19 21:26:53 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6e7a51ba
sci-mathematics/alt-ergo: remove seq reference from dune build file
Signed-off-by: Maciej Barć gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild| 2 ++
sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch | 11 +++
2 files changed, 13 insertions(+)
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 496625cddfef..581b8c28a604 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
@@ -34,6 +34,8 @@ RDEPEND="
DEPEND="${RDEPEND}"
BDEPEND="dev-ml/dune-configurator"
+PATCHES=( "${FILESDIR}"/${P}-dune.patch )
+
src_prepare() {
default
diff --git a/sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch
b/sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch
new file mode 100644
index ..58bcbaa70257
--- /dev/null
+++ b/sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch
@@ -0,0 +1,11 @@
+--- a/src/lib/dune
b/src/lib/dune
+@@ -21,7 +21,7 @@
+
+ ; external dependencies
+ (libraries
+- seq unix num str zarith dynlink ocplib-simplex stdlib-shims)
++ unix num str zarith dynlink ocplib-simplex stdlib-shims)
+
+ ; .mli only modules *also* need to be in this field
+ (modules_without_implementation matching_types numbersInterface sig sig_rel)
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 6e80e1faa1d22ce4ad7c95092c12c9e2e758fb47
Author: Maciej Barć gentoo org>
AuthorDate: Fri Sep 23 23:22:40 2022 +
Commit: Maciej Barć gentoo org>
CommitDate: Fri Sep 23 23:52:39 2022 +
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ć 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? (
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: e69201200146edb78b476c8e9c64c75aa59f7873
Author: Maciej Barć gentoo org>
AuthorDate: Sat Aug 20 13:27:22 2022 +
Commit: Maciej Barć gentoo org>
CommitDate: Sat Aug 20 13:28:05 2022 +
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ć 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 ..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
+}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: cfa07369cb804ea360eef996a504b1297ced25cc
Author: Alfredo Tupone gentoo org>
AuthorDate: Wed Jun 29 18:05:14 2022 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Wed Jun 29 18:05:37 2022 +
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 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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: a74305078b85502b6813e5bb3a746e5c82dc5c55
Author: Sam James gentoo org>
AuthorDate: Tue Jun 21 01:36:06 2022 +
Commit: Sam James gentoo org>
CommitDate: Tue Jun 21 01:36:06 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a7430507
sci-mathematics/alt-ergo: fix OCaml dep
Signed-off-by: Sam James 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:=
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 743f7000d74f66ab38a9a5698b463d27d787b470
Author: Maciej Barć gentoo org>
AuthorDate: Fri Apr 15 19:44:22 2022 +
Commit: Maciej Barć gentoo org>
CommitDate: Fri Apr 15 19:54:11 2022 +
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ć 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 ..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
+}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 0c5c8ab39246ad13897d73e004882d89e6838996
Author: Maciej Barć gentoo org>
AuthorDate: Fri Apr 15 19:31:34 2022 +
Commit: Maciej Barć gentoo org>
CommitDate: Fri Apr 15 19:32:46 2022 +
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ć 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/menhir-20181006:=
>=dev-ml/ocplib-simplex-0.4:=
dev-ml/camlzip:=
- dev-ml/cmdliner:=
dev-ml/num:=
dev-ml/seq:=
dev-ml/stdlib-shims:=
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 2bd5b0a43c67113f0fbfb2a126ed0c3deb13da55
Author: Agostino Sarubbo gentoo org>
AuthorDate: Wed Mar 2 09:04:39 2022 +
Commit: Agostino Sarubbo gentoo org>
CommitDate: Wed Mar 2 09:04:39 2022 +
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 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="
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: b2ebfea24c268cef7c30cbea68442057993cb502
Author: Maciej Barć gentoo org>
AuthorDate: Tue Dec 28 13:39:49 2021 +
Commit: Maciej Barć gentoo org>
CommitDate: Tue Dec 28 13:40:20 2021 +
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ć 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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 9c0afb6206ddcc225b50413cb8a46b8b0eded3cc
Author: Maciej Barć gentoo org>
AuthorDate: Mon Dec 27 23:46:50 2021 +
Commit: Maciej Barć gentoo org>
CommitDate: Mon Dec 27 23:47:32 2021 +
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ć 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 ..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
+}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 5444eba09a932f93a474c81b98b9ab099ca07334 Author: Maciej Barć gentoo org> AuthorDate: Mon Dec 27 20:33:56 2021 + Commit: Maciej Barć gentoo org> CommitDate: Mon Dec 27 20:34:35 2021 + 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ć 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 @@ https://www.gentoo.org/dtd/metadata.dtd;> + - - tup...@gentoo.org - Tupone Alfredo - - - 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. - - - OCamlPro/alt-ergo - + +m...@gentoo.org +ML + + +sci-mathemat...@gentoo.org +Gentoo Mathematics Project + + +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. + + +https://github.com/OCamlPro/alt-ergo/issues/ +OCamlPro/alt-ergo +
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 59bc55e46efc021a7f4ca8c6a2da452a347fae4f
Author: Sam James gentoo org>
AuthorDate: Sun Jan 17 03:56:38 2021 +
Commit: Sam James gentoo org>
CommitDate: Sun Jan 17 04:10:27 2021 +
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 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:=
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 16a28ad1361c0a6cbf5198a228a18fb1332b1d9e
Author: Sam James gentoo org>
AuthorDate: Sun Jan 17 03:55:50 2021 +
Commit: Sam James gentoo org>
CommitDate: Sun Jan 17 04:10:26 2021 +
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 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 )
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: f05a495a97fbe59f8b6fb6deb0f615a83c8886eb Author: Sam James gentoo org> AuthorDate: Sun Jan 17 03:53:38 2021 + Commit: Sam James gentoo org> CommitDate: Sun Jan 17 04:10:25 2021 + 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 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. + + OCamlPro/alt-ergo +
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: a5355e9de60005120f37c4be8e228a3136a548f9
Author: Sam James gentoo org>
AuthorDate: Sun Jan 17 03:54:38 2021 +
Commit: Sam James gentoo org>
CommitDate: Sun Jan 17 04:10:26 2021 +
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 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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 437b9b6b58591e7832b67a34c2c7af129daad744 Author: Alfredo Tupone gentoo org> AuthorDate: Sat Dec 5 18:26:32 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Dec 5 18:26:32 2020 + 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 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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 9e4d2e352636cbdabaa4f6620b4145d9d04fa74d Author: Alfredo Tupone gentoo org> AuthorDate: Sat Dec 5 08:41:28 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Dec 5 08:41:28 2020 + 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 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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: e2e4fb52038914439a3ff85bfa3d8486fc2be04d
Author: Alfredo Tupone gentoo org>
AuthorDate: Wed May 27 05:46:51 2020 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Wed May 27 05:46:51 2020 +
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 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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 6261c9c2649d9ab7f2823f9db2b46a9f7e60acdf
Author: Thomas Deutschmann gentoo org>
AuthorDate: Mon May 25 21:58:00 2020 +
Commit: Thomas Deutschmann gentoo org>
CommitDate: Mon May 25 21:58:00 2020 +
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 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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 5adc972cfb26d6e8e3bd18c8c12b7adda31739a5
Author: Alfredo Tupone gentoo org>
AuthorDate: Mon May 25 17:01:22 2020 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Mon May 25 17:01:22 2020 +
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 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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 9dc3663a2ba8a9a84fa283d166e91a249ab65d2b
Author: Tupone Alfredo gentoo org>
AuthorDate: Tue Mar 10 21:37:53 2020 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Tue Mar 10 21:37:53 2020 +
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 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)
}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: e254824ef44e703f59e5f918d44802a7d85d1348
Author: Tupone Alfredo gentoo org>
AuthorDate: Mon Oct 28 21:15:02 2019 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Mon Oct 28 21:15:02 2019 +
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 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}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 70cc32b67e809c86637547ecd658dd68c6321a93
Author: Tupone Alfredo gentoo org>
AuthorDate: Mon Oct 21 18:32:21 2019 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Mon Oct 21 18:32:21 2019 +
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 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?]
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 2645610b9a3fbdfb443866177a6d5b38148c3197
Author: Tupone Alfredo gentoo org>
AuthorDate: Thu Sep 12 06:15:02 2019 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Thu Sep 12 06:15:02 2019 +
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 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
}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 00a5f9717c89acdd260785e4133b45aff247bbbd
Author: Tupone Alfredo gentoo org>
AuthorDate: Sat Sep 7 14:38:58 2019 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Sat Sep 7 14:39:25 2019 +
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 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
}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: 225867b2a2585985159c833ba3d819e35da1860e
Author: Tupone Alfredo gentoo org>
AuthorDate: Sat Jul 27 18:41:54 2019 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Sat Jul 27 18:41:54 2019 +
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 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 000..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
+}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: aa21f8d2b5b8b28a1e69d78c29fd5c0e0996f7a0
Author: Tupone Alfredo gentoo org>
AuthorDate: Thu Jul 25 06:17:03 2019 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Thu Jul 25 06:17:03 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aa21f8d2
sci-mathematics/alt-ergo: Fix dependency
Signed-off-by: Alfredo Tupone 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 )
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: d902d1e13ffa95aed2b7e797e859c56ed0a67495
Author: Tupone Alfredo gentoo org>
AuthorDate: Sun Dec 16 08:35:29 2018 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Sun Dec 16 08:35:29 2018 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d902d1e1
sci-mathematics/alt-ergo: Stable release
Signed-off-by: Alfredo Tupone 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?]
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: a04371ceca8c5a7ccd9083b5d4da4647a07d21c4
Author: Michael Mair-Keimberger gmail com>
AuthorDate: Sat Jun 2 21:05:41 2018 +
Commit: Aaron Bauman gentoo org>
CommitDate: Sat Jun 2 22:38:07 2018 +
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"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/
commit: ebe231de790ad2672cfb20d50d2789fb5e11
Author: Tupone Alfredo gentoo org>
AuthorDate: Sat Oct 14 06:58:53 2017 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Sat Oct 14 06:58:53 2017 +
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 000..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 000..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 000..8e305fa324a
--- /dev/null
+++ b/sci-mathematics/alt-ergo/metadata.xml
@@ -0,0 +1,16 @@
+
+http://www.gentoo.org/dtd/metadata.dtd;>
+
+
+ tup...@gentoo.org
+ Tupone Alfredo
+
+
+ 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.
+
+
