commit: b9d5d9070503414e7e4506d9097a8ba1355fd8f2 Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> AuthorDate: Thu Jul 25 18:43:37 2019 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Thu Jul 25 18:43:37 2019 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9d5d907
dev-ml/dune: add dev-ml/dune Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11 dev-ml/dune/Manifest | 1 + dev-ml/dune/dune-1.7.2.ebuild | 37 +++++++++++++++++++++++++++++++++++++ dev-ml/dune/metadata.xml | 11 +++++++++++ 3 files changed, 49 insertions(+) diff --git a/dev-ml/dune/Manifest b/dev-ml/dune/Manifest new file mode 100644 index 00000000000..9d7e2b12a79 --- /dev/null +++ b/dev-ml/dune/Manifest @@ -0,0 +1 @@ +DIST dune-1.7.2.tar.gz 666745 BLAKE2B 2edda7273f92bcb9c20b5cb9a8eee75ad33c3ce1bd88406dbd51256373c554b5442096fb74ba990ee2fcec784c19ab55099e70385f040e1055a30c925cf50987 SHA512 2d53fb910fdf8774fc9ef5343831311d1d4007fe5ef47a5084596b98dd8c89b7a404912e959753d6a8d7eb8b8a923d6a7bc74dad2cdb2c80d26b3fa48373658c 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 00000000000..f771167311a --- /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 00000000000..c5012bdb96b --- /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>[email protected]</email> + <name>Gentoo ML Project</name> + </maintainer> + <upstream> + <remote-id type="github">ocaml/dune</remote-id> + </upstream> +</pkgmetadata>
