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/camlp5/
Date: Tue, 29 Nov 2016 12:18:48 +0000 (UTC)	[thread overview]
Message-ID: <1480421919.2c8b8a2f97cca7ec14f4bc875f1eea14ad02564c.aballier@gentoo> (raw)

commit:     2c8b8a2f97cca7ec14f4bc875f1eea14ad02564c
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Nov 29 11:26:30 2016 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Nov 29 12:18:39 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2c8b8a2f

dev-ml/camlp5: bump to 6.17

Package-Manager: portage-2.3.2

 dev-ml/camlp5/Manifest           |  1 +
 dev-ml/camlp5/camlp5-6.17.ebuild | 66 ++++++++++++++++++++++++++++++++++++++++
 2 files changed, 67 insertions(+)

diff --git a/dev-ml/camlp5/Manifest b/dev-ml/camlp5/Manifest
index f4fb001..09a9348 100644
--- a/dev-ml/camlp5/Manifest
+++ b/dev-ml/camlp5/Manifest
@@ -1,3 +1,4 @@
 DIST camlp5-6.14.tgz 748674 SHA256 09f9ed12893d2ec39c88106af2306865c966096bedce0250f2fe52b67d2480e2 SHA512 7dd57b8725953099726fc2e5f6dda01ed74485a4bbf41cb30ccd2163ee38bc6dff36fd83069c58d7990522527d266c9e180a8e333b36a42bc216315dc88a25e9 WHIRLPOOL 305bb842e449775352cbbf3c89a301a188419c10462f0959b00e181596218b5251dac50856f152ad471fd680e557e6595978c395e9c2864c38ddacd7287c4e3b
 DIST camlp5-6.15.tgz 756199 SHA256 2e0e1e31e0537f2179766820dd9bd0a4d424bc5ab9c610e6dbf9145f27747f2b SHA512 658ff32d1d124e91e85d8eba47039bb75573b3807d67fae723335bb06d3237c4151f6d671fb3b068ec4ebffdde03f7956174c9f0ca29eafa5990974987bc2aca WHIRLPOOL d449b7a485967b79efbc030527513d99dd19d4856ebc132133d09d7028c210b4314ac401de65ac7671d3066f6a2184df157a0091fc173f4d6e7ae8bc7ad2c432
 DIST camlp5-6.16.tgz 759877 SHA256 fd446cff6421f5144a521c7cecfdc7217b1424908186cddd3d5be543b35058b1 SHA512 b1bfa271bb7df169c5b0d0f0a20038ab95c2101475e1729f5a779fea0872165f73b04e0cd792e9fbc31e81bb37cbef06a9761f7748ea1ab87753dbd20202d5ed WHIRLPOOL 433a85b393ee6498c6ab86b7feb2cfec8188526ca628c796efafd1d1c9f6204e737074a63e9e448ef757ba9b7b1dce06433b58278352155f5405ea4a76bb6303
+DIST camlp5-6.17.tar.gz 718935 SHA256 8fa2a46a7030b1194862650cbb71ab52a10a0174890560a8b6edf236f8937414 SHA512 c4bf32eb79202d6127375b940fe77fc57c7dc5f8c6763b50ba23ab52ae9f3edb0ba15148109af2f6f4808619348d78e927cfdf29901bf1141b17de0d3fd8ff30 WHIRLPOOL 287641aa68bda275e39968aae93500307b5726e5381bbb5012840fcd6f3fd9a24335e9950a8fd9fed61045bf328ea877cd96ad735f6ce712b2e65a747e4ccf9e

