summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-10-16 08:39:19 +0200
committerAlfredo Tupone <tupone@gentoo.org>2024-10-16 08:39:19 +0200
commit804b81f301143d86fc257ab75f594fdd4eea4201 (patch)
treeacef9cefdc4bf4824708a61447f13617a0926214
parentdev-ml/cppo: add 1.7.0 (diff)
downloadgentoo-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/Manifest1
-rw-r--r--dev-ml/extlib/extlib-1.8.0.ebuild46
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/
+}