diff options
Diffstat (limited to 'dev-ml/batteries')
| -rw-r--r-- | dev-ml/batteries/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/batteries/batteries-3.5.1.ebuild | 31 |
2 files changed, 32 insertions, 0 deletions
diff --git a/dev-ml/batteries/Manifest b/dev-ml/batteries/Manifest index 6f2029dda661..1b62bb6f9c84 100644 --- a/dev-ml/batteries/Manifest +++ b/dev-ml/batteries/Manifest @@ -1 +1,2 @@ DIST batteries-3.4.0.tar.gz 827778 BLAKE2B 569ce623ceb4272de784400540969a08d569a9b42e281f8001f046733a0fab6f50f4c195b8a8eec7f2e63209a1b882d6703843f76ec9adbfeb42d11e09b31f81 SHA512 e7a6e258430ec5bb97a1e83c7eb666c970db8bce82de4bf809797cf5e330ea987fe685008c4adb0ac4787c4cc6a1be06f6eae5a7ca856a1a0f83aa35716c23bd +DIST batteries-3.5.1.tar.gz 835112 BLAKE2B 29602093e5d3789a2b80e1c36e2d5b29d9c286c1bcd272f84d71660eb2014b7dea82c25543c17656987f5d0870628a4af83eaace30f7edef960f8956b26eeb91 SHA512 36c8561079aa9fefc864c2f03bd8ae20aa05987bb67e7a9beac3ab4f440dbf7d44f141c172b05fddb1a5b618fc55a27962bb45fc39bd7b3a15d56e0ed3ff3870 diff --git a/dev-ml/batteries/batteries-3.5.1.ebuild b/dev-ml/batteries/batteries-3.5.1.ebuild new file mode 100644 index 000000000000..3ba6fc834d33 --- /dev/null +++ b/dev-ml/batteries/batteries-3.5.1.ebuild @@ -0,0 +1,31 @@ +# Copyright 2021-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit findlib + +DESCRIPTION="A community-maintained standard library extension" +HOMEPAGE="https://github.com/ocaml-batteries-team/batteries-included/" +SRC_URI="https://github.com/ocaml-batteries-team/batteries-included/archive/v${PV}.tar.gz + -> ${P}.tar.gz" +S="${WORKDIR}"/batteries-included-${PV} + +LICENSE="LGPL-2.1-with-linking-exception" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +RESTRICT="test" + +RDEPEND=" + ${DEPEND} + dev-ml/num:= +" +BDEPEND="dev-ml/ocamlbuild" + +src_compile() { + emake BATTERIES_NATIVE=$(usex ocamlopt yes no) +} + +src_install() { + findlib_src_install BATTERIES_NATIVE=$(usex ocamlopt yes no) +} |