diff --git a/dev-ml/configurator/Manifest b/dev-ml/configurator/Manifest new file mode 100644 index 0000000000..1f11339a65 --- /dev/null +++ b/dev-ml/configurator/Manifest @@ -0,0 +1 @@ +DIST configurator-0.11.0.tar.gz 10567 BLAKE2B 52d529233baa95ce00347d7e43a85127faefcaa2731c61d0c4b2e3e6314c7aa4a6ac6367ca57f6b846223af3d555309420f11c1e8240a93bbadce37157cfc52f SHA512 0163b8af41fb3b3b6f395bc507077c9a1043432e809c5a76dff929c51cbf9ab7df5de6f9c275ce2cda06314bc93bc58b0cad0a58512ce71a9e7722c5bd617102 diff --git a/dev-ml/configurator/configurator-0.11.0.ebuild b/dev-ml/configurator/configurator-0.11.0.ebuild new file mode 100644 index 0000000000..c8859268c4 --- /dev/null +++ b/dev-ml/configurator/configurator-0.11.0.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +DESCRIPTION="Helper library for gathering system configuration" +HOMEPAGE="https://github.com/janestreet/configurator" +SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt" + +RDEPEND=" + dev-ml/stdio + dev-ml/base +" +DEPEND="${RDEPEND}" + +src_compile() { + dune upgrade || die + dune build -p configurator -j $(makeopts_jobs) @install || die +} + +src_install() { + dune_src_install configurator +} diff --git a/dev-ml/configurator/metadata.xml b/dev-ml/configurator/metadata.xml new file mode 100644 index 0000000000..666c314ee5 --- /dev/null +++ b/dev-ml/configurator/metadata.xml @@ -0,0 +1,11 @@ + + + + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + janestreet/configurator + +