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

2024-03-04 Thread Maciej Barć 
commit: c5869570c0a18934b6300b8e445aa1754756e8ed
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Mar  4 20:48:21 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Mar  4 21:57:02 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c5869570

sci-mathematics/cadical: bump to 1.9.5

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

 sci-mathematics/cadical/Manifest |  1 +
 sci-mathematics/cadical/cadical-1.9.5.ebuild | 47 
 2 files changed, 48 insertions(+)

diff --git a/sci-mathematics/cadical/Manifest b/sci-mathematics/cadical/Manifest
index ca2c1ce22bc6..8b39b30d4ef6 100644
--- a/sci-mathematics/cadical/Manifest
+++ b/sci-mathematics/cadical/Manifest
@@ -1 +1,2 @@
 DIST cadical-1.9.4.tar.gz 691203 BLAKE2B 
40fcb86e60b2c6e4f24d43976e12ae063aa00ccfc8cad78d27e85b863b0faee23213d210886fd2f374aa93b575b741fd079351d3655ee1ed5bb17f96cd0005b6
 SHA512 
a3477ac3a4ddcb8bb797653efa9afe992a84db94900394d401667a55630932a91e847fc943bf5509d6672523818233c247db0be4268b9d8aae1636bad1877bc3
+DIST cadical-1.9.5.tar.gz 691268 BLAKE2B 
68c7fcc35ef0ad5082d5bbc828363ee45c2e637f281f1829ffb34047fff73775d34615e0ac37b8b49ff20b941db85b72c0dd6de0ab5ec5a690fd80fb5489b212
 SHA512 
b40727847ba0217f8d24e5468874264065c5ec9cbf0600d2e2395b8396a9d5f892127018ab9d1b930599a16a0817de5b0d29136c5dc74f2a72fb0f726e825271

diff --git a/sci-mathematics/cadical/cadical-1.9.5.ebuild 
b/sci-mathematics/cadical/cadical-1.9.5.ebuild
new file mode 100644
index ..4c087365b45b
--- /dev/null
+++ b/sci-mathematics/cadical/cadical-1.9.5.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit toolchain-funcs
+
+DESCRIPTION="Simplified Satisfiability Solver"
+HOMEPAGE="http://fmv.jku.at/cadical/;
+
+if [[ "${PV}" == ** ]] ; then
+   inherit git-r3
+
+   EGIT_REPO_URI="https://github.com/arminbiere/${PN}.git;
+else
+   SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz
+   -> ${P}.tar.gz"
+   S="${WORKDIR}/${PN}-rel-${PV}"
+
+   KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+
+PATCHES=(
+   "${FILESDIR}/${PN}-configure.patch"
+   "${FILESDIR}/${PN}-makefile.in-ar.patch"
+)
+
+DOCS=( CONTRIBUTING.md NEWS.md README.md )
+
+src_configure() {
+   tc-export AR
+   CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die
+}
+
+src_install() {
+   exeinto /usr/bin
+   doexe build/{cadical,mobical}
+
+   dolib.a build/libcadical.a
+   doheader src/cadical.hpp
+   doheader src/ccadical.h
+
+   einstalldocs
+}

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

2024-03-04 Thread Maciej Barć 
commit: 7adbd5ccc9cdb1a9a77467c5f0faf3e38b3f799b
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Mar  4 20:42:20 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Mar  4 21:57:01 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7adbd5cc

sci-mathematics/cadical: drop old 1.8.0

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

 sci-mathematics/cadical/Manifest |  1 -
 sci-mathematics/cadical/cadical-1.8.0.ebuild | 39 
 2 files changed, 40 deletions(-)

diff --git a/sci-mathematics/cadical/Manifest b/sci-mathematics/cadical/Manifest
index 2f114b6f8ecd..ca2c1ce22bc6 100644
--- a/sci-mathematics/cadical/Manifest
+++ b/sci-mathematics/cadical/Manifest
@@ -1,2 +1 @@
-DIST cadical-1.8.0.tar.gz 649017 BLAKE2B 
73db2dd0278869bc1b4fe5d1eb80e767a07c640bcd2b1901d86901a09ac6b8bdbe375017593c12ac80d7a860a0aead191777ce733452741395bf14b958bd1b03
 SHA512 
