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 8

FUNCTIONS

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.com
Mark Wright <gienah@gentoo.org>
ML <ml@gentoo.org>

REPORTING BUGS

Please report bugs via https://bugs.gentoo.org/

FILES

dune.eclass

SEE 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