diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-12-27 07:43:26 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-12-27 07:43:26 +0000 |
commit | d4ce53f1e327bfbbc32e193e0f495b0e826c61e5 (patch) | |
tree | eaee0038a45a76debf2097852b1fb076440f6cbf /dev-lang/elpi/elpi-1.16.10.ebuild | |
parent | a2210d6624510ad5825191a26603b73bbc096b98 (diff) |
gentoo auto-resync : 27:12:2023 - 07:43:26
Diffstat (limited to 'dev-lang/elpi/elpi-1.16.10.ebuild')
-rw-r--r-- | dev-lang/elpi/elpi-1.16.10.ebuild | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/dev-lang/elpi/elpi-1.16.10.ebuild b/dev-lang/elpi/elpi-1.16.10.ebuild deleted file mode 100644 index 184849b51e67..000000000000 --- a/dev-lang/elpi/elpi-1.16.10.ebuild +++ /dev/null @@ -1,47 +0,0 @@ -# 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 -} |