public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Alfredo Tupone" <tupone@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/extlib/
Date: Wed, 16 Oct 2024 06:39:34 +0000 (UTC)	[thread overview]
Message-ID: <1729060759.804b81f301143d86fc257ab75f594fdd4eea4201.tupone@gentoo> (raw)

commit:     804b81f301143d86fc257ab75f594fdd4eea4201
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 16 06:39:19 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Oct 16 06:39:19 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=804b81f3

dev-ml/extlib: add 1.8.0

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/extlib/Manifest            |  1 +
 dev-ml/extlib/extlib-1.8.0.ebuild | 46 +++++++++++++++++++++++++++++++++++++++
 2 files changed, 47 insertions(+)

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/
+}


             reply	other threads:[~2024-10-16  6:39 UTC|newest]

Thread overview: 38+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-10-16  6:39 Alfredo Tupone [this message]
  -- strict thread matches above, loose matches on Subject: below --
2025-03-16 12:30 [gentoo-commits] repo/gentoo:master commit in: dev-ml/extlib/ Alfredo Tupone
2024-12-29 10:54 Sam James
2024-12-29 10:54 Sam James
2024-11-13 18:53 Alfredo Tupone
2023-03-17  8:52 Arthur Zamarin
2023-03-17  2:29 Sam James
2023-03-17  2:29 Sam James
2023-03-16 23:16 Sam James
2023-03-16 23:16 Sam James
2022-12-16 11:06 Maciej Barć
2021-10-14  9:44 Sam James
2021-09-07  0:09 Sam James
2021-02-16 12:34 Sam James
2021-02-12 22:20 Sam James
2021-02-10 16:33 Sam James
2021-01-24 22:40 Sam James
2020-12-17 14:50 Aaron Bauman
2020-12-17 12:08 Sam James
2020-12-13 12:03 Sergei Trofimovich
2020-12-03  2:01 Thomas Deutschmann
2020-12-02 17:22 Aaron Bauman
2020-10-28  3:36 Sam James
2020-10-24  0:38 Sam James
2020-10-22 13:32 Sam James
2019-12-29 11:44 Mikle Kolyada
2017-04-05 17:50 Markus Meier
2017-04-01 12:24 Alexis Ballier
2017-02-23 14:24 Alexis Ballier
2017-02-23 11:57 Michael Weber
2017-02-23 11:57 Michael Weber
2017-02-16 17:26 Agostino Sarubbo
2017-02-16 13:25 Agostino Sarubbo
2017-01-24 11:07 Alexis Ballier
2016-11-15  9:36 Alexis Ballier
2016-06-29 19:19 Michał Górny
2015-09-19 19:06 Alexis Ballier
2015-09-14 12:26 Alexis Ballier

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1729060759.804b81f301143d86fc257ab75f594fdd4eea4201.tupone@gentoo \
    --to=tupone@gentoo.org \
    --cc=gentoo-commits@lists.gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox