diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-08-22 21:47:11 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-08-22 21:47:11 +0100 |
commit | 9368ace94caa5cdda868a0dbb7c75a3fc7a2b911 (patch) | |
tree | a9a5e87e053b6853c703732ad8050bd895efc1ea /sci-mathematics/opensmt | |
parent | c1d361b300cff921a04bd9ae2f800bf8914559eb (diff) |
gentoo auto-resync : 22:08:2023 - 21:47:11
Diffstat (limited to 'sci-mathematics/opensmt')
-rw-r--r-- | sci-mathematics/opensmt/Manifest | 3 | ||||
-rw-r--r-- | sci-mathematics/opensmt/files/opensmt-2.4.3-musl.patch | 132 | ||||
-rw-r--r-- | sci-mathematics/opensmt/opensmt-2.5.1.ebuild | 72 |
3 files changed, 0 insertions, 207 deletions
diff --git a/sci-mathematics/opensmt/Manifest b/sci-mathematics/opensmt/Manifest index fcc63f0a8fb6..8bcf183d7189 100644 --- a/sci-mathematics/opensmt/Manifest +++ b/sci-mathematics/opensmt/Manifest @@ -1,6 +1,3 @@ -AUX opensmt-2.4.3-musl.patch 4317 BLAKE2B 7f1349452d31edac8e90ba322396fd4725399512481b035f6996b5ec4ad09cc1af3579668ee4da79deb198befdde2cd2fbb9fcc4159ec97b0aaedfce9e73a443 SHA512 09c2cea9928e89806136c5cae2403eb4168bf3984974f6212c0c1b9857affd3b1559bf6cb1bb5a0b8a3a6d9a340cca559446fe4d535b87b1f5b2cdc176f7b7ad -DIST opensmt-2.5.1.tar.gz 1943888 BLAKE2B 17b58fc3e693e77ce70835820f7361db9efe1cac561f1fa3480a839fbdf003d2566617cd97a3e2772ad8e890356b6a5761457779c0ac3b0841c2df6aee74946e SHA512 359ff968d7dbd8d94d6c5687d5b84e19c47016df5b1c0d80374743b395b6257cb4b97aa354b264103bd19c522f55912f1c938e646daf37f6b413488db917fc61 DIST opensmt-2.5.2.tar.gz 1935650 BLAKE2B 85cd171d56591d2f1162a41ff8a425fc818238a2820aab0f75cc75ece8898c5e7de1478aeab93e8905a1aedad85a6df03062fefaad69bea043dce1f3f3d531f5 SHA512 c22d17d3aee33a3360f8ea552c82151eafdef7cc89e6750d34b4ff2a011675a5a5f04a7cb68ff984dd6a5332b2f180fb8abc529e64c3970aba6b7eb60408f198 -EBUILD opensmt-2.5.1.ebuild 1528 BLAKE2B 80e35f101980d464a7c28ed4be5bea57fd78236bf870013afe80c6a9707feca47f8883af1041753c7435238e6af3dd94d1c1f7bdcd75174f23a05707900ae60b SHA512 cd5a803bb256a73fb442f2048ac6f7f5b9e1e4c2e3ccd8b38216414745d0da878c234fe876771007e310a4be86a639a4c74478e6b93c39543690528d8a0856aa EBUILD opensmt-2.5.2.ebuild 1528 BLAKE2B 80e35f101980d464a7c28ed4be5bea57fd78236bf870013afe80c6a9707feca47f8883af1041753c7435238e6af3dd94d1c1f7bdcd75174f23a05707900ae60b SHA512 cd5a803bb256a73fb442f2048ac6f7f5b9e1e4c2e3ccd8b38216414745d0da878c234fe876771007e310a4be86a639a4c74478e6b93c39543690528d8a0856aa MISC metadata.xml 798 BLAKE2B 173b47beab9c5ecc15caf32dd0514230f5dbefea8a9c75b33ab4f4cc51bc7e66e1a90240c3d0ba55f09959accf4203136c2b1ab400c2289e8329906cc0aabb56 SHA512 e3acadb473098ff0985b15ce2fb7ffcd8ef2f29fde2736a9c7e5d297a0857e358cdfa508b9f030add29f8bd808ce1594961e9a92768cbc8cff155a8195bd392e diff --git a/sci-mathematics/opensmt/files/opensmt-2.4.3-musl.patch b/sci-mathematics/opensmt/files/opensmt-2.4.3-musl.patch deleted file mode 100644 index 5f80a0de116c..000000000000 --- a/sci-mathematics/opensmt/files/opensmt-2.4.3-musl.patch +++ /dev/null @@ -1,132 +0,0 @@ -From e88b83b3b52ebc6ff4cdf1f92a876861fc2c5598 Mon Sep 17 00:00:00 2001 -From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@gentoo.org> -Date: Mon, 6 Feb 2023 17:27:34 +0100 -Subject: [PATCH] use fpu_control only on glibc -MIME-Version: 1.0 -Content-Type: text/plain; charset=UTF-8 -Content-Transfer-Encoding: 8bit - -Signed-off-by: Maciej Barć <xgqt@gentoo.org> ---- - bin/opensmt.C | 4 ++-- - src/bin/opensmt.cc | 2 +- - src/minisat/core/Main.C | 4 ++-- - src/minisat/simp/Main.C | 4 ++-- - src/minisat/utils/System.h | 2 +- - src/parallel/opensmtSplitter.cc | 4 ++-- - 6 files changed, 10 insertions(+), 10 deletions(-) - -diff --git a/bin/opensmt.C b/bin/opensmt.C -index cb9c8943b..898a8fdd3 100644 ---- a/bin/opensmt.C -+++ b/bin/opensmt.C -@@ -44,7 +44,7 @@ WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. - #include <csignal> - #include <iostream> - --#if defined(__linux__) -+#if defined(__GLIBC__) - #include <fpu_control.h> - #endif - -@@ -84,7 +84,7 @@ int main( int argc, char * argv[] ) - // the repeatability of experiments that might be compromised - // by the floating point unit approximations on doubles - // --#if defined(__linux__) && !defined( SMTCOMP ) -+#if defined(__GLIBC__) && !defined( SMTCOMP ) - fpu_control_t oldcw, newcw; - _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw); - #endif -diff --git a/src/bin/opensmt.cc b/src/bin/opensmt.cc -index 6db12ffd8..67bfcd712 100644 ---- a/src/bin/opensmt.cc -+++ b/src/bin/opensmt.cc -@@ -47,7 +47,7 @@ WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. - #endif - #endif // ENABLE_LINE_EDITING - --#if defined(__linux__) -+#if defined(__GLIBC__) - #include <fpu_control.h> - #endif - -diff --git a/src/minisat/core/Main.C b/src/minisat/core/Main.C -index acef32cd5..2c232b71b 100644 ---- a/src/minisat/core/Main.C -+++ b/src/minisat/core/Main.C -@@ -74,7 +74,7 @@ static inline uint64_t memUsed(void) { - static inline uint64_t memUsed() { return 0; } - #endif - --#if defined(__linux__) -+#if defined(__GLIBC__) - #include <fpu_control.h> - #endif - -@@ -287,7 +287,7 @@ int main(int argc, char** argv) - - - reportf("This is MiniSat 2.0 beta\n"); --#if defined(__linux__) -+#if defined(__GLIBC__) - fpu_control_t oldcw, newcw; - _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw); - reportf("WARNING: for repeatability, setting FPU to use double precision\n"); -diff --git a/src/minisat/simp/Main.C b/src/minisat/simp/Main.C -index b6d194631..a3f22fb4f 100644 ---- a/src/minisat/simp/Main.C -+++ b/src/minisat/simp/Main.C -@@ -74,7 +74,7 @@ static inline uint64_t memUsed(void) { - static inline uint64_t memUsed() { return 0; } - #endif - --#if defined(__linux__) -+#if defined(__GLIBC__) - #include <fpu_control.h> - #endif - -@@ -244,7 +244,7 @@ const char* hasPrefix(const char* str, const char* prefix) - int main(int argc, char** argv) - { - reportf("This is MiniSat 2.0 beta\n"); --#if defined(__linux__) -+#if defined(__GLIBC__) - fpu_control_t oldcw, newcw; - _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw); - reportf("WARNING: for repeatability, setting FPU to use double precision\n"); -diff --git a/src/minisat/utils/System.h b/src/minisat/utils/System.h -index 5f9dc3f53..4b7f9c9f5 100644 ---- a/src/minisat/utils/System.h -+++ b/src/minisat/utils/System.h -@@ -21,7 +21,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA - #ifndef Minisat_System_h - #define Minisat_System_h - --#if defined(__linux__) -+#if defined(__GLIBC__) - #include <fpu_control.h> - #endif - -diff --git a/src/parallel/opensmtSplitter.cc b/src/parallel/opensmtSplitter.cc -index 05246e187..4b8c01a1a 100644 ---- a/src/parallel/opensmtSplitter.cc -+++ b/src/parallel/opensmtSplitter.cc -@@ -27,7 +27,7 @@ - #endif - #endif // ENABLE_LINE_EDITING - --#if defined(__linux__) -+#if defined(__GLIBC__) - #include <fpu_control.h> - #endif - -@@ -55,7 +55,7 @@ int main( int argc, char * argv[] ) - // the repeatability of experiments that might be compromised - // by the floating point unit approximations on doubles - // --#if defined(__linux__) -+#if defined(__GLIBC__) - fpu_control_t oldcw, newcw; - _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw); - #endif diff --git a/sci-mathematics/opensmt/opensmt-2.5.1.ebuild b/sci-mathematics/opensmt/opensmt-2.5.1.ebuild deleted file mode 100644 index 04e39c2ae269..000000000000 --- a/sci-mathematics/opensmt/opensmt-2.5.1.ebuild +++ /dev/null @@ -1,72 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit cmake - -DESCRIPTION="Compact and open-source SMT-solver written in C++" -HOMEPAGE="http://verify.inf.usi.ch/opensmt/ - https://github.com/usi-verification-and-security/opensmt/" - -if [[ ${PV} == *9999* ]] ; then - inherit git-r3 - EGIT_REPO_URI="https://github.com/usi-verification-and-security/${PN}.git" -else - SRC_URI="https://github.com/usi-verification-and-security/${PN}/archive/v${PV}.tar.gz - -> ${P}.tar.gz" - KEYWORDS="~amd64 ~x86" -fi - -LICENSE="MIT" -SLOT="0/${PV}" -IUSE="debug libedit +readline test" -REQUIRED_USE="?? ( libedit readline )" -RESTRICT="!test? ( test )" - -RDEPEND=" - dev-libs/gmp:=[cxx] - readline? ( sys-libs/readline:= ) - libedit? ( dev-libs/libedit:= ) -" -DEPEND="${RDEPEND}" -BDEPEND=" - sys-devel/bison - sys-devel/flex - test? ( dev-cpp/gtest ) -" - -# PATCHES=( "${FILESDIR}"/${PN}-2.4.3-musl.patch ) - -src_prepare() { - cmake_src_prepare - - echo "add_subdirectory(unit)" > "${S}"/test/CMakeLists.txt || die -} - -src_configure() { - local CMAKE_BUILD_TYPE - if use debug ; then - CMAKE_BUILD_TYPE=Debug - else - CMAKE_BUILD_TYPE=Release - fi - - local -a mycmakeargs=( - -DPACKAGE_TESTS=$(usex test) - -DUSE_READLINE=$(usex readline) - ) - if use readline || use libedit ; then - mycmakeargs+=( -DENABLE_LINE_EDITING=ON ) - fi - cmake_src_configure -} - -src_install() { - cmake_src_install - - rm "${ED}"/usr/lib/libopensmt.a || die - - dolib.so "${ED}"/usr/lib/libopensmt.* - rm "${ED}"/usr/lib/libopensmt.* || die -} |