summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2022-07-01 08:54:40 +0200
committerAlfredo Tupone <tupone@gentoo.org>2022-07-01 08:54:57 +0200
commit5e0496e8059f4acf03ef84f01a8d61532699ca4b (patch)
tree58af9993df80a47179084ccec1da41f81c32ef15
parentdev-python/pikepdf: Add missing dep on deprecation (diff)
downloadgentoo-5e0496e8.tar.gz
gentoo-5e0496e8.tar.bz2
gentoo-5e0496e8.zip
dev-ml/batteries: select byte or native from ocamlopt
Closes: https://bugs.gentoo.org/843116 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
-rw-r--r--dev-ml/batteries/batteries-3.4.0.ebuild4
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-ml/batteries/batteries-3.4.0.ebuild b/dev-ml/batteries/batteries-3.4.0.ebuild
index c2f48c5b9535..7ed00dd97cf9 100644
--- a/dev-ml/batteries/batteries-3.4.0.ebuild
+++ b/dev-ml/batteries/batteries-3.4.0.ebuild
@@ -22,6 +22,10 @@ BDEPEND="dev-ml/ocamlbuild"
S="${WORKDIR}"/batteries-included-${PV}
+src_compile() {
+ emake BATTERIES_NATIVE=$(usex ocamlopt yes no)
+}
+
src_install() {
findlib_src_install
}