summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2024-09-30 19:59:05 +0200
committerMaciej Barć <xgqt@gentoo.org>2024-09-30 20:22:54 +0200
commit4ee825c470acd44c0d552424233133ecd1e0ba69 (patch)
tree474680beaa39d5776d0cee4d6e3b6493c90063d5 /dev-lang
parentsci-mathematics/boolector: bump to 3.2.4 (diff)
downloadgentoo-4ee825c470acd44c0d552424233133ecd1e0ba69.tar.gz
gentoo-4ee825c470acd44c0d552424233133ecd1e0ba69.tar.bz2
gentoo-4ee825c470acd44c0d552424233133ecd1e0ba69.zip
dev-lang/nprolog: bump to 3.30
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/nprolog/Manifest1
-rw-r--r--dev-lang/nprolog/nprolog-3.30.ebuild39
2 files changed, 40 insertions, 0 deletions
diff --git a/dev-lang/nprolog/Manifest b/dev-lang/nprolog/Manifest
index 94385c487a39..807bd275b21a 100644
--- a/dev-lang/nprolog/Manifest
+++ b/dev-lang/nprolog/Manifest
@@ -2,3 +2,4 @@ DIST nprolog-1.94.tar.gz 128172 BLAKE2B b3a2de8e5e247bce55fc6eabbd06dddee1d42d8d
DIST nprolog-2.50.tar.gz 229903 BLAKE2B 1ddc782ddb8e5dff49c4abeb75b34607ff4ed766b98aebf7dba4a799f353649ac942c504363d7dec17c03fc17d01d45b33efcf6f8a76158d5366e30b7647462d SHA512 f37accf8fb156a306ff2aefd11e655fbbdd4e7f02030a9762e25676cc6e88eaa31f7600f421d7ea982e7f0dd47519b0475f4c93dfcb67f1b1d41211d31107163
DIST nprolog-3.10.tar.gz 582817 BLAKE2B c32ded1a80dd3a32b587685a9e803c1e785433b655cdd6cdba66a0e933376cd354be06b8b7fa2fd626839ee9ed07b0a8464c7ee3bf582a6e9a91130d71b1d56f SHA512 ab5afc6fb8ed861e2dcab9cd3d9e3f9d9d5be8c443855b2090cf1b2233c6d6edbbe56e7f895d0665e57b4d021895a17ff7839f30b318c89e9ac4c527af2fb7ac
DIST nprolog-3.22.tar.gz 586822 BLAKE2B ac2e3e468de38c9d503c4670fd6aa5c61b93cca3f44fbd8f3668cd070563615d3567e009141f52577352a231d8f8d2713f2fc85979ff7ebd383817e8bbd0a610 SHA512 5f80d4fc9d08172d8555c57c4dd466037b0c878ff13c20b413f45859a614c1fed8ed3e4c75f68a2b9309fd09601d1ca56fb66a3f2a14d6378d194e85f8873cad
+DIST nprolog-3.30.tar.gz 593861 BLAKE2B 878082729facd8dc74e1d0c8c9c7158b40446172f449915c1799fe1061c9d812fad61fe89d9f6da4e5a51f0dd8e9fed571e8b36f3342b7906de79be34697bee4 SHA512 7837a43328b5285f8184147f93add1135331ae768ceccf6259ce9d694f6bf0f0fea9ca004ec6f7c6d3c43d3c58be61eb016dbb5834fa3fd685ebb3c600c6342d
diff --git a/dev-lang/nprolog/nprolog-3.30.ebuild b/dev-lang/nprolog/nprolog-3.30.ebuild
new file mode 100644
index 000000000000..40d3b000da40
--- /dev/null
+++ b/dev-lang/nprolog/nprolog-3.30.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2024 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}.git"
+else
+ SRC_URI="https://github.com/sasagawa888/nprolog/archive/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="BSD-2"
+SLOT="0"
+
+DOCS=( README{,-ja}.md document )
+
+src_compile() {
+ emake CC="$(tc-getCC)" CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS}"
+}
+
+src_install() {
+ exeinto /usr/bin
+ doexe npl
+
+ insinto "/usr/share/${PN}"
+ doins -r example library
+
+ einstalldocs
+}