commit: 431c0a24bed93846d921d35408234be77ec2e648 Author: Thomas Bracht Laumann Jespersen <t <AT> laumann <DOT> xyz> AuthorDate: Thu Oct 9 12:24:06 2025 +0000 Commit: Thomas Bracht Laumann Jespersen <t <AT> laumann <DOT> xyz> CommitDate: Fri Oct 10 14:02:01 2025 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=431c0a24
dev-ml/lua-ml: new package, add 0.9.4 Signed-off-by: Thomas Bracht Laumann Jespersen <t <AT> laumann.xyz> dev-ml/lua-ml/Manifest | 1 + dev-ml/lua-ml/lua-ml-0.9.4.ebuild | 21 +++++++++++++++++++++ dev-ml/lua-ml/metadata.xml | 11 +++++++++++ 3 files changed, 33 insertions(+) diff --git a/dev-ml/lua-ml/Manifest b/dev-ml/lua-ml/Manifest new file mode 100644 index 0000000000..8724a419a8 --- /dev/null +++ b/dev-ml/lua-ml/Manifest @@ -0,0 +1 @@ +DIST lua-ml-0.9.4.gh.tar.gz 263066 BLAKE2B 9d92625710d0d2e4d2797da280eb2288e5f6e14e5a3eb834089184f1eaca31909f8b0b95d66ae65b706d0296386cea7ee02b08f381fea0edb3ca643dae18aeca SHA512 3127b73bff078a40825fc5216559e3fe37fb1c4faf0121adc3a06acac6fb77dec82ba150d1f78ac1953266720ea3bedd4f7e2b21ddce1e0250417b36e1327eee diff --git a/dev-ml/lua-ml/lua-ml-0.9.4.ebuild b/dev-ml/lua-ml/lua-ml-0.9.4.ebuild new file mode 100644 index 0000000000..5d240d723f --- /dev/null +++ b/dev-ml/lua-ml/lua-ml-0.9.4.ebuild @@ -0,0 +1,21 @@ +# Copyright 2025 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="An embeddable Lua 2.5 interpreter implemented in OCaml" +HOMEPAGE="https://github.com/lindig/lua-ml"; +SRC_URI="https://github.com/lindig/${PN}/archive/${PV}.tar.gz -> ${P}.gh.tar.gz" + +LICENSE="BSD" +SLOT="0" +KEYWORDS="~amd64" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-4.7:=[ocamlopt?] + dev-ml/menhir:=[ocamlopt?] +" +DEPEND="${RDEPEND}" diff --git a/dev-ml/lua-ml/metadata.xml b/dev-ml/lua-ml/metadata.xml new file mode 100644 index 0000000000..792f5b4d30 --- /dev/null +++ b/dev-ml/lua-ml/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> +<pkgmetadata> + <maintainer type="person"> + <email>[email protected]</email> + <name>Thomas Bracht Laumann Jespersen</name> + </maintainer> + <upstream> + <remote-id type="github">lindig/lua-ml</remote-id> + </upstream> +</pkgmetadata>
