* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cadical/
@ 2021-12-28 14:46 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2021-12-28 14:46 UTC (permalink / raw
To: gentoo-commits
commit: fc6bcf4e287ef662105a629a9d69de4e4f15e0b9
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Dec 28 14:44:24 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Dec 28 14:46:16 2021 +0000
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ć <xgqt <AT> 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 000000000000..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 000000000000..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 000000000000..c3c09f27203e
--- /dev/null
+++ b/sci-mathematics/cadical/metadata.xml
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="project">
+ <email>sci-mathematics@gentoo.org</email>
+ <name>Gentoo Mathematics Project</name>
+ </maintainer>
+ <longdescription>
+ 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.
+ </longdescription>
+ <upstream>
+ <bugs-to>https://github.com/arminbiere/cadical/issues/</bugs-to>
+ <remote-id type="github">arminbiere/cadical</remote-id>
+ </upstream>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cadical/
@ 2023-01-11 3:53 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2023-01-11 3:53 UTC (permalink / raw
To: gentoo-commits
commit: ae18040bc339f7813cdf0372ad0afde8534ecdd1
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 11 03:09:37 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=ae18040b
sci-mathematics/cadical: install ccadical.h
Signed-off-by: Maciej Barć <xgqt <AT> 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
}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cadical/
@ 2023-10-07 14:57 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2023-10-07 14:57 UTC (permalink / raw
To: gentoo-commits
commit: c6ff8713690dcfe49a4301caf739ec86f5baae55
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 7 14:53:28 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Oct 7 14:57:43 2023 +0000
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ć <xgqt <AT> 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..000000000000
--- 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
-}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cadical/
@ 2023-10-07 22:39 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2023-10-07 22:39 UTC (permalink / raw
To: gentoo-commits
commit: 3f9ce223eb964305658c79338d9e8ec59cbf6a91
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 7 22:13:22 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Oct 7 22:39:05 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f9ce223
sci-mathematics/cadical: bump to 1.8.0
Signed-off-by: Maciej Barć <xgqt <AT> 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 000000000000..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
+}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cadical/
@ 2024-02-08 10:31 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2024-02-08 10:31 UTC (permalink / raw
To: gentoo-commits
commit: 0db7bc276120264f1f860da406db476379f4dd2f
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Feb 8 10:01:02 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Feb 8 10:31:26 2024 +0000
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ć <xgqt <AT> 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..000000000000
--- 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
-}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cadical/
@ 2024-02-08 10:31 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2024-02-08 10:31 UTC (permalink / raw
To: gentoo-commits
commit: 8ff0e296c5d8d13e5b0a284f37b710190e0f870a
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Feb 8 10:08:20 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Feb 8 10:31:26 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8ff0e296
sci-mathematics/cadical: bump to 1.9.4
Signed-off-by: Maciej Barć <xgqt <AT> 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 000000000000..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}" == *9999* ]] ; 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
+}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cadical/
@ 2024-03-04 21:58 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2024-03-04 21:58 UTC (permalink / raw
To: gentoo-commits
commit: 7adbd5ccc9cdb1a9a77467c5f0faf3e38b3f799b
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Mar 4 20:42:20 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Mar 4 21:57:01 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7adbd5cc
sci-mathematics/cadical: drop old 1.8.0
Signed-off-by: Maciej Barć <xgqt <AT> 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..000000000000
--- 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
-}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cadical/
@ 2024-03-04 21:58 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2024-03-04 21:58 UTC (permalink / raw
To: gentoo-commits
commit: c5869570c0a18934b6300b8e445aa1754756e8ed
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Mar 4 20:48:21 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Mar 4 21:57:02 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c5869570
sci-mathematics/cadical: bump to 1.9.5
Signed-off-by: Maciej Barć <xgqt <AT> 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 000000000000..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}" == *9999* ]] ; 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
+}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cadical/
@ 2024-06-27 22:42 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2024-06-27 22:42 UTC (permalink / raw
To: gentoo-commits
commit: 7c11cfab7c2abee71569e689801a8fe1a6512c0c
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 27 21:23:19 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Jun 27 22:42:21 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7c11cfab
sci-mathematics/cadical: drop old 1.9.4
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/cadical/Manifest | 1 -
sci-mathematics/cadical/cadical-1.9.4.ebuild | 47 ----------------------------
2 files changed, 48 deletions(-)
diff --git a/sci-mathematics/cadical/Manifest b/sci-mathematics/cadical/Manifest
index 8b39b30d4ef6..757e3db820e8 100644
--- a/sci-mathematics/cadical/Manifest
+++ b/sci-mathematics/cadical/Manifest
@@ -1,2 +1 @@
-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.4.ebuild b/sci-mathematics/cadical/cadical-1.9.4.ebuild
deleted file mode 100644
index 4c087365b45b..000000000000
--- a/sci-mathematics/cadical/cadical-1.9.4.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# 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}" == *9999* ]] ; 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
-}
^ permalink raw reply related [flat|nested] 9+ messages in thread
end of thread, other threads:[~2024-06-27 22:42 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-02-08 10:31 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cadical/ Maciej Barć
-- strict thread matches above, loose matches on Subject: below --
2024-06-27 22:42 Maciej Barć
2024-03-04 21:58 Maciej Barć
2024-03-04 21:58 Maciej Barć
2024-02-08 10:31 Maciej Barć
2023-10-07 22:39 Maciej Barć
2023-10-07 14:57 Maciej Barć
2023-01-11 3:53 Maciej Barć
2021-12-28 14:46 Maciej Barć
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox