diff options
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/dune/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/dune/dune-1.7.2.ebuild | 37 | ||||
-rw-r--r-- | dev-ml/dune/metadata.xml | 11 |
3 files changed, 49 insertions, 0 deletions
diff --git a/dev-ml/dune/Manifest b/dev-ml/dune/Manifest new file mode 100644 index 000000000000..9d7e2b12a79e --- /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 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> |