diff options
| author |   Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2022-04-03 10:08:24 +0200 |
|---|---|---|
| committer | Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2022-04-04 01:46:08 +0200 |
| commit | bb6d985074c6387fb5ac2046346e55a87d433238 (patch) | |
| tree | a3bef9de7c830a627f815f6eacfa42320cafdbe0 | |
| parent | dev-ml/mirage: initial import (diff) | |
| download | guru-bb6d9850.tar.gz guru-bb6d9850.tar.bz2 guru-bb6d9850.zip | |
dev-ml/mirage-xen: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
| -rw-r--r-- | dev-ml/mirage-xen/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/mirage-xen/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-ml/mirage-xen/mirage-xen-7.2.0.ebuild | 31 |
3 files changed, 43 insertions, 0 deletions
diff --git a/dev-ml/mirage-xen/Manifest b/dev-ml/mirage-xen/Manifest new file mode 100644 index 0000000000..8375dc58c3 --- /dev/null +++ b/dev-ml/mirage-xen/Manifest @@ -0,0 +1 @@ +DIST mirage-xen-7.2.0.tar.gz 236615 BLAKE2B f26d3406ef60b9b5e3587fb8eb1988cf7f3709e80a411ca4392335e33cadeb6a1142ca1594543d482497c75950ddcdcf95751de3db29b555ad82cee72ad47621 SHA512 191859b823e9be13c425eeaec9d065b3173821b1f2c9d9bedeab1cb4f1e33baa772fda7cac041cbc112bbdfec8f90634b2275a26b58f1fd8ac72f7671d6f59d3 diff --git a/dev-ml/mirage-xen/metadata.xml b/dev-ml/mirage-xen/metadata.xml new file mode 100644 index 0000000000..7ea63047a4 --- /dev/null +++ b/dev-ml/mirage-xen/metadata.xml @@ -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">mirage/mirage-xen</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/mirage-xen/mirage-xen-7.2.0.ebuild b/dev-ml/mirage-xen/mirage-xen-7.2.0.ebuild new file mode 100644 index 0000000000..7fa45f0d7d --- /dev/null +++ b/dev-ml/mirage-xen/mirage-xen-7.2.0.ebuild @@ -0,0 +1,31 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Xen core platform libraries for MirageOS" +HOMEPAGE="https://github.com/mirage/mirage-xen" +SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="ISC" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt" + +RDEPEND=" + dev-ml/bheap + dev-ml/cstruct + dev-ml/duration + dev-ml/fmt + dev-ml/io-page + dev-ml/logs + dev-ml/lwt + dev-ml/lwt-dllist + dev-ml/mirage + dev-ml/mirage-profile + dev-ml/shared-memory-ring + dev-ml/xenstore +" +DEPEND="${RDEPEND}" |