78dfd4a4a93090e3e00fa73c0dfde6edc781e8a69f257506f273cac46b942979335c2ae0ac1054bde68259b030ba235615275307ad077762c8770884914cfed7
 DIST cadical-1.9.4.tar.gz 691203 BLAKE2B 
40fcb86e60b2c6e4f24d43976e12ae063aa00ccfc8cad78d27e85b863b0faee23213d210886fd2f374aa93b575b741fd079351d3655ee1ed5bb17f96cd0005b6
 SHA512 
a3477ac3a4ddcb8bb797653efa9afe992a84db94900394d401667a55630932a91e847fc943bf5509d6672523818233c247db0be4268b9d8aae1636bad1877bc3

diff --git a/sci-mathematics/cadical/cadical-1.8.0.ebuild 
b/sci-mathematics/cadical/cadical-1.8.0.ebuild
deleted file mode 100644
index a71f7eebe39d..
--- a/sci-mathematics/cadical/cadical-1.8.0.ebuild
+++ /dev/null
@@ -1,39 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit toolchain-funcs
-
-DESCRIPTION="Simplified Satisfiability Solver"
-HOMEPAGE="http://fmv.jku.at/cadical/;
-SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz
-   -> ${P}.tar.gz"
-S="${WORKDIR}/${PN}-rel-${PV}"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-
-PATCHES=(
-   "${FILESDIR}"/${PN}-configure.patch
-   "${FILESDIR}"/${PN}-makefile.in-ar.patch
-)
-
-DOCS=( BUILD.md CONTRIBUTING NEWS.md README.md VERSION )
-
-src_configure() {
-   tc-export AR
-   CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die
-}
-
-src_install() {
-   exeinto /usr/bin
-   doexe build/{cadical,mobical}
-
-   dolib.a build/libcadical.a
-   doheader src/cadical.hpp
-   doheader src/ccadical.h
-
-   einstalldocs
-}

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

2024-02-08 Thread Maciej Barć 
commit: 8ff0e296c5d8d13e5b0a284f37b710190e0f870a
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu Feb  8 10:08:20 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Feb  8 10:31:26 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8ff0e296

sci-mathematics/cadical: bump to 1.9.4

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

 sci-mathematics/cadical/Manifest |  1 +
 sci-mathematics/cadical/cadical-1.9.4.ebuild | 47 
 2 files changed, 48 insertions(+)

diff --git a/sci-mathematics/cadical/Manifest b/sci-mathematics/cadical/Manifest
index d8c5a341fe91..2f114b6f8ecd 100644
--- a/sci-mathematics/cadical/Manifest
+++ b/sci-mathematics/cadical/Manifest
@@ -1 +1,2 @@
 DIST cadical-1.8.0.tar.gz 649017 BLAKE2B 
73db2dd0278869bc1b4fe5d1eb80e767a07c640bcd2b1901d86901a09ac6b8bdbe375017593c12ac80d7a860a0aead191777ce733452741395bf14b958bd1b03
 SHA512 
78dfd4a4a93090e3e00fa73c0dfde6edc781e8a69f257506f273cac46b942979335c2ae0ac1054bde68259b030ba235615275307ad077762c8770884914cfed7
+DIST cadical-1.9.4.tar.gz 691203 BLAKE2B 
40fcb86e60b2c6e4f24d43976e12ae063aa00ccfc8cad78d27e85b863b0faee23213d210886fd2f374aa93b575b741fd079351d3655ee1ed5bb17f96cd0005b6
 SHA512 
a3477ac3a4ddcb8bb797653efa9afe992a84db94900394d401667a55630932a91e847fc943bf5509d6672523818233c247db0be4268b9d8aae1636bad1877bc3

