mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-19 03:53:22 -04:00
dev-ml/configurator: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
1
dev-ml/configurator/Manifest
Normal file
1
dev-ml/configurator/Manifest
Normal file
@@ -0,0 +1 @@
|
||||
DIST configurator-0.11.0.tar.gz 10567 BLAKE2B 52d529233baa95ce00347d7e43a85127faefcaa2731c61d0c4b2e3e6314c7aa4a6ac6367ca57f6b846223af3d555309420f11c1e8240a93bbadce37157cfc52f SHA512 0163b8af41fb3b3b6f395bc507077c9a1043432e809c5a76dff929c51cbf9ab7df5de6f9c275ce2cda06314bc93bc58b0cad0a58512ce71a9e7722c5bd617102
|
||||
30
dev-ml/configurator/configurator-0.11.0.ebuild
Normal file
30
dev-ml/configurator/configurator-0.11.0.ebuild
Normal file
@@ -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
|
||||
}
|
||||
11
dev-ml/configurator/metadata.xml
Normal file
11
dev-ml/configurator/metadata.xml
Normal file
@@ -0,0 +1,11 @@
|
||||
<?xml version='1.0' encoding='UTF-8'?>
|
||||
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
|
||||
<pkgmetadata>
|
||||
<maintainer type="person">
|
||||
<email>lssndrbarbieri@gmail.com</email>
|
||||
<name>Alessandro Barbieri</name>
|
||||
</maintainer>
|
||||
<upstream>
|
||||
<remote-id type="github">janestreet/configurator</remote-id>
|
||||
</upstream>
|
||||
</pkgmetadata>
|
||||
Reference in New Issue
Block a user