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 E9F941581FD for ; Tue, 09 Sep 2025 21:27:27 +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) (No client certificate requested) (Authenticated sender: relay-lists.gentoo.org@gentoo.org) by smtp.gentoo.org (Postfix) with ESMTPSA id D0AA13410B4 for ; Tue, 09 Sep 2025 21:27:27 +0000 (UTC) Received: from bobolink.gentoo.org (localhost [127.0.0.1]) by bobolink.gentoo.org (Postfix) with ESMTP id 511F3110587; Tue, 09 Sep 2025 21:26:39 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange x25519) (No client certificate requested) by bobolink.gentoo.org (Postfix) with ESMTPS id 4A836110586 for ; Tue, 09 Sep 2025 21:26:39 +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) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 06424340F74 for ; Tue, 09 Sep 2025 21:26:39 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id DC13F3993 for ; Tue, 09 Sep 2025 21:26:35 +0000 (UTC) From: "Maciej Barć" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Maciej Barć" Message-ID: <1757453188.f5dfd4aff2daef11adcccead5e8365f749f09660.xgqt@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/nprolog/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-lang/nprolog/Manifest dev-lang/nprolog/nprolog-4.72.ebuild X-VCS-Directories: dev-lang/nprolog/ X-VCS-Committer: xgqt X-VCS-Committer-Name: Maciej Barć X-VCS-Revision: f5dfd4aff2daef11adcccead5e8365f749f09660 X-VCS-Branch: master Date: Tue, 09 Sep 2025 21:26:35 +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: 8138370e-1aec-46c0-8d68-47ea59653661 X-Archives-Hash: 84a66a03e5daa6b498e1b3c0b9c1fd97 commit: f5dfd4aff2daef11adcccead5e8365f749f09660 Author: Maciej Barć gentoo org> AuthorDate: Tue Sep 9 21:18:33 2025 +0000 Commit: Maciej Barć gentoo org> CommitDate: Tue Sep 9 21:26:28 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f5dfd4af dev-lang/nprolog: bump to 4.72 Signed-off-by: Maciej Barć gentoo.org> dev-lang/nprolog/Manifest | 1 + dev-lang/nprolog/nprolog-4.72.ebuild | 53 ++++++++++++++++++++++++++++++++++++ 2 files changed, 54 insertions(+) diff --git a/dev-lang/nprolog/Manifest b/dev-lang/nprolog/Manifest index 09fd7b538323..604f667e77ab 100644 --- a/dev-lang/nprolog/Manifest +++ b/dev-lang/nprolog/Manifest @@ -2,3 +2,4 @@ DIST nprolog-4.37.gh.tar.gz 1999398 BLAKE2B 9e7dab51c15fd84c0d72a460d19b427dc621 DIST nprolog-4.55.gh.tar.gz 2011480 BLAKE2B 4fda77076fbec2af8e441ea7b4e412ef744f2cf73854d9b88501bca1b335f78f9399435ac5c0423188ae88097d887bfd91c4d67ac1b07b45f5873aa5a6cc47af SHA512 fe5511383b844945897fb45897b7d396ce9259d56872ff8a98164680c57cb70922f6be51ce9041dcd26a95a88be9130854fe354342a95e5784995a2e6ef9d0c1 DIST nprolog-4.61.gh.tar.gz 1878296 BLAKE2B 3e1d3b17a7ece125ddb644884f7c17f2860adef813894943faaf3b10706d20618b6bba00856a765e1c29a110a6ec911a5dade8f6faf7f4a77f7be06471e500e5 SHA512 c5eb22216fd76faaac834d39372419181a641e2bc4ac16a96605610c56aa09b342381e2ebdf8d34fa71e77a1988caa03b3fe4e7a09243e7bb630ce1898130dea DIST nprolog-4.71.gh.tar.gz 1877946 BLAKE2B 8796b1c607364e4ca268bcc4525fe89eb61d782864d3b924cc34f9f232e34b6987150300f4f935d32a70ef25d17a2c78dd033827a9653aa40a98f727dfb6291d SHA512 32e8a68cdf4b13d1a5dbcd4418efdd2a70c1d1534e95ac3d4dcd6229d8f114fca7b3b7c0f64fb4aadb457537bed341ab9a3434cbfce066a2ffd7d1429c1c3f62 +DIST nprolog-4.72.gh.tar.gz 1877894 BLAKE2B 7f860c1e658e276465929310c65699d79f16b7c575419cf02f73bc3edb3e8fb95ec1173549e49d0ddc1d66fc34f3609b740d1e0eb515fe2f48cd214c20f20e8c SHA512 55b87bfd3b1cf82deaf4e147e408575145c4902a0cd582971adf0216036fb4508f8c7e9f9a9ab8c1222030b1c78b03d3c90c1872a1c47bcbddfbefc0ffecf6f0 diff --git a/dev-lang/nprolog/nprolog-4.72.ebuild b/dev-lang/nprolog/nprolog-4.72.ebuild new file mode 100644 index 000000000000..df3846fd36d8 --- /dev/null +++ b/dev-lang/nprolog/nprolog-4.72.ebuild @@ -0,0 +1,53 @@ +# Copyright 1999-2025 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit toolchain-funcs + +DESCRIPTION="Interpreter and compiler to be compatible with Arity/Prolog32" +HOMEPAGE="https://github.com/sasagawa888/nprolog/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/sasagawa888/${PN}" +else + SRC_URI="https://github.com/sasagawa888/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.gh.tar.gz" + + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="BSD-2" +SLOT="0" +IUSE="doc" + +DOCS=( README{,-ja}.md ) + +src_prepare() { + if [[ -f edlog ]] ; then + rm edlog || die + fi + + default +} + +src_compile() { + emake CC="$(tc-getCC)" CFLAGS="${CFLAGS} ${LDFLAGS}" +} + +src_install() { + dobin npl + + insinto "/usr/share/${PN}" + doins -r example library + + if use doc ; then + DOCS+=( document ) + + docompress -x "/usr/share/doc/${PF}/document" + fi + + einstalldocs +}