diff --git a/sci-mathematics/cadical/cadical-1.9.4.ebuild 
b/sci-mathematics/cadical/cadical-1.9.4.ebuild
new file mode 100644
index ..4c087365b45b
--- /dev/null
+++ b/sci-mathematics/cadical/cadical-1.9.4.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit toolchain-funcs
+
+DESCRIPTION="Simplified Satisfiability Solver"
+HOMEPAGE="http://fmv.jku.at/cadical/;
+
+if [[ "${PV}" == ** ]] ; then
+   inherit git-r3
+
+   EGIT_REPO_URI="https://github.com/arminbiere/${PN}.git;
+else
+   SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz
+   -> ${P}.tar.gz"
+   S="${WORKDIR}/${PN}-rel-${PV}"
+
+   KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+
+PATCHES=(
+   "${FILESDIR}/${PN}-configure.patch"
+   "${FILESDIR}/${PN}-makefile.in-ar.patch"
+)
+
+DOCS=( CONTRIBUTING.md NEWS.md README.md )
+
+src_configure() {
+   tc-export AR
+   CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die
+}
+
+src_install() {
+   exeinto /usr/bin
+   doexe build/{cadical,mobical}
+
+   dolib.a build/libcadical.a
+   doheader src/cadical.hpp
+   doheader src/ccadical.h
+
+   einstalldocs
+}

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

2024-02-08 Thread Maciej Barć 
commit: 0db7bc276120264f1f860da406db476379f4dd2f
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu Feb  8 10:01:02 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Feb  8 10:31:26 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0db7bc27

sci-mathematics/cadical: drop old 1.5.3-r1

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

 sci-mathematics/cadical/Manifest|  1 -
 sci-mathematics/cadical/cadical-1.5.3-r1.ebuild | 37 -
 2 files changed, 38 deletions(-)

diff --git a/sci-mathematics/cadical/Manifest b/sci-mathematics/cadical/Manifest
index ca4b2f0275f0..d8c5a341fe91 100644
--- a/sci-mathematics/cadical/Manifest
+++ b/sci-mathematics/cadical/Manifest
@@ -1,2 +1 @@
-DIST cadical-1.5.3.tar.gz 596378 BLAKE2B 
1ac27412745b0f24668ccf2ea1ff89e02c1e68137110bf9522a63ad82b14621d898d0bf873a651a24ccef9f502982f5e2d5b9c558ed0b1c5b7432c1a1459cb58
 SHA512 
bec811ab6a4c392506bdc391227d108476b5b5fae280b2d7d484429fe6d84e86206a054a1044cf68046ce183ecd7af3ec58f8be3ac27224fe37930cf43f08f3b
 DIST cadical-1.8.0.tar.gz 649017 BLAKE2B 
73db2dd0278869bc1b4fe5d1eb80e767a07c640bcd2b1901d86901a09ac6b8bdbe375017593c12ac80d7a860a0aead191777ce733452741395bf14b958bd1b03
 SHA512 
78dfd4a4a93090e3e00fa73c0dfde6edc781e8a69f257506f273cac46b942979335c2ae0ac1054bde68259b030ba235615275307ad077762c8770884914cfed7

diff --git a/sci-mathematics/cadical/cadical-1.5.3-r1.ebuild 
b/sci-mathematics/cadical/cadical-1.5.3-r1.ebuild
deleted file mode 100644
index 63bd3bf453f3..
--- a/sci-mathematics/cadical/cadical-1.5.3-r1.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit toolchain-funcs
-
-DESCRIPTION="Simplified Satisfiability Solver"
-HOMEPAGE="http://fmv.jku.at/cadical/;
-SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz
-   -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-rel-${PV}
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-
-PATCHES=(
-   "${FILESDIR}"/${PN}-configure.patch
-   "${FILESDIR}"/${PN}-makefile.in-ar.patch
-)
-
-DOCS=( BUILD.md CONTRIBUTING NEWS.md README.md VERSION )
-
-src_configure() {
-   tc-export AR
-   CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die
-}
-
-src_install() {
-   exeinto /usr/bin
-   doexe build/{cadical,mobical}
-   dolib.a build/libcadical.a
-   doheader src/cadical.hpp
-   doheader src/ccadical.h
-   einstalldocs
-}

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

2023-10-07 Thread Maciej Barć 
commit: 3f9ce223eb964305658c79338d9e8ec59cbf6a91
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Oct  7 22:13:22 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Oct  7 22:39:05 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f9ce223

