DUNE.ECLASS
Section: eclass-manpages (5)Updated: Dec 2024
Index Return to Main Contents
NAME
dune.eclass - Provides functions for installing Dune packages.DESCRIPTION
Provides dependencies on Dune and OCaml and default src_compile, src_test and src_install for Dune-based packages.SUPPORTED EAPIS
7 8FUNCTIONS
- edune <arg> ...
-
A thin wrapper for the `dune` command.
Runs `dune` with given arguments and dies on failure.
Example use:
edune clean
- dune-release <subcommand> [--target target] [package] ...
-
Run a selected subcommand for either all of dune packages in current
directory or only the selected packages. In case of all packages the package
detection is done via dune itself.
The `--target` option specifies a target for the selected subcommand,
it is primarily used for `dune build`, for more info see `man dune-build`.
Example use:
dune-release build --target @install menhir menhirLib menhirSdk
- dune-compile [package] ...
-
Builds either all of or selected dune packages in current directory.
Example use:
dune-compile menhir menhirLib menhirSdk
- dune-test [package] ...
-
Tests either all of or selected dune packages in current directory.
Example use:
dune-test menhir menhirLib menhirSdk
- dune-install <list of packages>
-
Installs the dune packages given as arguments. For each "${pkg}" element in
that list, "${pkg}.install" must be readable from "${PWD}/_build/default"
Example use:
dune-install menhir menhirLib menhirSdk
ECLASS VARIABLES
- DUNE_PKG_NAME ?= ${PN} (SET BEFORE INHERIT)
- Sets the actual Dune package name, if different from Gentoo package name. Set before inheriting the eclass.
AUTHORS
Rafael Kitover <rkitover@gmail.com>MAINTAINERS
rkitover@gmail.comMark Wright <gienah@gentoo.org>
ML <ml@gentoo.org>
REPORTING BUGS
Please report bugs via https://bugs.gentoo.org/FILES
dune.eclassSEE ALSO
ebuild(5)https://gitweb.gentoo.org/repo/gentoo.git/log/eclass/dune.eclass
Index
- NAME
- DESCRIPTION
- SUPPORTED EAPIS
- FUNCTIONS
- ECLASS VARIABLES
- AUTHORS
- MAINTAINERS
- REPORTING BUGS
- FILES
- SEE ALSO
This document was created by man2html, using the manual pages.
Time: 03:27:01 GMT, December 09, 2024