Gentoo Archives: gentoo-commits

From: Alessandro Barbieri <lssndrbarbieri@×××××.com>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/mirage-xen/
Date: Sun, 03 Apr 2022 23:49:49
Message-Id: 1649029568.bb6d985074c6387fb5ac2046346e55a87d433238.Alessandro-Barbieri@gentoo
1 commit: bb6d985074c6387fb5ac2046346e55a87d433238
2 Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
3 AuthorDate: Sun Apr 3 08:08:24 2022 +0000
4 Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
5 CommitDate: Sun Apr 3 23:46:08 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=bb6d9850
7
8 dev-ml/mirage-xen: initial import
9
10 Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>
11
12 dev-ml/mirage-xen/Manifest | 1 +
13 dev-ml/mirage-xen/metadata.xml | 11 +++++++++++
14 dev-ml/mirage-xen/mirage-xen-7.2.0.ebuild | 31 +++++++++++++++++++++++++++++++
15 3 files changed, 43 insertions(+)
16
17 diff --git a/dev-ml/mirage-xen/Manifest b/dev-ml/mirage-xen/Manifest
18 new file mode 100644
19 index 000000000..8375dc58c
20 --- /dev/null
21 +++ b/dev-ml/mirage-xen/Manifest
22 @@ -0,0 +1 @@
23 +DIST mirage-xen-7.2.0.tar.gz 236615 BLAKE2B f26d3406ef60b9b5e3587fb8eb1988cf7f3709e80a411ca4392335e33cadeb6a1142ca1594543d482497c75950ddcdcf95751de3db29b555ad82cee72ad47621 SHA512 191859b823e9be13c425eeaec9d065b3173821b1f2c9d9bedeab1cb4f1e33baa772fda7cac041cbc112bbdfec8f90634b2275a26b58f1fd8ac72f7671d6f59d3
24
25 diff --git a/dev-ml/mirage-xen/metadata.xml b/dev-ml/mirage-xen/metadata.xml
26 new file mode 100644
27 index 000000000..7ea63047a
28 --- /dev/null
29 +++ b/dev-ml/mirage-xen/metadata.xml
30 @@ -0,0 +1,11 @@
31 +<?xml version="1.0" encoding="UTF-8"?>
32 +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
33 +<pkgmetadata>
34 + <maintainer type="person">
35 + <email>lssndrbarbieri@×××××.com</email>
36 + <name>Alessandro Barbieri</name>
37 + </maintainer>
38 + <upstream>
39 + <remote-id type="github">mirage/mirage-xen</remote-id>
40 + </upstream>
41 +</pkgmetadata>
42
43 diff --git a/dev-ml/mirage-xen/mirage-xen-7.2.0.ebuild b/dev-ml/mirage-xen/mirage-xen-7.2.0.ebuild
44 new file mode 100644
45 index 000000000..7fa45f0d7
46 --- /dev/null
47 +++ b/dev-ml/mirage-xen/mirage-xen-7.2.0.ebuild
48 @@ -0,0 +1,31 @@
49 +# Copyright 1999-2022 Gentoo Authors
50 +# Distributed under the terms of the GNU General Public License v2
51 +
52 +EAPI=8
53 +
54 +inherit dune
55 +
56 +DESCRIPTION="Xen core platform libraries for MirageOS"
57 +HOMEPAGE="https://github.com/mirage/mirage-xen"
58 +SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
59 +
60 +LICENSE="ISC"
61 +SLOT="0/${PV}"
62 +KEYWORDS="~amd64"
63 +IUSE="ocamlopt"
64 +
65 +RDEPEND="
66 + dev-ml/bheap
67 + dev-ml/cstruct
68 + dev-ml/duration
69 + dev-ml/fmt
70 + dev-ml/io-page
71 + dev-ml/logs
72 + dev-ml/lwt
73 + dev-ml/lwt-dllist
74 + dev-ml/mirage
75 + dev-ml/mirage-profile
76 + dev-ml/shared-memory-ring
77 + dev-ml/xenstore
78 +"
79 +DEPEND="${RDEPEND}"