sci-mathematics/cadical: bump to 1.8.0

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

 sci-mathematics/cadical/Manifest |  1 +
 sci-mathematics/cadical/cadical-1.8.0.ebuild | 39 
 2 files changed, 40 insertions(+)

diff --git a/sci-mathematics/cadical/Manifest b/sci-mathematics/cadical/Manifest
index 5eb8e04503e5..ca4b2f0275f0 100644
--- a/sci-mathematics/cadical/Manifest
+++ b/sci-mathematics/cadical/Manifest
@@ -1 +1,2 @@
 DIST cadical-1.5.3.tar.gz 596378 BLAKE2B 
1ac27412745b0f24668ccf2ea1ff89e02c1e68137110bf9522a63ad82b14621d898d0bf873a651a24ccef9f502982f5e2d5b9c558ed0b1c5b7432c1a1459cb58
 SHA512 
bec811ab6a4c392506bdc391227d108476b5b5fae280b2d7d484429fe6d84e86206a054a1044cf68046ce183ecd7af3ec58f8be3ac27224fe37930cf43f08f3b
+DIST cadical-1.8.0.tar.gz 649017 BLAKE2B 
73db2dd0278869bc1b4fe5d1eb80e767a07c640bcd2b1901d86901a09ac6b8bdbe375017593c12ac80d7a860a0aead191777ce733452741395bf14b958bd1b03
 SHA512 
78dfd4a4a93090e3e00fa73c0dfde6edc781e8a69f257506f273cac46b942979335c2ae0ac1054bde68259b030ba235615275307ad077762c8770884914cfed7

diff --git a/sci-mathematics/cadical/cadical-1.8.0.ebuild 
b/sci-mathematics/cadical/cadical-1.8.0.ebuild
new file mode 100644
index ..a71f7eebe39d
--- /dev/null
+++ b/sci-mathematics/cadical/cadical-1.8.0.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit toolchain-funcs
+
+DESCRIPTION="Simplified Satisfiability Solver"
+HOMEPAGE="http://fmv.jku.at/cadical/;
+SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz
+   -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-rel-${PV}"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+
+PATCHES=(
+   "${FILESDIR}"/${PN}-configure.patch
+   "${FILESDIR}"/${PN}-makefile.in-ar.patch
+)
+
+DOCS=( BUILD.md CONTRIBUTING NEWS.md README.md VERSION )
+
+src_configure() {
+   tc-export AR
+   CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die
+}
+
+src_install() {
+   exeinto /usr/bin
+   doexe build/{cadical,mobical}
+
+   dolib.a build/libcadical.a
+   doheader src/cadical.hpp
+   doheader src/ccadical.h
+
+   einstalldocs
+}

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

2023-10-07 Thread Maciej Barć 
commit: c6ff8713690dcfe49a4301caf739ec86f5baae55
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Oct  7 14:53:28 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Oct  7 14:57:43 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c6ff8713

sci-mathematics/cadical: drop old 1.5.2-r1

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

 sci-mathematics/cadical/Manifest|  1 -
 sci-mathematics/cadical/cadical-1.5.2-r1.ebuild | 32 -
 2 files changed, 33 deletions(-)

diff --git a/sci-mathematics/cadical/Manifest b/sci-mathematics/cadical/Manifest
index d1c01c50a22c..5eb8e04503e5 100644
--- a/sci-mathematics/cadical/Manifest
+++ b/sci-mathematics/cadical/Manifest
@@ -1,2 +1 @@
-DIST cadical-1.5.2.tar.gz 596334 BLAKE2B 
2e6c0f0602b807cf9ee5993aa627e074291b0128d19474d5431e01992d66b111773e593c14712338e9702f64e23eae6fdd937b5b86b2b9b3e08022dbbb199fd7
 SHA512 
1aab87bdaec938eb219f75f13bf2fcb031f47ac1f49b586f769aeececd1c33b166341bef3bc8713e62b4612a91c405db33e6d1b48e1074a3433d80e9ecb33fe2
 DIST cadical-1.5.3.tar.gz 596378 BLAKE2B 
