summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-10-27 13:42:27 +0200
committerAlexis Ballier <aballier@gentoo.org>2017-11-04 10:37:07 +0100
commit0263ad56e98c4f81cbfb5ec7a012c23fa6e57e9c (patch)
treeab38036453783c054444e8d78efa0de501bbdc86 /dev-ml
parentdev-ml/ounit: bump to 2.0.6 (diff)
downloadgentoo-0263ad56e98c4f81cbfb5ec7a012c23fa6e57e9c.tar.gz
gentoo-0263ad56e98c4f81cbfb5ec7a012c23fa6e57e9c.tar.bz2
gentoo-0263ad56e98c4f81cbfb5ec7a012c23fa6e57e9c.zip
dev-ml/camlp5: bump to 7.03
Package-Manager: Portage-2.3.12, Repoman-2.3.4
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/camlp5/Manifest1
-rw-r--r--dev-ml/camlp5/camlp5-7.03.ebuild65
2 files changed, 66 insertions, 0 deletions
diff --git a/dev-ml/camlp5/Manifest b/dev-ml/camlp5/Manifest
index 63d63cd0a504..76cd3b6d5ce8 100644
--- a/dev-ml/camlp5/Manifest
+++ b/dev-ml/camlp5/Manifest
@@ -1,3 +1,4 @@
DIST camlp5-6.17.tar.gz 718935 SHA256 8fa2a46a7030b1194862650cbb71ab52a10a0174890560a8b6edf236f8937414 SHA512 c4bf32eb79202d6127375b940fe77fc57c7dc5f8c6763b50ba23ab52ae9f3edb0ba15148109af2f6f4808619348d78e927cfdf29901bf1141b17de0d3fd8ff30 WHIRLPOOL 287641aa68bda275e39968aae93500307b5726e5381bbb5012840fcd6f3fd9a24335e9950a8fd9fed61045bf328ea877cd96ad735f6ce712b2e65a747e4ccf9e
DIST camlp5-7.00.tar.gz 755750 SHA256 0b252388e58f879c78c075b17fc8bf3714bc070d5914425bb3adfeefa9097cfd SHA512 2d63451229f86fffeb287735ed26901ad43bb964b6ede1716cb82737001a5c1e4b77479a969509606f6a4f14bb6dbff32275d82f4a9640e0c16bb6594779e849 WHIRLPOOL 14fe8e69a7146397744d3868196f8df4d14e33a849bc0159ac6ffb4f4acc99ee1b8c37a65de3a1a82743eeaac7506c7c8fe517c0f1880e5967e0adb1d5684dc4
DIST camlp5-7.01.tar.gz 757118 SHA256 c83640ffabc5506d7b9c9fdcc342062dee1eabd90de547c0471faf5ef5560540 SHA512 9930957f707d9d2c8903f87f5f3444f71bad3d84c944436c7abc6de19209595c974098cd60a6a391f8ae87c4fb53b5122cba8e42e34fcf46d798dbdc28840008 WHIRLPOOL 584257c9c7a4ae1b55f6c8135b347708aeb7c892f495a10110f330e23dee01d6d95c2f921e14958fd7f2957373d7817cefd18c7e861e20f2dcff933405c5b23b
+DIST camlp5-7.03.tar.gz 758136 SHA256 c13d0a957a8e70627e1900ca25243b5e8da042bbda9eaa9e7d06955c0e3df21a SHA512 0c76d469c5f8c727088f3136107b6690349b50791ef8baefffdaa90141230907f977a7a886a9e8d88d39d8fa315637d882d0205c57d752e16575c888a8a1f54d WHIRLPOOL 3423b097c2bb7d09a2d1747417c81c1ac8c6ed070ee9aac055aad3e56bfdbc87f58c03b6798b24d728d360405117cc6bbd87fab5ecba93bd19451c6cc53d17b2
diff --git a/dev-ml/camlp5/camlp5-7.03.ebuild b/dev-ml/camlp5/camlp5-7.03.ebuild
new file mode 100644
index 000000000000..c0f52ab10e7f
--- /dev/null
+++ b/dev-ml/camlp5/camlp5-7.03.ebuild
@@ -0,0 +1,65 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+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
+}