From nobody Tue Aug 4 13:02:03 2026 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4hDtx66L7fz6nCLk for ; Tue, 04 Aug 2026 13:02:18 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "YR1" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id 4hDtx65S7Rz46Bl for ; Tue, 04 Aug 2026 13:02:18 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1785848538; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=wFJVmVDLuwsqtJIl01F4dFHB79sebanJdn4cUafZz9M=; b=I7oEm5eokW6pC5b8WirIUf7KtA6nD1Jg2xPF+OPVKjhdyMyWj54CYNz3aP1/IwcJhFoUYb N3zYfZFXAnbMFvYA+CRzmp66ZwEZQA0hHsxfvEb7JB1K9OzkrUlq7eMV51Xrao68tacHVq pGSXmd2FLaBVlM7g8LxerpBHoa8UG2vrOwNfeFfB86HRgbCgUVbkR0Jhdxf3JtJDT2fq7m Oyimx7lEpmgpfzJQlw8vA8hsva9Uo4sndUxuNu7eH5haLiud9K6HVkh5Z1J0y+FFw+NDC2 elo9g/Elwe9nBrI+wicE4tDPGXuKCgpwCc11yngeBkZ24yTNGjt/w+W6ROYspA== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1785848538; a=rsa-sha256; cv=none; b=sLgUcG/WdIwOV7JpdiI2R3stP/zG1BLvI4RRYKm+mDU+hl7tBPMQ7EUqLRk8u5Cww9Hc4H LXt/ARBma2sYy/o+B5R7I40aEk4sGjXqFEukIhVsoQ6ZIE/syJQtJjDr29ht1YwKt5imRY fS0NpIzWRokRNpjRQNLrcITBtEdABM0R8zAbzVB+VqQGXeyKFj9MdIDCC4IS/nWjbaIzjL 6LgH7ZLmq3eJhpJSdwa+FGZwsvMu93P2scdeiiWdj88PQXhbcdOJAB7hizSPpopFvNdUaD TnX8iUudS+92V0w8PMLqL5j0cFOpTfmJr4x1WJpbWyDmecD99Aqm8ojmKmbviQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1785848538; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=wFJVmVDLuwsqtJIl01F4dFHB79sebanJdn4cUafZz9M=; b=ktCTafqAlZ2F7dBK/r4/uN3OVFbS+Za1KRlNJ9JHS3kisFIF+6R9Ypf4Vv7qTCc13IEcEA eRaqUVR9r0FYLrRr5GKJs9Z+UHS2Ao5yEgAEeDp81O3pwtrlB3WYFVCXuMptAhnHVmvF6u G4EDus/uHlmMXpYUylgha9LwhJg8khK43a5u4c7cKOwMO+709d799XT2cFyg7lovalKYit N2qf/VZYQ6VsIKfvYdw7dDyo7RH2LbBXOsSNxdeC1JUvMis/3H6tqIW5AxCwOO3zmXvj3M J68ZBAEOjvMsmwJUBWBX1gapGiRBearYtDZcIMdith5wC3UjxklIebG3vBh5Bw== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) by mxrelay.nyi.freebsd.org (Postfix) with ESMTP id 4hDtx64GWRzpGC for ; Tue, 04 Aug 2026 13:02:18 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from git (uid 1279) (envelope-from git@FreeBSD.org) id 2682e by gitrepo.freebsd.org (DragonFly Mail Agent v0.13+ on gitrepo.freebsd.org); Tue, 04 Aug 2026 13:02:03 +0000 To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Gleb Popov Subject: git: b3beb06c6504 - main - math/stp: Update to 2.4.1 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-dev-commits-ports-all@FreeBSD.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: arrowd X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: b3beb06c650486a93b93f34394823f565cb236f8 Auto-Submitted: auto-generated Date: Tue, 04 Aug 2026 13:02:03 +0000 Message-Id: <6a71e2cb.2682e.3675c08d@gitrepo.freebsd.org> The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=b3beb06c650486a93b93f34394823f565cb236f8 commit b3beb06c650486a93b93f34394823f565cb236f8 Author: Gleb Popov AuthorDate: 2026-08-04 12:56:30 +0000 Commit: Gleb Popov CommitDate: 2026-08-04 13:01:27 +0000 math/stp: Update to 2.4.1 Reported by: portscout! --- math/stp/Makefile | 36 ++++++++++++++++++++++++++++-------- math/stp/distinfo | 12 +++++++++--- math/stp/pkg-plist | 2 +- 3 files changed, 38 insertions(+), 12 deletions(-) diff --git a/math/stp/Makefile b/math/stp/Makefile index 51c77b7b1585..341d2c9a82b0 100644 --- a/math/stp/Makefile +++ b/math/stp/Makefile @@ -1,6 +1,5 @@ PORTNAME= stp -DISTVERSION= 2.3.4 -PORTREVISION= 5 +DISTVERSION= 2.4.1 PORTEPOCH= 1 CATEGORIES= math @@ -11,16 +10,37 @@ WWW= https://stp.github.io/ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE +BUILD_DEPENDS= gmake:devel/gmake \ + git:devel/git LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \ + libgmp.so:math/gmp \ libminisat.so:math/minisat \ libcryptominisat5.so:math/cryptominisat -BUILD_DEPENDS= ${PY_SETUPTOOLS} +TEST_DEPENDS= lit${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} + +USES= bison:build cmake:testing python -USES= bison:build cmake perl5 python USE_GITHUB= yes -GH_TAGNAME= ${DISTVERSION}_cadical -USE_PERL5= build -USE_LDCONFIG= yes -CMAKE_ARGS= -DUSE_CADICAL=OFF +GH_TUPLE= berkeley-abc:abc:95393064368b7c05da4d6f0264fc3419c175c7cb:abc/lib/extlib-abc \ + google:googletest:v1.17.0:googletest/deps/gtest \ + stp:OutputCheck:e0133ed42b091a7ddea6b901055e142447819a9e:outputcheck/deps/OutputCheck + +CMAKE_ARGS= -DUSE_CADICAL=OFF \ + -DSTP_ALLOCATOR=system +CMAKE_TESTING_ARGS= -DLIT_TOOL=${LOCALBASE}/bin/lit${LLVM_DEFAULT} +CMAKE_TESTING_ON= ENABLE_TESTING + +# Workaround the Python problem +# OSError: /usr/local/lib/libstp.so: No space available for static Thread Local Storage +TEST_ENV= LD_PRELOAD=${BUILD_WRKSRC}/lib/libstp.so + +TESTING_UNSAFE= llvm-lit based tests fail because our LLVM package does not ship "not" + +post-patch: + ${REINPLACE_CMD} 's| make| gmake|g' ${WRKSRC_abc}/CMakeLists.txt + ${REINPLACE_CMD} -e 's|import lit|import lit${LLVM_DEFAULT}|g' \ + -e 's|lit\.util|lit${LLVM_DEFAULT}\.util|g' \ + -e 's|lit\.formats|lit${LLVM_DEFAULT}\.formats|g' \ + ${WRKSRC}/tests/query-files/lit.cfg .include diff --git a/math/stp/distinfo b/math/stp/distinfo index 1fa8f3148b4f..be406e8e2871 100644 --- a/math/stp/distinfo +++ b/math/stp/distinfo @@ -1,3 +1,9 @@ -TIMESTAMP = 1718440069 -SHA256 (stp-stp-2.3.4-2.3.4_cadical_GH0.tar.gz) = 9cf16be7613554c96dec74123dcfdb6905636c10b4b7cddaf8b25474bfc9e966 -SIZE (stp-stp-2.3.4-2.3.4_cadical_GH0.tar.gz) = 3543795 +TIMESTAMP = 1785840204 +SHA256 (stp-stp-2.4.1_GH0.tar.gz) = 6f8bca3612e3d61868450dbf7771897b2a909f446e8de460bdf31f13a6cd0318 +SIZE (stp-stp-2.4.1_GH0.tar.gz) = 3243916 +SHA256 (berkeley-abc-abc-95393064368b7c05da4d6f0264fc3419c175c7cb_GH0.tar.gz) = b23f9384edb297a27cb0420d9f99ca4cf4e2a2a301ac10b41418f770a839cb9e +SIZE (berkeley-abc-abc-95393064368b7c05da4d6f0264fc3419c175c7cb_GH0.tar.gz) = 6266682 +SHA256 (google-googletest-v1.17.0_GH0.tar.gz) = 65fab701d9829d38cb77c14acdc431d2108bfdbf8979e40eb8ae567edf10b27c +SIZE (google-googletest-v1.17.0_GH0.tar.gz) = 885595 +SHA256 (stp-OutputCheck-e0133ed42b091a7ddea6b901055e142447819a9e_GH0.tar.gz) = 5a65302bc13c46a204c353f25ce76ce4d29dafab660126be7bd2613f64290da7 +SIZE (stp-OutputCheck-e0133ed42b091a7ddea6b901055e142447819a9e_GH0.tar.gz) = 16516 diff --git a/math/stp/pkg-plist b/math/stp/pkg-plist index 2e1c8ef7ae6d..384a4c910e62 100644 --- a/math/stp/pkg-plist +++ b/math/stp/pkg-plist @@ -6,7 +6,7 @@ lib/cmake/STP/STPConfigVersion.cmake lib/cmake/STP/STPTargets-%%CMAKE_BUILD_TYPE%%.cmake lib/cmake/STP/STPTargets.cmake lib/libstp.so -lib/libstp.so.2.3 +lib/libstp.so.2.4 %%PYTHON_SITELIBDIR%%/stp/__init__.py %%PYTHON_SITELIBDIR%%/stp/library_path.py %%PYTHON_SITELIBDIR%%/stp/stp.py