1ac27412745b0f24668ccf2ea1ff89e02c1e68137110bf9522a63ad82b14621d898d0bf873a651a24ccef9f502982f5e2d5b9c558ed0b1c5b7432c1a1459cb58
 SHA512 
bec811ab6a4c392506bdc391227d108476b5b5fae280b2d7d484429fe6d84e86206a054a1044cf68046ce183ecd7af3ec58f8be3ac27224fe37930cf43f08f3b

diff --git a/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild 
b/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild
deleted file mode 100644
index c773ea12d5f2..
--- a/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild
+++ /dev/null
@@ -1,32 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit toolchain-funcs
-
-DESCRIPTION="Simplified Satisfiability Solver"
-HOMEPAGE="http://fmv.jku.at/cadical/;
-SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz -> 
${P}.tar.gz"
-S="${WORKDIR}/${PN}-rel-${PV}"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-
-PATCHES=( "${FILESDIR}"/${PN}-makefile.in-ar.patch )
-
-DOCS=( BUILD.md CONTRIBUTING NEWS.md README.md VERSION )
-
-src_configure() {
-   tc-export AR
-   CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die
-}
-
-src_install() {
-   dobin build/{cadical,mobical}
-   dolib.a build/libcadical.a
-   doheader src/cadical.hpp
-
-   einstalldocs
-}

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

2023-01-10 Thread Maciej Barć 
commit: ae18040bc339f7813cdf0372ad0afde8534ecdd1
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Jan 11 03:09:37 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Jan 11 03:44:07 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ae18040b

sci-mathematics/cadical: install ccadical.h

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

 .../cadical/{cadical-1.5.3.ebuild => cadical-1.5.3-r1.ebuild}   | 6 --
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/sci-mathematics/cadical/cadical-1.5.3.ebuild 
b/sci-mathematics/cadical/cadical-1.5.3-r1.ebuild
similarity index 89%
rename from sci-mathematics/cadical/cadical-1.5.3.ebuild
rename to sci-mathematics/cadical/cadical-1.5.3-r1.ebuild
index dac39982db2e..63bd3bf453f3 100644
--- a/sci-mathematics/cadical/cadical-1.5.3.ebuild
+++ b/sci-mathematics/cadical/cadical-1.5.3-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
@@ -7,7 +7,8 @@ inherit toolchain-funcs
 
 DESCRIPTION="Simplified Satisfiability Solver"
 HOMEPAGE="http://fmv.jku.at/cadical/;
-SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz -> 
${P}.tar.gz"
+SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz
+   -> ${P}.tar.gz"
 S="${WORKDIR}"/${PN}-rel-${PV}
 
 LICENSE="MIT"
@@ -31,5 +32,6 @@ src_install() {
doexe build/{cadical,mobical}
dolib.a build/libcadical.a
doheader src/cadical.hpp
+   doheader src/ccadical.h
einstalldocs
 }

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cadical/files/, sci-mathematics/cadical/

2022-09-12 Thread Maciej Barć 
commit: ad0442b9f6f83e7c0900d50fa08e2fe2165d3f66
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Sep 13 02:24:41 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Sep 13 02:40:23 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ad0442b9

sci-mathematics/cadical: bump to 1.5.3

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

 sci-mathematics/cadical/Manifest   |  1 +
 sci-mathematics/cadical/cadical-1.5.3.ebuild   | 35 ++
 .../cadical/files/cadical-configure.patch  | 21 +
 3 files changed, 57 insertions(+)

diff --git a/sci-mathematics/cadical/Manifest b/sci-mathematics/cadical/Manifest
index f3ef6cd607bc..d1c01c50a22c 100644
--- a/sci-mathematics/cadical/Manifest
+++ b/sci-mathematics/cadical/Manifest
@@ -1 +1,2 @@
 DIST cadical-1.5.2.tar.gz 596334 BLAKE2B 
2e6c0f0602b807cf9ee5993aa627e074291b0128d19474d5431e01992d66b111773e593c14712338e9702f64e23eae6fdd937b5b86b2b9b3e08022dbbb199fd7
 SHA512 
