diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2019-08-02 19:14:55 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2019-08-02 19:14:55 +0100 |
commit | b24bd25253fe093f722ab576d29fdc41d04cb1ee (patch) | |
tree | 0fcf2afd9f852c4d4c291cf8afaa2c244d598105 /dev-ml/dune | |
parent | 121ed4eec41fbf03e1998d09eede1bf449da63b9 (diff) |
gentoo resync : 02.08.2019
Diffstat (limited to 'dev-ml/dune')
-rw-r--r-- | dev-ml/dune/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/dune/dune-1.7.2.ebuild | 37 | ||||
-rw-r--r-- | dev-ml/dune/metadata.xml | 11 |
3 files changed, 51 insertions, 0 deletions
diff --git a/dev-ml/dune/Manifest b/dev-ml/dune/Manifest new file mode 100644 index 000000000000..6a986fd802d6 --- /dev/null +++ b/dev-ml/dune/Manifest @@ -0,0 +1,3 @@ +DIST dune-1.7.2.tar.gz 666745 BLAKE2B 2edda7273f92bcb9c20b5cb9a8eee75ad33c3ce1bd88406dbd51256373c554b5442096fb74ba990ee2fcec784c19ab55099e70385f040e1055a30c925cf50987 SHA512 2d53fb910fdf8774fc9ef5343831311d1d4007fe5ef47a5084596b98dd8c89b7a404912e959753d6a8d7eb8b8a923d6a7bc74dad2cdb2c80d26b3fa48373658c +EBUILD dune-1.7.2.ebuild 768 BLAKE2B f1145e0b22edcc4e1508ae7214c0011d7e06f47ec0bb175882201c74ed38ea52fde08acab40d72cdcc924610d69c5b1a4787563d0f858d7e4033c0d44aeff4ee SHA512 78542aa9740e27b8d40d4a1d8e3830af0525a745d08efb0b6c3cf62cd8dc706d0c2f1ebc7d2ce2773a5598f54f0aa46459d0696d02711a446c1888cc4a9daf1b +MISC metadata.xml 322 BLAKE2B f2ec51b1449266da30a270b152a5fc3628e03e3d74b4af1f609da068b98ee3659b33094f787f5efb6fe60b779356bb50a3e6ad2314c3112c38b68562b3fd108f SHA512 7255ddef00376508b8381c76f1ce1789c99f13137e6a479051c1d1a089875168c2dc50e1f997125356181e0b13aa140098c62f7cda8807852254889b220cb3bc diff --git a/dev-ml/dune/dune-1.7.2.ebuild b/dev-ml/dune/dune-1.7.2.ebuild new file mode 100644 index 000000000000..f771167311a4 --- /dev/null +++ b/dev-ml/dune/dune-1.7.2.ebuild @@ -0,0 +1,37 @@ +# Copyright 2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit multiprocessing + +DESCRIPTION="A composable build system for OCaml" +HOMEPAGE="https://github.com/ocaml/dune" +SRC_URI="https://github.com/ocaml/dune/archive/1.7.2.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~x86" +IUSE="test" + +DEPEND="dev-lang/ocaml" +RDEPEND="${DEPEND} + !dev-ml/jbuilder" +BDEPEND="" + +RESTRICT="test" + +src_configure() { + ocaml configure.ml --libdir "${EPREFIX}/usr/$(get_libdir)/ocaml" || die +} + +src_compile() { + ocaml bootstrap.ml || die + ./boot.exe -j $(makeopts_jobs) || die +} + +src_install() { + default + mv "${D}"/usr/doc "${D}"/usr/share/doc/${PF} + mv "${D}"/usr/man "${D}"/usr/share/man +} diff --git a/dev-ml/dune/metadata.xml b/dev-ml/dune/metadata.xml new file mode 100644 index 000000000000..c5012bdb96b4 --- /dev/null +++ b/dev-ml/dune/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">ocaml/dune</remote-id> + </upstream> +</pkgmetadata> |