dev-ml/mirage-profile: initial import

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
2022-04-03 09:55:42 +02:00
parent 7bfc312106
commit 2af0b71b5b
3 changed files with 54 additions and 0 deletions

View File

@@ -0,0 +1 @@
DIST mirage-profile-0.9.0.tar.gz 11633 BLAKE2B d55b73be2df42230666577be11e1c9138cadc8e1d895a1b58cec342adfac165c76a405298cd24d2d21e6caad12b9593599ba4c62c459e51cf9be58409edfb425 SHA512 9a1ba91cfe1454aa85a6f1f72c934d413a8bc4f4793689f309abeca9be22c66c3c3213e8d360ea62813c019e064573cb250d835656c6302429b8e7cbdb39fa2c

View File

@@ -0,0 +1,14 @@
<?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">mirage/mirage-profile</remote-id>
</upstream>
<use>
<flag name="xen">Adds a Xen MirageOS backend collector</flag>
</use>
</pkgmetadata>

View File

@@ -0,0 +1,39 @@
# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit dune multiprocessing
DESCRIPTION="Collect profiling information"
HOMEPAGE="https://github.com/mirage/mirage-profile"
SRC_URI="https://github.com/mirage/mirage-profile/archive/v${PV}.tar.gz -> mirage-profile-${PV}.tar.gz"
S="${WORKDIR}/mirage-profile-${PV}"
LICENSE="BSD-2"
SLOT="0/${PV}"
KEYWORDS="~amd64"
IUSE="ocamlopt xen"
RDEPEND="
dev-ml/mtime
dev-ml/io-page
dev-ml/ocplib-endian
xen? (
dev-ml/mirage-xen
dev-ml/xenstore
)
"
DEPEND="${RDEPEND}"
src_compile() {
local pkgs="mirage-profile-unix,mirage-profile"
use xen && pkgs="${pkgs},mirage-profile-xen"
dune build --only-packages "${pkgs}" -j $(makeopts_jobs) --profile release || die
}
src_install() {
dune_src_install mirage-profile mirage-profile-unix
use xen && dune_src_install mirage-profile-xen
}