public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Maciej Barć" <xgqt@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/nprolog/
Date: Tue, 09 Sep 2025 21:26:35 +0000 (UTC)	[thread overview]
Message-ID: <1757453188.f5dfd4aff2daef11adcccead5e8365f749f09660.xgqt@gentoo> (raw)

commit:     f5dfd4aff2daef11adcccead5e8365f749f09660
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Sep  9 21:18:33 2025 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> 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ć <xgqt <AT> 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
+}


             reply	other threads:[~2025-09-09 21:27 UTC|newest]

Thread overview: 79+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-09-09 21:26 Maciej Barć [this message]
  -- strict thread matches above, loose matches on Subject: below --
2025-10-03 19:02 [gentoo-commits] repo/gentoo:master commit in: dev-lang/nprolog/ Arthur Zamarin
2025-09-13  1:30 Sam James
2025-09-09 21:26 Maciej Barć
2025-08-31 12:21 Maciej Barć
2025-08-13  7:54 Maciej Barć
2025-08-13  7:54 Maciej Barć
2025-08-13  7:54 Maciej Barć
2025-08-13  7:54 Maciej Barć
2025-08-03 13:27 Maciej Barć
2025-07-28 17:12 Maciej Barć
2025-07-28 17:12 Maciej Barć
2025-07-13 16:40 Arthur Zamarin
2025-07-13 11:52 Maciej Barć
2025-07-13 11:52 Maciej Barć
2025-07-13 11:52 Maciej Barć
2025-07-05 21:21 Maciej Barć
2025-06-27  0:52 Maciej Barć
2025-06-27  0:52 Maciej Barć
2025-06-16 13:56 Maciej Barć
2025-06-05 17:04 Maciej Barć
2025-06-05 17:04 Maciej Barć
2025-06-05 17:04 Maciej Barć
2025-06-05 17:04 Maciej Barć
2025-05-31  5:32 Arthur Zamarin
2025-05-30 22:13 Maciej Barć
2025-05-30 22:13 Maciej Barć
2025-05-30 22:13 Maciej Barć
2025-05-22 23:01 Maciej Barć
2025-05-17 22:37 Maciej Barć
2025-05-10 20:55 Maciej Barć
2025-04-28 13:40 Maciej Barć
2025-04-28 13:40 Maciej Barć
2025-04-28 13:40 Maciej Barć
2025-04-28  4:20 Sam James
2025-04-05 17:08 Arthur Zamarin
2025-03-16 21:11 Maciej Barć
2025-03-07 19:34 Maciej Barć
2025-03-05  0:04 Sam James
2025-03-01 13:16 Maciej Barć
2025-03-01 13:16 Maciej Barć
2025-03-01 13:16 Maciej Barć
2025-03-01 13:16 Maciej Barć
2025-02-23 22:23 Maciej Barć
2025-02-16 22:35 Maciej Barć
2025-02-09 20:50 Maciej Barć
2025-01-30 17:44 Maciej Barć
2025-01-27 14:51 Maciej Barć
2025-01-27 14:51 Maciej Barć
2025-01-05 23:22 Sam James
2024-12-28 16:05 Maciej Barć
2024-12-28 16:05 Maciej Barć
2024-12-06  1:08 Maciej Barć
2024-12-03  0:29 Maciej Barć
2024-11-26  1:45 Maciej Barć
2024-11-14 23:40 Maciej Barć
2024-11-14 23:40 Maciej Barć
2024-11-13 18:16 Maciej Barć
2024-11-04  0:19 Maciej Barć
2024-11-04  0:19 Maciej Barć
2024-11-04  0:19 Maciej Barć
2024-11-01 20:42 Sam James
2024-10-25 18:52 Maciej Barć
2024-10-15 14:30 Maciej Barć
2024-10-15 14:30 Maciej Barć
2024-10-15 14:30 Maciej Barć
2024-10-15 14:30 Maciej Barć
2024-10-13 19:23 Maciej Barć
2024-10-10  0:05 Maciej Barć
2024-09-30 18:22 Maciej Barć
2024-09-30 18:22 Maciej Barć
2024-09-30 18:22 Maciej Barć
2024-09-28 15:00 Maciej Barć
2024-09-09  0:06 Maciej Barć
2024-09-04  8:09 Maciej Barć
2023-05-05 12:03 Maciej Barć
2023-03-04  9:16 Arthur Zamarin
2022-12-05 13:17 Maciej Barć
2022-12-04  5:54 Maciej Barć

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1757453188.f5dfd4aff2daef11adcccead5e8365f749f09660.xgqt@gentoo \
    --to=xgqt@gentoo.org \
    --cc=gentoo-commits@lists.gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox