From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 6A0DC1581F0 for ; Fri, 24 Jan 2025 20:02:13 +0000 (UTC) Received: from lists.gentoo.org (bobolink.gentoo.org [140.211.166.189]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) (Authenticated sender: relay-lists.gentoo.org@gentoo.org) by smtp.gentoo.org (Postfix) with ESMTPSA id 53962343534 for ; Fri, 24 Jan 2025 20:02:13 +0000 (UTC) Received: from bobolink.gentoo.org (localhost [127.0.0.1]) by bobolink.gentoo.org (Postfix) with ESMTP id 522E211042D; Fri, 24 Jan 2025 20:02:12 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by bobolink.gentoo.org (Postfix) with ESMTPS id 4C8F211042D for ; Fri, 24 Jan 2025 20:02:12 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (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) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 00A4E34352D for ; Fri, 24 Jan 2025 20:02:12 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 602141807 for ; Fri, 24 Jan 2025 20:02:10 +0000 (UTC) From: "Alfredo Tupone" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Alfredo Tupone" Message-ID: <1737748915.95b50978e128f04b01a72faca1b5a996930fa0e1.tupone@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ada/AdaSAT/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild dev-ada/AdaSAT/Manifest X-VCS-Directories: dev-ada/AdaSAT/ X-VCS-Committer: tupone X-VCS-Committer-Name: Alfredo Tupone X-VCS-Revision: 95b50978e128f04b01a72faca1b5a996930fa0e1 X-VCS-Branch: master Date: Fri, 24 Jan 2025 20:02:10 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: e9eae62f-6bd0-4be2-a216-be00bef38556 X-Archives-Hash: e37b7690d4612e04148a4c2ab51c4c7d commit: 95b50978e128f04b01a72faca1b5a996930fa0e1 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Jan 24 19:59:44 2025 +0000 Commit: Alfredo Tupone gentoo org> CommitDate: Fri Jan 24 20:01:55 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=95b50978 dev-ada/AdaSAT: add 25.0.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild | 70 +++++++++++++++++++++++++++++++++++++ dev-ada/AdaSAT/Manifest | 1 + 2 files changed, 71 insertions(+) diff --git a/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild new file mode 100644 index 000000000000..3c7d9c9889b6 --- /dev/null +++ b/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild @@ -0,0 +1,70 @@ +# Copyright 2024-2025 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 +ADA_COMPAT=( gcc_12 gcc_13 gcc_14 ) +PYTHON_COMPAT=( python3_{10..12} ) + +inherit ada python-any-r1 multiprocessing + +DESCRIPTION="Implementation of a DPLL-based SAT solver in Ada" +HOMEPAGE="https://github.com/AdaCore/AdaSAT" +SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="+shared static-libs static-pic test" + +DEPEND="dev-ada/gprbuild[${ADA_USEDEP}]" +BDEPEND="test? ( + $(python_gen_any_dep ' + dev-ada/e3-testsuite[${PYTHON_USEDEP}] + ') +)" + +REQUIRED_USE="${ADA_REQUIRED_USE} + || ( shared static-libs static-pic ) + test? ( static-libs )" +RESTRICT="!test? ( test )" + +python_check_deps() { + use test || return 0 + python_has_version "dev-ada/e3-testsuite[${PYTHON_USEDEP}]" +} + +pkg_setup() { + use test && python-any-r1_pkg_setup +} + +src_compile() { + build () { + gprbuild -P adasat.gpr -p -v -j$(makeopts_jobs) \ + --relocate-build-tree="." -XLIBRARY_TYPE=$1 \ + -XBUILD_MODE=dev -cargs:Ada ${ADAFLAGS} || die + } + + use shared && build relocatable + use static-libs && build static + use static-pic && build static-pic +} + +src_install() { + build () { + gprinstall -P adasat.gpr -p -f -XLIBRARY_TYPE=$1 -XBUILD_MODE=dev -v \ + --relocate-build-tree="." --prefix="${ED}"/usr --build-name=$1 \ + --build-var=LIBRARY_TYPE || die + } + use shared && build relocatable + use static-libs && build static + use static-pic && build static-pic + + rm -r "${D}"/usr/share/gpr/manifests || die + einstalldocs +} + +src_test() { + export ADA_PROJECT_PATH="${S}" + ${EPYTHON} testsuite/testsuite.py || die +} diff --git a/dev-ada/AdaSAT/Manifest b/dev-ada/AdaSAT/Manifest index a6fd5abd770a..239e41d6f941 100644 --- a/dev-ada/AdaSAT/Manifest +++ b/dev-ada/AdaSAT/Manifest @@ -1 +1,2 @@ DIST AdaSAT-24.0.0.tar.gz 30088 BLAKE2B 6375c84d54dab73e1c56a137ac156d327e13b1e885d7a102ea62f841fb4d70fb0bb612c4f632dc78facff2544276601e59c75680d7d182175a16fb20e7b4731b SHA512 313310537c5d6a024e6acae4e2d6fba29b4ab6221a0d793cd9af6b7fec16be8ea59551566781eec676c544066f5721a03e61a340e0a45e3f1af51992fda096c6 +DIST AdaSAT-25.0.0.tar.gz 30707 BLAKE2B 7256fa3db93273657d52b7b895e51efa95c102753efbe498d283ef33a6bed067ddf2975e72a357483aa67b5ce7d8073d4a192e9a4741ab204ce159ec0f57b529 SHA512 7781a683c5aef9efa9a6b57e82070184c02d734fcf448aa5aa79d9aaa3b40d181d87d7487d9c204f7dcd584a3d2dc1c9ebc027e82b2532c3418c25a2395fd9af