dev-lang/elpi: bump to 1.17.4
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
parent
0ff5d2db1b
commit
92f9f81f2a
|
@ -1 +1,2 @@
|
|||
DIST elpi-1.17.0.tar.gz 2607106 BLAKE2B 7e6a2f1305ec69f93f7519bb8ced9e2b3d38106cf71a1506941f0c50e3af4959838fe01a092ddaad49f41de59aac34ff45c972099f1797d86ec2b446475c9391 SHA512 6539593bd4a4ff516f023601d4dbe10cf4c99d2fd99e5b6ed89da0a8d63f8c79fac0c667b11ca77e0ae618ec036c27a7adcefbd19fc26e6d11672b90f412654b
|
||||
DIST elpi-1.17.4.tar.gz 2609080 BLAKE2B 5280f0eed17b80abb1ce68613beb57bd9aba900c821b71d5f184f98c0042b69fa016426f35e531a106ae6597bbb11237b56bd38dcf08ed56cbca624f2afbdbe6 SHA512 0a4a85c967d4016c3cf4b6613e561b45b935aef3cec68fd4e3764cd7f64420cf41ce0562804b1647fef9ed2d564da737fabd9a3e42e2b9e70071be6f64a3a611
|
||||
|
|
|
@ -0,0 +1,47 @@
|
|||
# Copyright 1999-2023 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=8
|
||||
|
||||
inherit dune
|
||||
|
||||
DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
|
||||
HOMEPAGE="https://github.com/LPCIC/elpi/"
|
||||
|
||||
if [[ ${PV} == *9999* ]] ; then
|
||||
inherit git-r3
|
||||
EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git"
|
||||
else
|
||||
SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
|
||||
-> ${P}.tar.gz"
|
||||
KEYWORDS="~amd64"
|
||||
fi
|
||||
|
||||
LICENSE="LGPL-2.1+"
|
||||
SLOT="0/${PV}"
|
||||
IUSE="+ocamlopt test"
|
||||
RESTRICT="!test? ( test )"
|
||||
|
||||
RDEPEND="
|
||||
>=dev-lang/ocaml-4.08.0:=
|
||||
>=dev-ml/menhir-20211230:=
|
||||
dev-ml/atd:=
|
||||
dev-ml/ppx_deriving:=
|
||||
dev-ml/ppxlib:=
|
||||
dev-ml/re:=
|
||||
dev-ml/stdlib-shims:=
|
||||
"
|
||||
DEPEND="${RDEPEND}"
|
||||
BDEPEND="
|
||||
test? (
|
||||
dev-ml/ANSITerminal
|
||||
dev-ml/cmdliner
|
||||
)
|
||||
"
|
||||
|
||||
DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
|
||||
|
||||
src_install() {
|
||||
dune_src_install
|
||||
einstalldocs
|
||||
}
|
Loading…
Reference in New Issue