1 |
commit: e01b8b1ea9337b3e349e362090a55383fd875f7d |
2 |
Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> |
3 |
AuthorDate: Sun Apr 3 08:07:04 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=e01b8b1e |
7 |
|
8 |
dev-ml/mirage: initial import |
9 |
|
10 |
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com> |
11 |
|
12 |
dev-ml/mirage/Manifest | 1 + |
13 |
dev-ml/mirage/metadata.xml | 11 +++++++++++ |
14 |
dev-ml/mirage/mirage-4.0.0.ebuild | 40 +++++++++++++++++++++++++++++++++++++++ |
15 |
3 files changed, 52 insertions(+) |
16 |
|
17 |
diff --git a/dev-ml/mirage/Manifest b/dev-ml/mirage/Manifest |
18 |
new file mode 100644 |
19 |
index 000000000..4f9f671b8 |
20 |
--- /dev/null |
21 |
+++ b/dev-ml/mirage/Manifest |
22 |
@@ -0,0 +1 @@ |
23 |
+DIST mirage-4.0.0.tar.gz 180609 BLAKE2B 2511b6ab05cf41ed13ef9f961815ddc0da9e823f7ae7bf9a66e911b55171686a3cf675a6ff0402baf0e78267387fda9a9c7bb795aeb37a9577c0d09d3c064789 SHA512 ca9ddacc473a56f2d81bdf8a4d61c701f9eeb780d0a6ce2125bdced4f8ff7b9a1d778582059729501cfc29475e97802f1143f16907d5d91494ac8d25cb6e3b95 |
24 |
|
25 |
diff --git a/dev-ml/mirage/metadata.xml b/dev-ml/mirage/metadata.xml |
26 |
new file mode 100644 |
27 |
index 000000000..5e2dbfb0b |
28 |
--- /dev/null |
29 |
+++ b/dev-ml/mirage/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</remote-id> |
40 |
+ </upstream> |
41 |
+</pkgmetadata> |
42 |
|
43 |
diff --git a/dev-ml/mirage/mirage-4.0.0.ebuild b/dev-ml/mirage/mirage-4.0.0.ebuild |
44 |
new file mode 100644 |
45 |
index 000000000..f8f71c538 |
46 |
--- /dev/null |
47 |
+++ b/dev-ml/mirage/mirage-4.0.0.ebuild |
48 |
@@ -0,0 +1,40 @@ |
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="MirageOS is a library operating system that constructs unikernels" |
57 |
+HOMEPAGE=" |
58 |
+ https://mirage.io/ |
59 |
+ https://github.com/mirage/mirage |
60 |
+" |
61 |
+SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" |
62 |
+ |
63 |
+LICENSE="ISC" |
64 |
+SLOT="0/${PV}" |
65 |
+KEYWORDS="~amd64" |
66 |
+IUSE="ocamlopt" |
67 |
+ |
68 |
+RDEPEND=" |
69 |
+ dev-ml/ipaddr |
70 |
+ dev-ml/bos |
71 |
+ dev-ml/astring |
72 |
+ dev-ml/logs |
73 |
+ dev-ml/lwt |
74 |
+ dev-ml/emile |
75 |
+ dev-ml/cmdliner |
76 |
+ dev-ml/base |
77 |
+ dev-ml/result |
78 |
+ dev-ml/rresult |
79 |
+ dev-ml/uri |
80 |
+" |
81 |
+DEPEND="${RDEPEND}" |
82 |
+ |
83 |
+src_install() { |
84 |
+ dune_src_install mirage |
85 |
+ dune_src_install mirage-runtime |
86 |
+ dune_src_install functoria |
87 |
+ dune_src_install functoria-runtime |
88 |
+} |