public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Alexis Ballier" <aballier@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/zarith/
Date: Thu,  5 Nov 2015 08:46:20 +0000 (UTC)	[thread overview]
Message-ID: <1446713161.44a23c2510aa3dc688f4f9957f626ee81537cfc0.aballier@gentoo> (raw)

commit:     44a23c2510aa3dc688f4f9957f626ee81537cfc0
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Thu Nov  5 08:46:01 2015 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Thu Nov  5 08:46:01 2015 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=44a23c25

dev-ml/zarith: Bump to 1.4.

Package-Manager: portage-2.2.24
Signed-off-by: Alexis Ballier <aballier <AT> gentoo.org>

 dev-ml/zarith/Manifest          |  1 +
 dev-ml/zarith/zarith-1.4.ebuild | 47 +++++++++++++++++++++++++++++++++++++++++
 2 files changed, 48 insertions(+)

diff --git a/dev-ml/zarith/Manifest b/dev-ml/zarith/Manifest
index d2705de..558cede 100644
--- a/dev-ml/zarith/Manifest
+++ b/dev-ml/zarith/Manifest
@@ -1 +1,2 @@
 DIST zarith-1.3.tgz 69415 SHA256 946687d6f032b96ab9db9661d876e39437bff783e0ad473ac463c06259b7a3d7 SHA512 c8b0b32ae3cae2808d0af701fbf134fd8bf7b1b3042fbd562edf4a54f958386b4b425117838e60033f51ee0e4ea22969ddc7a8968ba979a4ad70c725cf4357d4 WHIRLPOOL 363e9f973a2e8ebc305c66e6d8dcb6f68bb5599dfce3da906fe013e2d7acfd80b17e886de60f393b72538488dcfdba33b0656f2fe6b19aeeec88d6c0ec3bf21b
+DIST zarith-1.4.tgz 88392 SHA256 98bc21d9e86c3726b5641e0a4c6e859a1bf52b3f691344187e432760386b4861 SHA512 52c39ba98a3abd5fe8a38a7efd879993a6b3113133bdc0c9541168637fe9c8f813a9d38db679199ff0bf1b41f5f4a49f63876a2ca6a74796c309622b8023ac75 WHIRLPOOL c7abfcd9c81ee04fc819925c5f4fd07ea6603a1c2630a523b3a3b3bb3e21a7fcff0532a166b0cb6d9376b4f40747e7232be2d4b3f6e65592103b1ea12f96470c

diff --git a/dev-ml/zarith/zarith-1.4.ebuild b/dev-ml/zarith/zarith-1.4.ebuild
new file mode 100644
index 0000000..e2ab191
--- /dev/null
+++ b/dev-ml/zarith/zarith-1.4.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2012 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib eutils toolchain-funcs
+
+DESCRIPTION="Arithmetic and logic operations over arbitrary-precision integers"
+HOMEPAGE="https://forge.ocamlcore.org/projects/zarith/"
+SRC_URI="https://forge.ocamlcore.org/frs/download.php/1567/${P}.tgz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="doc mpir +ocamlopt"
+
+RDEPEND="
+	>=dev-lang/ocaml-4:=[ocamlopt?]
+	!mpir? ( dev-libs/gmp:0= )
+	mpir? ( sci-libs/mpir )"
+
+DEPEND="${RDEPEND} dev-lang/perl"
+
+src_configure() {
+	tc-export CC
+	./configure -host "${CHOST}" \
+		-ocamllibdir "/usr/$(get_libdir)" \
+		-installdir "${ED}/usr/$(get_libdir)/ocaml" \
+		$(usex mpir "-mpir" "-gmp") || die
+}
+
+src_compile() {
+	emake HASOCAMLOPT=$(usex ocamlopt yes no) HASDYNLINK=$(usex ocamlopt yes no) all
+	use doc && emake doc
+}
+
+src_test() {
+	emake HASOCAMLOPT=$(usex ocamlopt yes no) HASDYNLINK=$(usex ocamlopt yes no) tests
+}
+
+src_install() {
+	findlib_src_preinst
+	emake HASOCAMLOPT=$(usex ocamlopt yes no) HASDYNLINK=$(usex ocamlopt yes no) install
+	dodoc Changes README
+	use doc && dohtml html/*
+}


             reply	other threads:[~2015-11-05  8:46 UTC|newest]

Thread overview: 46+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-11-05  8:46 Alexis Ballier [this message]
  -- strict thread matches above, loose matches on Subject: below --
2025-09-29 10:16 [gentoo-commits] repo/gentoo:master commit in: dev-ml/zarith/ Alfredo Tupone
2025-07-18  6:32 Alfredo Tupone
2025-03-10 11:41 Arthur Zamarin
2025-03-08 12:19 Arthur Zamarin
2024-10-15 15:25 Arthur Zamarin
2024-07-15 13:45 Alfredo Tupone
2024-07-15 13:43 Alfredo Tupone
2024-03-01  4:01 Sam James
2024-02-29 23:58 Sam James
2024-02-14 19:47 Arthur Zamarin
2023-09-22 14:09 Maciej Barć
2021-09-12 19:11 Alfredo Tupone
2021-09-12 12:20 Alfredo Tupone
2021-04-18 21:27 Sam James
2021-04-18  6:48 Sam James
2021-04-18  6:47 Sam James
2021-03-15  4:02 Sam James
2021-03-03 14:23 Sam James
2021-02-26  9:39 Agostino Sarubbo
2021-02-26  8:09 Agostino Sarubbo
2021-02-25  7:33 Sam James
2021-01-14  6:38 Alfredo Tupone
2021-01-11 23:04 Sam James
2020-11-01 11:24 Sam James
2020-10-26  7:13 Alfredo Tupone
2020-10-25 23:19 Thomas Deutschmann
2020-10-22 13:59 Sam James
2020-10-22 13:59 Sam James
2020-09-07  8:20 Sergei Trofimovich
2020-03-27 12:50 Alfredo Tupone
2020-03-27 12:39 Alfredo Tupone
2020-02-17 18:22 Alfredo Tupone
2020-02-17 18:20 Alfredo Tupone
2018-12-15  9:19 Mikle Kolyada
2017-10-17  6:04 Alexis Ballier
2017-09-28  8:42 Alexis Ballier
2017-09-10 18:00 Sergei Trofimovich
2017-09-10 18:00 Sergei Trofimovich
2017-07-09  8:20 Alexis Ballier
2017-05-26 13:53 Alexis Ballier
2017-02-23  1:14 Andrew Savchenko
2016-02-07 16:14 Alexis Ballier
2015-11-12 18:30 Alexis Ballier
2015-10-17 16:25 Alexis Ballier
2015-09-19 14:03 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=1446713161.44a23c2510aa3dc688f4f9957f626ee81537cfc0.aballier@gentoo \
    --to=aballier@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