diff options
author | 2024-10-16 08:39:19 +0200 | |
---|---|---|
committer | 2024-10-16 08:39:19 +0200 | |
commit | 804b81f301143d86fc257ab75f594fdd4eea4201 (patch) | |
tree | acef9cefdc4bf4824708a61447f13617a0926214 | |
parent | dev-ml/cppo: add 1.7.0 (diff) | |
download | gentoo-804b81f301143d86fc257ab75f594fdd4eea4201.tar.gz gentoo-804b81f301143d86fc257ab75f594fdd4eea4201.tar.bz2 gentoo-804b81f301143d86fc257ab75f594fdd4eea4201.zip |
dev-ml/extlib: add 1.8.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
-rw-r--r-- | dev-ml/extlib/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/extlib/extlib-1.8.0.ebuild | 46 |
2 files changed, 47 insertions, 0 deletions
diff --git a/dev-ml/extlib/Manifest b/dev-ml/extlib/Manifest index 8680df81ceb4..37c470807cc5 100644 --- a/dev-ml/extlib/Manifest +++ b/dev-ml/extlib/Manifest @@ -1,3 +1,4 @@ DIST extlib-1.7.7.tar.gz 88870 BLAKE2B fff84524ef227718d3908c5b65f4b781360cebc0dca3a8862aa11ea671499b45192c5106769e104d396118e3cdcd904ddce06df784f8fd0eadb7a2372ca3df94 SHA512 088a6c5bbe6530cd60e2276dc02592b69ad7ad685b752f0544c54b6246b8131238c6423ce7bfc81fe3ad1766f605ecf52fd3888d55cca63e22c947afedf610c5 DIST extlib-1.7.8.tar.gz 90213 BLAKE2B cf78d819c542e84825bea3422d1b9afb46a3f72274ac40c704ae872a5889cbe0793f1e27f2dd8f38dee118590300d3bc6a336bfd29a16dfad00008a63ceeb17c SHA512 4a0d5d82da068c34286a1547e173f2634372d01c201823edfda2b8f72d3ff58fa26da29dde9a8b2fda28989cdb655d5a9cfd71310660e5c593026a75a833e6c6 DIST extlib-1.7.9.tar.gz 91092 BLAKE2B 6d5f0dc01813357fd9b3efcbe0e4c4308eb538deb924cbff2919bc6e24b72e3fc631b428c1e67f90ea32005b87c16147265c80d61d8feb97df0223bc9b14736b SHA512 859cf5b9743589037f9e1b5f00ea77ae2401657b3dfc6897d21c89d5f8a1d7e7ac901eb6eaa16722e6b6a0266fa634c40320d13fcf7bdfad2863512b5f79e591 +DIST extlib-1.8.0.tar.gz 90132 BLAKE2B e890a13f3d32c7c25a5fbe9dda9d85139e2d54f3275d1236f575aab88a615718a343bfcf6f0f3832d14855ac720f99c6a45a28a3aec84f2a4e27098eb648863e SHA512 f82892bcd9b3098a313c8f130c4926a093a5cbbb098f509f80d6c176c9ff3a7b345daa1c6298bd4d6da0b41b98c681aed50c68b066eba2de1fd5fc07f99dc487 diff --git a/dev-ml/extlib/extlib-1.8.0.ebuild b/dev-ml/extlib/extlib-1.8.0.ebuild new file mode 100644 index 000000000000..d0a735e0dcd9 --- /dev/null +++ b/dev-ml/extlib/extlib-1.8.0.ebuild @@ -0,0 +1,46 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit findlib vcs-clean + +DESCRIPTION="Standard library extensions for O'Caml" +HOMEPAGE="https://github.com/ygrek/ocaml-extlib/" +SRC_URI="https://github.com/ygrek/ocaml-extlib/archive/${PV}.tar.gz + -> ${P}.tar.gz" +S="${WORKDIR}"/ocaml-${P} + +LICENSE="LGPL-2.1" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86 ~amd64-linux ~x86-linux ~ppc-macos" +IUSE="doc +ocamlopt" + +BDEPEND="dev-ml/cppo" + +src_prepare() { + default + + egit_clean +} + +src_compile() { + cd "${S}"/src || die + + emake -j1 all + + use ocamlopt && emake opt cmxs + use doc && emake doc +} + +src_test() { + emake -j1 test +} + +src_install() { + findlib_src_install + + dodoc README.md + + use doc && dodoc -r src/doc/ +} |