diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/configurator | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/configurator')
| -rw-r--r-- | dev-ml/configurator/Manifest | 5 | ||||
| -rw-r--r-- | dev-ml/configurator/configurator-0.9.0.ebuild | 32 | ||||
| -rw-r--r-- | dev-ml/configurator/configurator-0.9.1.ebuild | 32 | ||||
| -rw-r--r-- | dev-ml/configurator/metadata.xml | 11 |
4 files changed, 80 insertions, 0 deletions
diff --git a/dev-ml/configurator/Manifest b/dev-ml/configurator/Manifest new file mode 100644 index 000000000000..03be03693c53 --- /dev/null +++ b/dev-ml/configurator/Manifest @@ -0,0 +1,5 @@ +DIST configurator-0.9.0.tar.gz 10221 SHA256 05e2f6f7bd92cfda01a95f3993db75e8c377434bc10ebad71f34dad610b4de5a SHA512 3ed50093ecdeabd1e9bf7eeb99305fa64f2166093c75d616d627eb5aeb0df07092f7b43234140cba6ecec5c0e876d45f8e72b65f00b3486efa2bc5576252199e WHIRLPOOL e30c18e188403142de1fb021f0f1fac7f919343dedc6ee31cc4155fcdd38f4a274ed7e2bcf68fce86e4011acf7b76eeb3629c496fa9aaff48a850a50277831db +DIST configurator-0.9.1.tar.gz 10231 SHA256 f93c68f4d9d2939555fdcfb5ad02cd06bbfc116374bdfb7779d80f2ab1affb96 SHA512 43d864d3317241dd66829747dd956ac42614cc687bbca23e2575cb1b3ab9d0c628dfbdd8f026bcd4d76cb87cf282d955d6a90f0e69543ee1ee1f01a1efa9b54b WHIRLPOOL 1b771aff10a9676ce2fab2c24057f612c414e211c504ee63fd54652dab6edc2d1d35708643bee98764677ba85811650e93ddd720c06cefc4af8e431061643d10 +EBUILD configurator-0.9.0.ebuild 749 SHA256 940776536c323ed9ddc6d757b85d0b90c1e2481bb88c36b53b71ade805e39aed SHA512 a660317829309b297cbf29241cb005526da5f380b976ebbc0ce01c0599432f4df32d214ed3ea0e479b09f41e7fd6da2c995f827fe658a654ec903afba55792f0 WHIRLPOOL 7e97362ad2e752e3c6cf9240308cac9387a87a4d1b1d853b43f3881933bb7fdf9a64d4eb7211cc3ceb2e87923db3a56d3defdd60868fb0ce9b8e83655cecda1a +EBUILD configurator-0.9.1.ebuild 754 SHA256 a78def02ed449fb8c6df8b0fb60faa988bcc2e37cd5d0b9e7129ba1c3c5791f4 SHA512 b8b2b397ad20fd75a4664db3ce95e1d597bc29a834f5b0c3063fa40408e9f005e7c57aab8c0e44c511e107101552126ef6b45dfca4f6e7c7a604d3bc0e8d68bf WHIRLPOOL 7268d1ee0729737bec9eacdcf7145d23d1be477078220fce2b62689950311bd259fad586cfb75322b61b2e919a4a7c4a062fd9a8e7d6395521e559070f4e971a +MISC metadata.xml 335 SHA256 cf20f61f1453d82fa97c15fd60f572d8d2fee29fc608dd6e3fbe28f14e32a668 SHA512 661360e00a85c70e5d1b28e2a4003d34fef28daa0e3efb909ac9bb748829e43ed50f5307d19c86e5c19142f64e1ab769845c583a45a2b4b93a9ddf2371ed96bb WHIRLPOOL 56ef12d21ca224e66e669d6f3de103c3b25b56cc61ba86c1f1e7cd8d6414a2f9eb832c8d501b87a7a89f46c2d6de6ccdcf859cfd49d25c3a8d32c83d11320f77 diff --git a/dev-ml/configurator/configurator-0.9.0.ebuild b/dev-ml/configurator/configurator-0.9.0.ebuild new file mode 100644 index 000000000000..2d78c8695c78 --- /dev/null +++ b/dev-ml/configurator/configurator-0.9.0.ebuild @@ -0,0 +1,32 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Helper library for gathering system configuration" +HOMEPAGE="https://github.com/janestreet/configurator" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND=" + dev-lang/ocaml:= + dev-ml/base:= + dev-ml/ppx_base:= + dev-ml/ppx_driver:= + dev-ml/stdio:= + dev-ml/ocaml-migrate-parsetree:= + " +RDEPEND="${DEPEND}" +DEPEND="${DEPEND} dev-ml/opam dev-ml/jbuilder" + +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/configurator/configurator-0.9.1.ebuild b/dev-ml/configurator/configurator-0.9.1.ebuild new file mode 100644 index 000000000000..716cc43af9a2 --- /dev/null +++ b/dev-ml/configurator/configurator-0.9.1.ebuild @@ -0,0 +1,32 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Helper library for gathering system configuration" +HOMEPAGE="https://github.com/janestreet/configurator" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc" +IUSE="" + +DEPEND=" + dev-lang/ocaml:= + dev-ml/base:= + dev-ml/ppx_base:= + dev-ml/ppx_driver:= + dev-ml/stdio:= + dev-ml/ocaml-migrate-parsetree:= + " +RDEPEND="${DEPEND}" +DEPEND="${DEPEND} dev-ml/opam dev-ml/jbuilder" + +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/configurator/metadata.xml b/dev-ml/configurator/metadata.xml new file mode 100644 index 000000000000..24f2767a0bc5 --- /dev/null +++ b/dev-ml/configurator/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">janestreet/configurator</remote-id> + </upstream> +</pkgmetadata> |