[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cubicle/

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cubicle/

[Maciej Barć]

commit:     98a4aacaf16469aaa131402e27778771522e6bd7
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 11 03:41:42 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Jan 11 03:44:07 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=98a4aaca

sci-mathematics/cubicle: install the provided manual page

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 .../cubicle/{cubicle-1.2.0.ebuild => cubicle-1.2.0-r1.ebuild}           | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sci-mathematics/cubicle/cubicle-1.2.0.ebuild b/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild
similarity index 98%
rename from sci-mathematics/cubicle/cubicle-1.2.0.ebuild
rename to sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild
index d2f5d0e356f2..8159f9f60a4a 100644
--- a/sci-mathematics/cubicle/cubicle-1.2.0.ebuild
+++ b/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild
@@ -53,6 +53,8 @@ src_compile() {
 src_install() {
 	default
 
+	doman doc/${PN}.1
+
 	if use emacs ; then
 	   elisp-install ${PN} emacs/*.el{,c}
 	   elisp-site-file-install "${FILESDIR}/${SITEFILE}"

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cubicle/

[Maciej Barć]

commit:     0c9116b3aef8f3e47e801bc1c8afce931f9b790b
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Mar  8 21:38:20 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Mar  8 21:38:54 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0c9116b3

sci-mathematics/cubicle: require ocamlopt

Closes: https://bugs.gentoo.org/895214
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 .../cubicle/{cubicle-1.2.0-r1.ebuild => cubicle-1.2.0-r2.ebuild}      | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild
similarity index 94%
rename from sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild
rename to sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild
index 8159f9f60a4a..756eb6aab056 100644
--- a/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild
+++ b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild
@@ -14,10 +14,10 @@ SRC_URI="https://github.com/cubicle-model-checker/${PN}/archive/${PV}.tar.gz
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
 KEYWORDS="~amd64 ~x86"
-IUSE="emacs examples ocamlopt"
+IUSE="emacs examples"
 
 RDEPEND="
-	>=dev-lang/ocaml-4.09.0:=[ocamlopt=]
+	>=dev-lang/ocaml-4.09.0:=[ocamlopt]
 	dev-ml/num:=
 	emacs? ( >=app-editors/emacs-23.1:* )
 "

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cubicle/

[Alfredo Tupone]

commit:     d14bd55fc6241d005ce0baa4c6c3ad1f1eaeace4
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Jun  4 18:05:47 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Jun  4 18:24:58 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d14bd55f

sci-mathematics/cubicle: ignore TEXTRELS

Closes: https://bugs.gentoo.org/928102
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild
index 756eb6aab056..f7887394c08b 100644
--- a/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild
+++ b/sci-mathematics/cubicle/cubicle-1.2.0-r2.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
@@ -51,6 +51,10 @@ src_compile() {
 }
 
 src_install() {
+	# OCaml generates textrels on 32-bit arches
+	if use x86 ; then
+		export QA_TEXTRELS='.*'
+	fi
 	default
 
 	doman doc/${PN}.1