diff --git a/dev-ml/camlp5/camlp5-6.17.ebuild b/dev-ml/camlp5/camlp5-6.17.ebuild
new file mode 100644
index 00000000..f7616f3
--- /dev/null
+++ b/dev-ml/camlp5/camlp5-6.17.ebuild
@@ -0,0 +1,66 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+inherit multilib findlib eutils versionator
+
+MY_P=${P%_p*}
+DESCRIPTION="A preprocessor-pretty-printer of ocaml"
+HOMEPAGE="https://camlp5.github.io/"
+SRC_URI="https://github.com/camlp5/camlp5/archive/rel$(replace_all_version_separators '').tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-rel$(replace_all_version_separators '')"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~alpha ~amd64 ~ppc ~x86 ~x86-fbsd"
+IUSE="doc +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-3.10:=[ocamlopt?]"
+RDEPEND="${DEPEND}"
+
+PATCHLEVEL=${PV#*_p}
+PATCHLIST=""
+
+if [ "${PATCHLEVEL}" != "${PV}" ] ; then
+	for (( i=1; i<=PATCHLEVEL; i++ )) ; do
+		SRC_URI="${SRC_URI}
+			http://pauillac.inria.fr/~ddr/camlp5/distrib/src/patch-${PV%_p*}-${i} -> ${MY_P}-patch-${i}.patch"
+		PATCHLIST="${PATCHLIST} ${MY_P}-patch-${i}.patch"
+	done
+fi
+
+src_prepare() {
+	for i in ${PATCHLIST} ; do
+		epatch "${DISTDIR}/${i}"
+	done
+}
+
+src_configure() {
+	./configure \
+		--strict \
+		-prefix /usr \
+	    -bindir /usr/bin \
+		-libdir /usr/$(get_libdir)/ocaml \
+		-mandir /usr/share/man || die "configure failed"
+}
+
+src_compile(){
+	emake out
+	if use ocamlopt; then
+		emake  opt
+		emake  opt.opt
+	fi
+}
+
+src_install() {
+	emake DESTDIR="${D}" install
+	# findlib support
+	insinto "$(ocamlfind printconf destdir)/${PN}"
+	doins etc/META
+
+	use doc && dohtml -r doc/*
+
+	dodoc CHANGES DEVEL ICHANGES README UPGRADING MODE
+}


             reply	other threads:[~2016-11-29 12:18 UTC|newest]

Thread overview: 77+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-11-29 12:18 Alexis Ballier [this message]
  -- strict thread matches above, loose matches on Subject: below --
2024-10-15 20:43 [gentoo-commits] repo/gentoo:master commit in: dev-ml/camlp5/ Alfredo Tupone
2024-10-15 15:25 Arthur Zamarin
2024-07-10 12:20 Alfredo Tupone
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-06-05 17:53 Alfredo Tupone
2024-05-30  6:28 Alfredo Tupone
2023-08-08 15:39 Alfredo Tupone
2023-08-06 14:11 Alfredo Tupone
2023-07-17  6:12 Sam James
2023-04-28 13:06 Alfredo Tupone
2023-03-17 11:27 Arthur Zamarin
2023-03-17  7:00 Arthur Zamarin
2023-03-17  6:39 Arthur Zamarin
2023-03-16 23:52 Sam James
2023-03-16 23:17 Sam James
2023-02-19  8:45 Alfredo Tupone
2023-02-18 21:40 Alfredo Tupone
2023-02-15 18:38 Matt Turner
2023-01-27 19:49 Alfredo Tupone
2022-05-03 18:01 Arthur Zamarin
2022-05-03 17:52 Arthur Zamarin
2022-05-03 17:47 Arthur Zamarin
2022-05-03 17:45 Arthur Zamarin
2022-05-01 21:51 Jakov Smolić
2022-04-04 16:26 Alfredo Tupone
2022-01-09 10:51 Alfredo Tupone
2021-10-06  1:02 Sam James
2021-07-29  7:08 Agostino Sarubbo
2021-07-29  6:45 Agostino Sarubbo
2021-07-28  3:12 Sam James
2021-07-28  3:12 Sam James
2021-06-10  3:54 Sam James
2021-05-04 19:23 Sam James
2021-01-27  7:01 Alfredo Tupone
2021-01-24 16:06 Sam James
2021-01-14  6:39 Alfredo Tupone
2020-12-29  4:14 Sam James
2020-11-10  1:04 Sam James
2020-11-10  1:04 Sam James
2020-10-28  3:36 Sam James
2020-10-22 13:59 Sam James
2020-10-22 13:59 Sam James
2020-05-14  5:58 Alfredo Tupone
2020-05-13 13:19 Joonas Niilola
2020-05-13  8:11 Alfredo Tupone
2020-02-17 13:36 Alfredo Tupone
2020-02-17 12:21 Agostino Sarubbo
2020-02-17 12:13 Agostino Sarubbo
2020-02-17 12:09 Agostino Sarubbo
2020-02-10  0:53 Miroslav Šulc
2020-02-10  0:53 Miroslav Šulc
2020-01-15  8:16 Alfredo Tupone
2019-10-20 11:41 David Seifert
2017-11-04  9:53 Alexis Ballier
2017-07-17 11:54 Alexis Ballier
2017-06-26 11:43 Alexis Ballier
2017-06-25 14:42 Alexis Ballier
2017-04-27 10:40 Alexis Ballier
2017-01-24 10:55 Alexis Ballier
2017-01-23 18:27 Tobias Klausmann
2017-01-08  6:50 Aaron Bauman
2016-04-30 18:08 Alexis Ballier
2016-04-30 18:07 Alexis Ballier
2016-02-04 17:24 Tobias Klausmann
2016-02-02  8:51 Alexis Ballier
2015-11-12 11:58 Alexis Ballier
2015-11-12 11:21 Agostino Sarubbo
2015-11-11  9:54 Agostino Sarubbo
2015-11-10 12:01 Agostino Sarubbo

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=1480421919.2c8b8a2f97cca7ec14f4bc875f1eea14ad02564c.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