* [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/mirage-profile/
@ 2022-04-03 23:49 Alessandro Barbieri
0 siblings, 0 replies; 3+ messages in thread
From: Alessandro Barbieri @ 2022-04-03 23:49 UTC (permalink / raw
To: gentoo-commits
commit: 2af0b71b5b88f92fe10289f6d75e2628e5c60daa
Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
AuthorDate: Sun Apr 3 07:55:42 2022 +0000
Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
CommitDate: Sun Apr 3 23:46:08 2022 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=2af0b71b
dev-ml/mirage-profile: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>
dev-ml/mirage-profile/Manifest | 1 +
dev-ml/mirage-profile/metadata.xml | 14 ++++++++
.../mirage-profile/mirage-profile-0.9.0-r2.ebuild | 39 ++++++++++++++++++++++
3 files changed, 54 insertions(+)
diff --git a/dev-ml/mirage-profile/Manifest b/dev-ml/mirage-profile/Manifest
new file mode 100644
index 000000000..0add7acf4
--- /dev/null
+++ b/dev-ml/mirage-profile/Manifest
@@ -0,0 +1 @@
+DIST mirage-profile-0.9.0.tar.gz 11633 BLAKE2B d55b73be2df42230666577be11e1c9138cadc8e1d895a1b58cec342adfac165c76a405298cd24d2d21e6caad12b9593599ba4c62c459e51cf9be58409edfb425 SHA512 9a1ba91cfe1454aa85a6f1f72c934d413a8bc4f4793689f309abeca9be22c66c3c3213e8d360ea62813c019e064573cb250d835656c6302429b8e7cbdb39fa2c
diff --git a/dev-ml/mirage-profile/metadata.xml b/dev-ml/mirage-profile/metadata.xml
new file mode 100644
index 000000000..7f44c78f2
--- /dev/null
+++ b/dev-ml/mirage-profile/metadata.xml
@@ -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>
diff --git a/dev-ml/mirage-profile/mirage-profile-0.9.0-r2.ebuild b/dev-ml/mirage-profile/mirage-profile-0.9.0-r2.ebuild
new file mode 100644
index 000000000..b5f8080af
--- /dev/null
+++ b/dev-ml/mirage-profile/mirage-profile-0.9.0-r2.ebuild
@@ -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
+}
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/mirage-profile/
@ 2022-04-04 19:32 Alessandro Barbieri
0 siblings, 0 replies; 3+ messages in thread
From: Alessandro Barbieri @ 2022-04-04 19:32 UTC (permalink / raw
To: gentoo-commits
commit: c520e2c00225581421ac7b3cb9a9b4884e2d92df
Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
AuthorDate: Mon Apr 4 19:31:26 2022 +0000
Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
CommitDate: Mon Apr 4 19:32:04 2022 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=c520e2c0
dev-ml/mirage-profile: add 0.9.1, drop 0.9.0-r2
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>
dev-ml/mirage-profile/Manifest | 2 +-
.../{mirage-profile-0.9.0-r2.ebuild => mirage-profile-0.9.1.ebuild} | 0
2 files changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/mirage-profile/Manifest b/dev-ml/mirage-profile/Manifest
index 0add7acf4..fd038d650 100644
--- a/dev-ml/mirage-profile/Manifest
+++ b/dev-ml/mirage-profile/Manifest
@@ -1 +1 @@
-DIST mirage-profile-0.9.0.tar.gz 11633 BLAKE2B d55b73be2df42230666577be11e1c9138cadc8e1d895a1b58cec342adfac165c76a405298cd24d2d21e6caad12b9593599ba4c62c459e51cf9be58409edfb425 SHA512 9a1ba91cfe1454aa85a6f1f72c934d413a8bc4f4793689f309abeca9be22c66c3c3213e8d360ea62813c019e064573cb250d835656c6302429b8e7cbdb39fa2c
+DIST mirage-profile-0.9.1.tar.gz 11717 BLAKE2B decec88c0fd0eacbfe6a81c0d56c1d27c87a169ca6e4dec65cc7a15bfab600ad8ed11f46b428c4f3bdb2a915dc97d7a3cf40192b540a7246ff34ee3d77bc5330 SHA512 df13d3467309b62e05d34ac2161e6f575ec71c3eed647fc563e52419a9520e19584fa3647403ae0a94c185456a9558a4cafd11da5babfa5e41c7e85978fcd0fd
diff --git a/dev-ml/mirage-profile/mirage-profile-0.9.0-r2.ebuild b/dev-ml/mirage-profile/mirage-profile-0.9.1.ebuild
similarity index 100%
rename from dev-ml/mirage-profile/mirage-profile-0.9.0-r2.ebuild
rename to dev-ml/mirage-profile/mirage-profile-0.9.1.ebuild
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/mirage-profile/
@ 2022-04-15 21:36 Alessandro Barbieri
0 siblings, 0 replies; 3+ messages in thread
From: Alessandro Barbieri @ 2022-04-15 21:36 UTC (permalink / raw
To: gentoo-commits
commit: f3851a7d96994af358f02eed999309cb1d813090
Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
AuthorDate: Fri Apr 15 21:35:52 2022 +0000
Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
CommitDate: Fri Apr 15 21:36:18 2022 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=f3851a7d
dev-ml/mirage-profile: disable tests
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>
dev-ml/mirage-profile/mirage-profile-0.9.1.ebuild | 12 +++++++-----
1 file changed, 7 insertions(+), 5 deletions(-)
diff --git a/dev-ml/mirage-profile/mirage-profile-0.9.1.ebuild b/dev-ml/mirage-profile/mirage-profile-0.9.1.ebuild
index 341d92f63..2d84dc045 100644
--- a/dev-ml/mirage-profile/mirage-profile-0.9.1.ebuild
+++ b/dev-ml/mirage-profile/mirage-profile-0.9.1.ebuild
@@ -16,11 +16,11 @@ KEYWORDS="~amd64"
IUSE="ocamlopt unix" # xen
RDEPEND="
- dev-ml/cstruct
- dev-ml/lwt
- dev-ml/ocplib-endian
+ dev-ml/cstruct:=
+ dev-ml/lwt:=
+ dev-ml/ocplib-endian:=
- unix? ( dev-ml/mtime )
+ unix? ( dev-ml/mtime:= )
"
# xen? (
# dev-ml/io-page[xen]
@@ -30,9 +30,11 @@ RDEPEND="
# )
DEPEND="
${RDEPEND}
- dev-ml/cstruct[ppx]
+ dev-ml/cstruct:=[ppx]
"
+RESTRICT="test" # https://github.com/mirage/mirage-profile/issues/11
+
src_compile() {
local pkgs="mirage-profile"
# use xen && pkgs="${pkgs},mirage-profile-xen"
^ permalink raw reply related [flat|nested] 3+ messages in thread
end of thread, other threads:[~2022-04-15 21:36 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-04-03 23:49 [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/mirage-profile/ Alessandro Barbieri
-- strict thread matches above, loose matches on Subject: below --
2022-04-04 19:32 Alessandro Barbieri
2022-04-15 21:36 Alessandro Barbieri
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox