summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2022-04-27 08:59:37 +0200
committerAlfredo Tupone <tupone@gentoo.org>2022-04-27 09:00:00 +0200
commit24d9c9b0c85b493ae5ca5ea452cacaa382f37ffa (patch)
tree730f15bac6e77d1f8d029195e21c6bdd5706b14e /dev-ml/core_unix
parentpackage.mask: add core_unix to janestreet mask (diff)
downloadgentoo-24d9c9b0c85b493ae5ca5ea452cacaa382f37ffa.tar.gz
gentoo-24d9c9b0c85b493ae5ca5ea452cacaa382f37ffa.tar.bz2
gentoo-24d9c9b0c85b493ae5ca5ea452cacaa382f37ffa.zip
dev-ml/core_unix: add to tree
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/core_unix')
-rw-r--r--dev-ml/core_unix/Manifest1
-rw-r--r--dev-ml/core_unix/core_unix-0.15.0.ebuild25
-rw-r--r--dev-ml/core_unix/metadata.xml11
3 files changed, 37 insertions, 0 deletions
diff --git a/dev-ml/core_unix/Manifest b/dev-ml/core_unix/Manifest
new file mode 100644
index 000000000000..182d7d23c228
--- /dev/null
+++ b/dev-ml/core_unix/Manifest
@@ -0,0 +1 @@
+DIST core_unix-0.15.0.tar.gz 377928 BLAKE2B 49b58471a28c356bdf39f15e22bd21ec4363182cf744c0455847ffc15015fdad2928a428986c2a9edff647ebef9f2ad2059b184b393e979119c8f007f67ec140 SHA512 eeb53bd0c06a7d1facfb133f0a45a232d57941eff644d4ed6c2d5002acd4e6b323376ec9c05838f760ebd9da3fbc39332989ed50b3921191c175811c947fcbfe
diff --git a/dev-ml/core_unix/core_unix-0.15.0.ebuild b/dev-ml/core_unix/core_unix-0.15.0.ebuild
new file mode 100644
index 000000000000..8ab4e487041f
--- /dev/null
+++ b/dev-ml/core_unix/core_unix-0.15.0.ebuild
@@ -0,0 +1,25 @@
+# Copyright 2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+inherit dune
+
+DESCRIPTION="Unix-specific portions of Core"
+HOMEPAGE="https://github.com/janestreet/core_unix"
+SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+DEPEND="
+ dev-ml/core_kernel:${SLOT}
+ dev-ml/expect_test_helpers_core:${SLOT}
+ dev-ml/ocaml_intrinsics:${SLOT}
+ dev-ml/timezone:${SLOT}
+ dev-ml/spawn:${SLOT}
+"
+RDEPEND="${DEPEND}"
+BDEPEND=""
diff --git a/dev-ml/core_unix/metadata.xml b/dev-ml/core_unix/metadata.xml
new file mode 100644
index 000000000000..75a95cdd0266
--- /dev/null
+++ b/dev-ml/core_unix/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">janestreet/core_unix</remote-id>
+ </upstream>
+</pkgmetadata>