diff options
Diffstat (limited to 'dev-ml/bos')
-rw-r--r-- | dev-ml/bos/Manifest | 6 | ||||
-rw-r--r-- | dev-ml/bos/bos-0.1.6.ebuild | 2 | ||||
-rw-r--r-- | dev-ml/bos/bos-0.2.0.ebuild | 42 | ||||
-rw-r--r-- | dev-ml/bos/metadata.xml | 5 |
4 files changed, 51 insertions, 4 deletions
diff --git a/dev-ml/bos/Manifest b/dev-ml/bos/Manifest index 448fe4b3b016..a8f0c8bfc4b7 100644 --- a/dev-ml/bos/Manifest +++ b/dev-ml/bos/Manifest @@ -1,3 +1,5 @@ DIST bos-0.1.6.tbz 39822 BLAKE2B 0e10eb14fb5d429b81c67659c936e8b700c4cd417d1f5be000c8bdb0304de8ad9130e597f6e2e7771380c29c148f4339817bacc458e72a8efa894be3b85965bf SHA512 f1f10a97a32da936a7d5a0c70632e723723ee523c79f9dfd23bc42c039a194e8d69658483e6e856c7911332b799a92bf8cabfe96cc387522d7450b8f3f8f8343 -EBUILD bos-0.1.6.ebuild 908 BLAKE2B 69e09f2bd6396583199d493a784e4d13700e8099b73ce077a435d768f5e99d88dbb70051682d1482681979d2a379c9bb1c06b6656b884bbd8384411ac7085210 SHA512 9293a745d50c277b3918405119363a43260ce9982ef998210d401ce83da240ac8d4aae29aa5cefe9f193ad0df419fe555639bfeab21751b45d69aad58704de4c -MISC metadata.xml 244 BLAKE2B 9e12f673e76e7b3faa5cd1c5e0c93aefcadb32fe5392de8774fc54061813b6c92b984d318323f6ab16e65c85f97dc4431566b51c6328dee64366180c0e3f29d4 SHA512 0a7454e598ba26bfcabdf5b4284903e17ce33dafd9d8b84603eba1425e37f3deaf8cffdf5656875b6c596b3fb75a2265f25556b5be2042dac71b82e956039b4b +DIST bos-0.2.0.tbz 41008 BLAKE2B badc344e561ba9335a4ded0c8100da91fe2bc882698c94daa42d9db2f1e2c8c627b81eebb5a7067778c332384504391ea402f7363ec552e8517cb048c8e384fe SHA512 f9120f8108c6da5647c9fbcc78736a5f87bf5627fad01035fdab1af6322c93e75df670d7d2910fe474c92c48ffffcf15955a84e698cfc7bfb7c1ac4fe27d472f +EBUILD bos-0.1.6.ebuild 913 BLAKE2B b7154f82a213870a29b03d7ce687b29d55d6d19bbcb2df0bb0df66bd416425b4b464bdfbde5e24f2ed3ba82d4f9ac5a0020cc51be3442f64c20a0c0fa234db45 SHA512 90116989a362a4fea13cb9831e040bc369786a0b1098f95f13cb9867e45164f422c2d21f768041cfb2ce7d1c097ecfd6d073ad7ec4521383b634ad85812a8859 +EBUILD bos-0.2.0.ebuild 918 BLAKE2B 6fee708d89ca615a5574745791753ccc1ecfa888b29cd9ff345a934cdbf04e31d9937376be181529a0450617615d3f67ad6a53f79d0f94d5787521f5420adf97 SHA512 fa4742dcff0daff633ace9e5370f57e6cf1864750aeafce22cfcafd1209b85970683907dc3f4c90698b22a1ae13784748f6f8490a0ab7b29e82a4806d9a9b53f +MISC metadata.xml 309 BLAKE2B 6f07391c31461926e2ab5f179ee58caa867b45d3939b4af1774bb45640da625c00f5213d27223f36112b6a829c43ce3d1767d3bf67aa4279332d509e71be14d2 SHA512 e4b7e3c953efe2237e67af3fe8a2e3c8bbd0b3a4fb7abbb724230bdc01e7a5bc2dfd970f72e330a87762dc19f93daf921a46fb7712e9cb21f11c237f4f65abd6 diff --git a/dev-ml/bos/bos-0.1.6.ebuild b/dev-ml/bos/bos-0.1.6.ebuild index 44b13d84de7a..3c9f713bc4d4 100644 --- a/dev-ml/bos/bos-0.1.6.ebuild +++ b/dev-ml/bos/bos-0.1.6.ebuild @@ -9,7 +9,7 @@ SRC_URI="https://erratique.ch/software/bos/releases/${P}.tbz" LICENSE="ISC" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" IUSE="test" RESTRICT="!test? ( test )" diff --git a/dev-ml/bos/bos-0.2.0.ebuild b/dev-ml/bos/bos-0.2.0.ebuild new file mode 100644 index 000000000000..f1bcc15aeb1a --- /dev/null +++ b/dev-ml/bos/bos-0.2.0.ebuild @@ -0,0 +1,42 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +DESCRIPTION="Basic OS interaction for OCaml" +HOMEPAGE="https://erratique.ch/software/bos https://github.com/dbuenzli/bos" +SRC_URI="https://erratique.ch/software/bos/releases/${P}.tbz" + +LICENSE="ISC" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="test" +RESTRICT="!test? ( test )" + +RDEPEND="dev-lang/ocaml:= + dev-ml/rresult:= + dev-ml/astring:= + dev-ml/fpath:= + dev-ml/fmt:= + dev-ml/logs:=" +DEPEND="${RDEPEND}" +BDEPEND="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 index 2188cca9ee4a..e9a40f8fd223 100644 --- a/dev-ml/bos/metadata.xml +++ b/dev-ml/bos/metadata.xml @@ -1,7 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <!-- maintainer-needed --> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> <upstream> <remote-id type="github">dbuenzli/bos</remote-id> </upstream> |