1aab87bdaec938eb219f75f13bf2fcb031f47ac1f49b586f769aeececd1c33b166341bef3bc8713e62b4612a91c405db33e6d1b48e1074a3433d80e9ecb33fe2
+DIST cadical-1.5.3.tar.gz 596378 BLAKE2B 
1ac27412745b0f24668ccf2ea1ff89e02c1e68137110bf9522a63ad82b14621d898d0bf873a651a24ccef9f502982f5e2d5b9c558ed0b1c5b7432c1a1459cb58
 SHA512 
bec811ab6a4c392506bdc391227d108476b5b5fae280b2d7d484429fe6d84e86206a054a1044cf68046ce183ecd7af3ec58f8be3ac27224fe37930cf43f08f3b

diff --git a/sci-mathematics/cadical/cadical-1.5.3.ebuild 
b/sci-mathematics/cadical/cadical-1.5.3.ebuild
new file mode 100644
index ..dac39982db2e
--- /dev/null
+++ b/sci-mathematics/cadical/cadical-1.5.3.ebuild
@@ -0,0 +1,35 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit toolchain-funcs
+
+DESCRIPTION="Simplified Satisfiability Solver"
+HOMEPAGE="http://fmv.jku.at/cadical/;
+SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz -> 
${P}.tar.gz"
+S="${WORKDIR}"/${PN}-rel-${PV}
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+
+PATCHES=(
+   "${FILESDIR}"/${PN}-configure.patch
+   "${FILESDIR}"/${PN}-makefile.in-ar.patch
+)
+
+DOCS=( BUILD.md CONTRIBUTING NEWS.md README.md VERSION )
+
+src_configure() {
+   tc-export AR
+   CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die
+}
+
+src_install() {
+   exeinto /usr/bin
+   doexe build/{cadical,mobical}
+   dolib.a build/libcadical.a
+   doheader src/cadical.hpp
+   einstalldocs
+}

diff --git a/sci-mathematics/cadical/files/cadical-configure.patch 
b/sci-mathematics/cadical/files/cadical-configure.patch
new file mode 100644
index ..c6135cb08664
--- /dev/null
+++ b/sci-mathematics/cadical/files/cadical-configure.patch
@@ -0,0 +1,21 @@
+Remove forced debugging or optimization flags.
+
+--- a/configure
 b/configure
+@@ -261,16 +261,6 @@ case x"$CXX" in
+   *) CXXFLAGS="${CXXFLAGS}-W";;
+ esac
+ 
+-if [ $debug = yes ]
+-then
+-  CXXFLAGS="$CXXFLAGS -g"
+-else
+-  case x"$CXX" in
+-x*g++*|x*clang++*) CXXFLAGS="$CXXFLAGS -O3";;
+-*) CXXFLAGS="$CXXFLAGS -O";;
+-  esac
+-fi
+-
+ if [ $m32 = yes ]
+ then
+   case x"$CXX" in

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cadical/, sci-mathematics/cadical/files/

2021-12-28 Thread Maciej Barć 
commit: 130afa266034cea03e902458a9dd42deaf0e23a6
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Dec 28 17:13:58 2021 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Dec 28 17:44:59 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=130afa26

sci-mathematics/cadical: patch direct call to ar

Closes: https://bugs.gentoo.org/830175
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć  gentoo.org>

 .../{cadical-1.5.2.ebuild => cadical-1.5.2-r1.ebuild}|  3 +++
 sci-mathematics/cadical/files/cadical-makefile.in-ar.patch   | 12 
 2 files changed, 15 insertions(+)

diff --git a/sci-mathematics/cadical/cadical-1.5.2.ebuild 
b/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild
similarity index 90%
rename from sci-mathematics/cadical/cadical-1.5.2.ebuild
rename to sci-mathematics/cadical/cadical-1.5.2-r1.ebuild
index d79ad9ed0845..c773ea12d5f2 100644
--- a/sci-mathematics/cadical/cadical-1.5.2.ebuild
+++ b/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild
@@ -14,9 +14,12 @@ LICENSE="MIT"
 SLOT="0/${PV}"
 KEYWORDS="~amd64 ~x86"
 
