mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-19 20:13:01 -04:00
dev-ml/mirage-unix: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
1
dev-ml/mirage-unix/Manifest
Normal file
1
dev-ml/mirage-unix/Manifest
Normal file
@@ -0,0 +1 @@
|
||||
DIST mirage-unix-v5.0.0.tar.gz 9801 BLAKE2B c34426db046b5578f2f9130c16a5fbcf93f5c79b76da7009836d96c6476a3f4fb5e2de25ff8a595cbddb6f61527a9140322afefd1de978888fe8731434bd9907 SHA512 5ca5dc54d9e3eac5b94f59d44b70eb89b3595fb0d09368b8f9fe64f97837bc6675c9319993bde21210dec04806e6f73f0c0a93e7f183b1508941d9844c1ab5d3
|
||||
11
dev-ml/mirage-unix/metadata.xml
Normal file
11
dev-ml/mirage-unix/metadata.xml
Normal file
@@ -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-unix</remote-id>
|
||||
</upstream>
|
||||
</pkgmetadata>
|
||||
26
dev-ml/mirage-unix/mirage-unix-5.0.0.ebuild
Normal file
26
dev-ml/mirage-unix/mirage-unix-5.0.0.ebuild
Normal file
@@ -0,0 +1,26 @@
|
||||
# Copyright 1999-2022 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=8
|
||||
|
||||
inherit dune
|
||||
|
||||
MYP="${PN}-v${PV}"
|
||||
|
||||
DESCRIPTION="Unix core platform libraries for MirageOS"
|
||||
HOMEPAGE="https://github.com/mirage/mirage-unix"
|
||||
SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${MYP}.tar.gz"
|
||||
S="${WORKDIR}/${MYP}"
|
||||
|
||||
LICENSE="ISC"
|
||||
SLOT="0/${PV}"
|
||||
KEYWORDS="~amd64"
|
||||
IUSE="ocamlopt"
|
||||
|
||||
RDEPEND="
|
||||
dev-ml/duration
|
||||
dev-ml/io-page
|
||||
dev-ml/lwt
|
||||
dev-ml/mirage
|
||||
"
|
||||
DEPEND="${RDEPEND}"
|
||||
Reference in New Issue
Block a user