mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2025-12-21 21:17:37 -08:00
dev-ml/atd: install whole atd stack
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
parent
470d427691
commit
ca52f79efa
@ -24,18 +24,30 @@ RDEPEND="
|
|||||||
dev-ml/re:=
|
dev-ml/re:=
|
||||||
dev-ml/yojson:=
|
dev-ml/yojson:=
|
||||||
"
|
"
|
||||||
DEPEND="${RDEPEND}"
|
DEPEND="
|
||||||
|
${RDEPEND}
|
||||||
|
"
|
||||||
|
|
||||||
|
DUNE_PACKAGES=(
|
||||||
|
atd
|
||||||
|
atdgen
|
||||||
|
atdgen-codec-runtime
|
||||||
|
atdgen-runtime
|
||||||
|
atdj
|
||||||
|
atdpy
|
||||||
|
atds
|
||||||
|
atdts
|
||||||
|
)
|
||||||
|
|
||||||
|
src_compile() {
|
||||||
|
dune-compile "${DUNE_PACKAGES[@]}"
|
||||||
|
}
|
||||||
|
|
||||||
|
src_test() {
|
||||||
|
nonfatal dune_src_test
|
||||||
|
}
|
||||||
|
|
||||||
src_install() {
|
src_install() {
|
||||||
dune_src_install \
|
dune-install "${DUNE_PACKAGES[@]}"
|
||||||
atd \
|
einstalldocs
|
||||||
atdgen \
|
|
||||||
atdgen-codec-runtime \
|
|
||||||
atdgen-runtime \
|
|
||||||
atdj \
|
|
||||||
atdpy \
|
|
||||||
atds \
|
|
||||||
atdts
|
|
||||||
|
|
||||||
dodoc CHANGES.md CONTRIBUTING.md README.md
|
|
||||||
}
|
}
|
||||||
Loading…
x
Reference in New Issue
Block a user