+PATCHES=( "${FILESDIR}"/${PN}-makefile.in-ar.patch )
+
 DOCS=( BUILD.md CONTRIBUTING NEWS.md README.md VERSION )
 
 src_configure() {
+   tc-export AR
CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die
 }
 

diff --git a/sci-mathematics/cadical/files/cadical-makefile.in-ar.patch 
b/sci-mathematics/cadical/files/cadical-makefile.in-ar.patch
new file mode 100644
index ..cb344eec60ab
--- /dev/null
+++ b/sci-mathematics/cadical/files/cadical-makefile.in-ar.patch
@@ -0,0 +1,12 @@
+index 8fd957f..cdad96e 100644
+--- a/makefile.in
 b/makefile.in
+@@ -47,7 +48,7 @@ mobical: mobical.o libcadical.a makefile $(LIBS)
+   $(COMPILE) -o $@ $< -L. -lcadical
+ 
+ libcadical.a: $(OBJ) makefile
+-  ar rc $@ $(OBJ)
++  ${AR} rc $@ $(OBJ)
+ 
+ #--#
+

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

2021-12-28 Thread Maciej Barć 
commit: fc6bcf4e287ef662105a629a9d69de4e4f15e0b9
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Dec 28 14:44:24 2021 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Dec 28 14:46:16 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fc6bcf4e

sci-mathematics/cadical: new package; add version 1.5.2

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/cadical/Manifest |  1 +
 sci-mathematics/cadical/cadical-1.5.2.ebuild | 29 
 sci-mathematics/cadical/metadata.xml | 17 
 3 files changed, 47 insertions(+)

diff --git a/sci-mathematics/cadical/Manifest b/sci-mathematics/cadical/Manifest
new file mode 100644
index ..f3ef6cd607bc
--- /dev/null
+++ b/sci-mathematics/cadical/Manifest
@@ -0,0 +1 @@
+DIST cadical-1.5.2.tar.gz 596334 BLAKE2B 
2e6c0f0602b807cf9ee5993aa627e074291b0128d19474d5431e01992d66b111773e593c14712338e9702f64e23eae6fdd937b5b86b2b9b3e08022dbbb199fd7
 SHA512 
1aab87bdaec938eb219f75f13bf2fcb031f47ac1f49b586f769aeececd1c33b166341bef3bc8713e62b4612a91c405db33e6d1b48e1074a3433d80e9ecb33fe2

diff --git a/sci-mathematics/cadical/cadical-1.5.2.ebuild 
b/sci-mathematics/cadical/cadical-1.5.2.ebuild
new file mode 100644
index ..d79ad9ed0845
--- /dev/null
+++ b/sci-mathematics/cadical/cadical-1.5.2.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit toolchain-funcs
+
+DESCRIPTION="Simplified Satisfiability Solver"
+HOMEPAGE="http://fmv.jku.at/cadical/;
+SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz -> 
${P}.tar.gz"
+S="${WORKDIR}/${PN}-rel-${PV}"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+
+DOCS=( BUILD.md CONTRIBUTING NEWS.md README.md VERSION )
+
+src_configure() {
+   CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die
+}
+
+src_install() {
+   dobin build/{cadical,mobical}
+   dolib.a build/libcadical.a
+   doheader src/cadical.hpp
+
+   einstalldocs
+}

diff --git a/sci-mathematics/cadical/metadata.xml 
b/sci-mathematics/cadical/metadata.xml
new file mode 100644
index ..c3c09f27203e
--- /dev/null
+++ b/sci-mathematics/cadical/metadata.xml
@@ -0,0 +1,17 @@
+
+http://www.gentoo.org/dtd/metadata.dtd;>
+
+
+  
+sci-mathemat...@gentoo.org
+Gentoo Mathematics Project
+  
+  
+The goal of CaDiCaL is to provide a clean and efficient state-of-the-art
+CDCL solver, which is also easy to understand and change.
+  
+  
+https://github.com/arminbiere/cadical/issues/
+arminbiere/cadical
+  
+