summaryrefslogtreecommitdiff
path: root/dev-ml/dune/dune-1.7.2.ebuild
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/dune/dune-1.7.2.ebuild')
-rw-r--r--dev-ml/dune/dune-1.7.2.ebuild37
1 files changed, 0 insertions, 37 deletions
diff --git a/dev-ml/dune/dune-1.7.2.ebuild b/dev-ml/dune/dune-1.7.2.ebuild
deleted file mode 100644
index 0805c0c0d01b..000000000000
--- a/dev-ml/dune/dune-1.7.2.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# 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
-}