diff options
Diffstat (limited to 'dev-ml/dune/dune-3.7.1.ebuild')
-rw-r--r-- | dev-ml/dune/dune-3.7.1.ebuild | 68 |
1 files changed, 0 insertions, 68 deletions
diff --git a/dev-ml/dune/dune-3.7.1.ebuild b/dev-ml/dune/dune-3.7.1.ebuild deleted file mode 100644 index 794b4c3542f2..000000000000 --- a/dev-ml/dune/dune-3.7.1.ebuild +++ /dev/null @@ -1,68 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit multiprocessing elisp-common - -DESCRIPTION="A composable build system for OCaml" -HOMEPAGE="https://github.com/ocaml/dune" -SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="MIT" -SLOT="0/${PV}" -KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" -IUSE="emacs" -RESTRICT="strip test" - -RDEPEND=" - >=dev-lang/ocaml-4.08:= - emacs? ( >=app-editors/emacs-23.1:* ) -" -DEPEND="${RDEPEND}" - -QA_FLAGS_IGNORED="usr/bin/dune" - -BYTECOMPFLAGS="-L ${S}/editor-integration/emacs" -SITEFILE="50${PN}-gentoo.el" - -src_prepare() { - default - - # This allows `dune --version` to output the correct version - # instead of "n/a" - sed -i "/^(name dune)/a (version ${PV})" dune-project || die -} - -src_configure() { - ./configure \ - --libdir="$(ocamlc -where)" \ - --mandir=/usr/share/man \ - --docdir=/usr/doc \ - --etcdir=/etc \ - --datadir=/usr/share \ - --sbindir=/usr/sbin \ - --bindir=/usr/bin \ - || die -} - -src_compile() { - ocaml boot/bootstrap.ml -j $(makeopts_jobs) --verbose || die - ./_boot/dune.exe build @install -p "${PN}" --profile dune-bootstrap \ - -j $(makeopts_jobs) --display short || die - - use emacs && elisp-compile editor-integration/emacs/*.el -} - -src_install() { - default - - dodir /usr/share/doc - mv "${ED}"/usr/doc/dune "${ED}"/usr/share/doc/${PF} || die - rmdir "${ED}"/usr/doc || die - - if use emacs ; then - elisp-install ${PN} editor-integration/emacs/*.el{,c} - elisp-site-file-install "${FILESDIR}/${SITEFILE}" - fi -} |