diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2025-08-03 14:18:41 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2025-08-03 15:26:56 +0200 |
| commit | 0311f4a0d2beea119c3e5c3b80aec51aba0d6da4 (patch) | |
| tree | d248c8bf835634a357cf16fe39ccf01110bd4a7b /dev-lang/nprolog/nprolog-4.55.ebuild | |
| parent | 9ac542ab238fe36ac64f1003a710b0a25e170126 (diff) | |
| download | gentoo-0311f4a0d2beea119c3e5c3b80aec51aba0d6da4.tar.gz gentoo-0311f4a0d2beea119c3e5c3b80aec51aba0d6da4.tar.bz2 gentoo-0311f4a0d2beea119c3e5c3b80aec51aba0d6da4.zip | |
dev-lang/nprolog: bump to 4.55
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/nprolog/nprolog-4.55.ebuild')
| -rw-r--r-- | dev-lang/nprolog/nprolog-4.55.ebuild | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/dev-lang/nprolog/nprolog-4.55.ebuild b/dev-lang/nprolog/nprolog-4.55.ebuild new file mode 100644 index 000000000000..7cd886b90578 --- /dev/null +++ b/dev-lang/nprolog/nprolog-4.55.ebuild @@ -0,0 +1,54 @@ +# 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="${LDFLAGS}" +} + +src_install() { + exeinto /usr/bin + doexe npl + + insinto "/usr/share/${PN}" + doins -r example library + + if use doc ; then + DOCS+=( document ) + + docompress -x "/usr/share/doc/${PF}/document" + fi + + einstalldocs +} |