summaryrefslogtreecommitdiff
path: root/dev-ml/bos
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
committerV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
commit4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch)
treeba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/bos
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/bos')
-rw-r--r--dev-ml/bos/Manifest3
-rw-r--r--dev-ml/bos/bos-0.1.6.ebuild44
-rw-r--r--dev-ml/bos/metadata.xml11
3 files changed, 58 insertions, 0 deletions
diff --git a/dev-ml/bos/Manifest b/dev-ml/bos/Manifest
new file mode 100644
index 000000000000..279992eaf0cd
--- /dev/null
+++ b/dev-ml/bos/Manifest
@@ -0,0 +1,3 @@
+DIST bos-0.1.6.tbz 39822 SHA256 9abe76e0d94d1d912f0057dc3976c88d87ab9d5ba05d923c38c7b586e35f3afd SHA512 f1f10a97a32da936a7d5a0c70632e723723ee523c79f9dfd23bc42c039a194e8d69658483e6e856c7911332b799a92bf8cabfe96cc387522d7450b8f3f8f8343 WHIRLPOOL 0f2fca003dde8aebee99c5ab590e4f9e527eaa17464bd34b4c31a37c39e4b06c25568d4254028cd11a6328a93ffd96d161d9188deaffb82499943cd69960e9ea
+EBUILD bos-0.1.6.ebuild 858 SHA256 997c2ef3fb50d1517fb9761e53487965eef317dabcc20c09db4816d3d3e50e0c SHA512 99ab9b22603d2f3dca75a3bf0ab126c05d369f59b018f725e5e3b5b2dfe3e96e57085beb34080331811b62e98c2f8b2d98102b28cab97da9bf9c741a845d0437 WHIRLPOOL deef8f515e8e38d3305b48cb46c91b2104aec02590f392e1661d88ba027b29dc375e339c4c6b8ce76a6557eb60b3e4a12704682a2e36f56f1169159f5c8b37ec
+MISC metadata.xml 323 SHA256 089b6d2e46065bba314c0f225e74179399045f9d19a4dcc72ca85eb74efd06fc SHA512 8d903945ff97935331e380285d5853c9c26d7930f980836c52720449f8ad9272671d69e5607c6f7122b0f7059199b9d04ee483ec62e17eb7f5c9b2ea658960b6 WHIRLPOOL 946428cc79d7a4c42d12e46357ba815ab0a66d42f675b891385cc07afa9242806e3ce3ba2343be74746877fd56c4191266f82eef7a7f28ec110acf8def2837b3
diff --git a/dev-ml/bos/bos-0.1.6.ebuild b/dev-ml/bos/bos-0.1.6.ebuild
new file mode 100644
index 000000000000..a3b7dc553e2e
--- /dev/null
+++ b/dev-ml/bos/bos-0.1.6.ebuild
@@ -0,0 +1,44 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Basic OS interaction for OCaml"
+HOMEPAGE="http://erratique.ch/software/bos https://github.com/dbuenzli/bos"
+SRC_URI="http://erratique.ch/software/bos/releases/${P}.tbz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="test"
+
+RDEPEND="
+ dev-lang/ocaml:=
+ dev-ml/rresult:=
+ dev-ml/astring:=
+ dev-ml/fpath:=
+ dev-ml/fmt:=
+ dev-ml/logs:=
+"
+DEPEND="${RDEPEND}
+ dev-ml/findlib
+ dev-ml/ocamlbuild
+ dev-ml/topkg
+ test? ( dev-ml/mtime )
+"
+
+src_compile() {
+ ocaml pkg/pkg.ml build --tests $(usex test true false) || die
+}
+
+src_test() {
+ ocaml pkg/pkg.ml test || die
+}
+
+src_install() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ ${PN}.install || die
+}
diff --git a/dev-ml/bos/metadata.xml b/dev-ml/bos/metadata.xml
new file mode 100644
index 000000000000..9b594d778b1e
--- /dev/null
+++ b/dev-ml/bos/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="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+</maintainer>
+ <upstream>
+ <remote-id type="github">dbuenzli/bos</remote-id>
+ </upstream>
+</pkgmetadata>