[gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/

public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2015-08-25  8:58 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2015-08-25  8:58 UTC (permalink / raw
  To: gentoo-commits

commit:     6340c563ecb5e239739d32cce3071c4cc881cbc4
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Aug 25 08:58:24 2015 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Aug 25 08:58:43 2015 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6340c563

dev-ml/menhir: remove old.

Package-Manager: portage-2.2.20.1

 dev-ml/menhir/Manifest               |  2 --
 dev-ml/menhir/menhir-20130116.ebuild | 36 ------------------------------------
 dev-ml/menhir/menhir-20140422.ebuild | 36 ------------------------------------
 3 files changed, 74 deletions(-)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index e6fd0a3..3db99d5 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,3 +1 @@
-DIST menhir-20130116.tar.gz 406712 SHA256 5769f628dddcb45d123fc1cdb16ff2313f5d76cbb69363419c9dcf78f526f5a9 SHA512 414f22269b74b401617389365342ce8c4ff0a92a88ef859a0deec370bae3dc830df4c019cdb24d9044695b94f33fbf089ccea32269fdb4cacb093922ecb9ed88 WHIRLPOOL 4be4444f949a957b89a2add2a899f2c07661d60c27af4ad647345c778cafde0ea5cb5c2f9c8a79d5ae1b61607be9f282134000e10b3dccfe8dbc318cc1b3a643
-DIST menhir-20140422.tar.gz 549129 SHA256 0da8c84fff1713f9bd666940be19e2be9d7ecdf2688a7d7b822428d3a27021ce SHA512 1c40664918671984a74d8341ad8b074d0871acebd9f6b3e06584d8092b3f1c67fcdb0dc13e707abc569940570d5f3282520e34990b2ed06732c047ecf3edc01f WHIRLPOOL 7848a60d842c4f10a5c47a9905cfa65bbe8ba26d4b88751025f1098465c351cde27c48cb8681dcaf5a1bb185f277855a85aad35b419772a1d47bd3e2de05ff33
 DIST menhir-20141215.tar.gz 556231 SHA256 2592967c123a31e1b6566ab9f6034e7a0a709d57d547097f05693baf96a46fa4 SHA512 1fff6b987016be37eaca0bb3fea7ec0c498c1448d076e991e1555718cf760318a8d710622af930175f234f49f8dd767ce62cc880c33458958ceeb1bda4817243 WHIRLPOOL 28e6018ce127b28e362aaf1fe030240253cb2ffb0a52d9b34e81c71882ae517376aa3df6c5d19c6db13819260f667f5708522486a74bc498bad3dac11378b56c

diff --git a/dev-ml/menhir/menhir-20130116.ebuild b/dev-ml/menhir/menhir-20130116.ebuild
deleted file mode 100644
index f8ff13e..0000000
--- a/dev-ml/menhir/menhir-20130116.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2013 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="examples +ocamlopt"
-
-DEPEND=">=dev-lang/ocaml-3.09:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}

diff --git a/dev-ml/menhir/menhir-20140422.ebuild b/dev-ml/menhir/menhir-20140422.ebuild
deleted file mode 100644
index 0a43de7..0000000
--- a/dev-ml/menhir/menhir-20140422.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="examples +ocamlopt"
-
-DEPEND=">=dev-lang/ocaml-3.09:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2015-09-16 10:32 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2015-09-16 10:32 UTC (permalink / raw
  To: gentoo-commits

commit:     ae174ffbb5f6edee6619963571312f27b14e4b6a
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Wed Sep 16 10:32:22 2015 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Wed Sep 16 10:32:22 2015 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ae174ffb

dev-ml/menhir: bump to 20150914.

Package-Manager: portage-2.2.20.1

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20150914.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 3db99d5..941e3e9 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1 +1,2 @@
 DIST menhir-20141215.tar.gz 556231 SHA256 2592967c123a31e1b6566ab9f6034e7a0a709d57d547097f05693baf96a46fa4 SHA512 1fff6b987016be37eaca0bb3fea7ec0c498c1448d076e991e1555718cf760318a8d710622af930175f234f49f8dd767ce62cc880c33458958ceeb1bda4817243 WHIRLPOOL 28e6018ce127b28e362aaf1fe030240253cb2ffb0a52d9b34e81c71882ae517376aa3df6c5d19c6db13819260f667f5708522486a74bc498bad3dac11378b56c
+DIST menhir-20150914.tar.gz 626388 SHA256 a3057ec0867377ceaf9caecf69d331440d9c0fb70e39ade619a7856aa67d535d SHA512 7717fcc63ae938eb7c8ae3a5e7d279a357735c0e3b062d9060cc70d3016640e1427d25ee8182e3e034c678d9b0e706fe219f707dd4d14689457f321b135b1fef WHIRLPOOL d66204d753d0677f9eb51d09641f9148077e62caa7ae042665697036457724040950bbb190df6bd029224a0607a67cac8f4597927b4f667ca09091e07d09f7bd

diff --git a/dev-ml/menhir/menhir-20150914.ebuild b/dev-ml/menhir/menhir-20150914.ebuild
new file mode 100644
index 0000000..a8d4107
--- /dev/null
+++ b/dev-ml/menhir/menhir-20150914.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2015-09-24 13:33 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2015-09-24 13:33 UTC (permalink / raw
  To: gentoo-commits

commit:     740815bf1c844bd42465e50d0dce1a7519533c21
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Thu Sep 24 13:33:22 2015 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Thu Sep 24 13:33:29 2015 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=740815bf

dev-ml/menhir: version bump.

Package-Manager: portage-2.2.21

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20150921.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 941e3e9..8a45793 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,2 +1,3 @@
 DIST menhir-20141215.tar.gz 556231 SHA256 2592967c123a31e1b6566ab9f6034e7a0a709d57d547097f05693baf96a46fa4 SHA512 1fff6b987016be37eaca0bb3fea7ec0c498c1448d076e991e1555718cf760318a8d710622af930175f234f49f8dd767ce62cc880c33458958ceeb1bda4817243 WHIRLPOOL 28e6018ce127b28e362aaf1fe030240253cb2ffb0a52d9b34e81c71882ae517376aa3df6c5d19c6db13819260f667f5708522486a74bc498bad3dac11378b56c
 DIST menhir-20150914.tar.gz 626388 SHA256 a3057ec0867377ceaf9caecf69d331440d9c0fb70e39ade619a7856aa67d535d SHA512 7717fcc63ae938eb7c8ae3a5e7d279a357735c0e3b062d9060cc70d3016640e1427d25ee8182e3e034c678d9b0e706fe219f707dd4d14689457f321b135b1fef WHIRLPOOL d66204d753d0677f9eb51d09641f9148077e62caa7ae042665697036457724040950bbb190df6bd029224a0607a67cac8f4597927b4f667ca09091e07d09f7bd
+DIST menhir-20150921.tar.gz 627213 SHA256 4d8588dc847ef33f3af64d30e19bc791a57f61cda2b7086267bc8743ea4a2622 SHA512 a3100819cef6577c2806ebab765c966c11acd9fc9de061e64ef1bf4ca8b0076b0b878f12abf951a3c5882216f173936f2899444ca4126c477fa9cbef231c6b4e WHIRLPOOL cec19d79e7b79ea3dc2159673082931c8c360a865078d0af0bdd152fd1e481adb7218caf7f404005e6653493d04fda7659c1aa3b7527bbf8e0b75f284ff676d0

diff --git a/dev-ml/menhir/menhir-20150921.ebuild b/dev-ml/menhir/menhir-20150921.ebuild
new file mode 100644
index 0000000..a8d4107
--- /dev/null
+++ b/dev-ml/menhir/menhir-20150921.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2015-10-06  8:58 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2015-10-06  8:58 UTC (permalink / raw
  To: gentoo-commits

commit:     7c5eeb68840bf38cf2de0a7f0fe736b589867ad6
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Oct  6 08:58:40 2015 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Oct  6 08:58:48 2015 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7c5eeb68

dev-ml/menhir: bump to 20151005.

Package-Manager: portage-2.2.22

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20151005.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 8a45793..ce0c8df 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,3 +1,4 @@
 DIST menhir-20141215.tar.gz 556231 SHA256 2592967c123a31e1b6566ab9f6034e7a0a709d57d547097f05693baf96a46fa4 SHA512 1fff6b987016be37eaca0bb3fea7ec0c498c1448d076e991e1555718cf760318a8d710622af930175f234f49f8dd767ce62cc880c33458958ceeb1bda4817243 WHIRLPOOL 28e6018ce127b28e362aaf1fe030240253cb2ffb0a52d9b34e81c71882ae517376aa3df6c5d19c6db13819260f667f5708522486a74bc498bad3dac11378b56c
 DIST menhir-20150914.tar.gz 626388 SHA256 a3057ec0867377ceaf9caecf69d331440d9c0fb70e39ade619a7856aa67d535d SHA512 7717fcc63ae938eb7c8ae3a5e7d279a357735c0e3b062d9060cc70d3016640e1427d25ee8182e3e034c678d9b0e706fe219f707dd4d14689457f321b135b1fef WHIRLPOOL d66204d753d0677f9eb51d09641f9148077e62caa7ae042665697036457724040950bbb190df6bd029224a0607a67cac8f4597927b4f667ca09091e07d09f7bd
 DIST menhir-20150921.tar.gz 627213 SHA256 4d8588dc847ef33f3af64d30e19bc791a57f61cda2b7086267bc8743ea4a2622 SHA512 a3100819cef6577c2806ebab765c966c11acd9fc9de061e64ef1bf4ca8b0076b0b878f12abf951a3c5882216f173936f2899444ca4126c477fa9cbef231c6b4e WHIRLPOOL cec19d79e7b79ea3dc2159673082931c8c360a865078d0af0bdd152fd1e481adb7218caf7f404005e6653493d04fda7659c1aa3b7527bbf8e0b75f284ff676d0
+DIST menhir-20151005.tar.gz 627178 SHA256 154f2537472c65e3e395de87484020cc9aedee5898b9c8756cd02245b3a568b0 SHA512 5275732b7d8699b23a470716900a9c28f4123bd85f18d582bf69a839009009782a680bb65fd7e543515898ea5899fd2b1c8eca5c776067b70ef450093d437f82 WHIRLPOOL b500268821f8b14c7cd46447c84c73d72a12365e1d991babf037746fbf76b18f41bdb0ed812d469ef7de7c2e8966f4151272773d2cd3b3fce250bc21b506dee0

diff --git a/dev-ml/menhir/menhir-20151005.ebuild b/dev-ml/menhir/menhir-20151005.ebuild
new file mode 100644
index 0000000..a8d4107
--- /dev/null
+++ b/dev-ml/menhir/menhir-20151005.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2015-10-15 11:49 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2015-10-15 11:49 UTC (permalink / raw
  To: gentoo-commits

commit:     46f98157adda91efd730aaefef20687b4b3f4afe
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 15 11:49:11 2015 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Thu Oct 15 11:49:11 2015 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=46f98157

dev-ml/menhir: Remove old.

Package-Manager: portage-2.2.23

 dev-ml/menhir/Manifest               |  4 ----
 dev-ml/menhir/menhir-20141215.ebuild | 36 ------------------------------------
 dev-ml/menhir/menhir-20150914.ebuild | 36 ------------------------------------
 dev-ml/menhir/menhir-20150921.ebuild | 36 ------------------------------------
 dev-ml/menhir/menhir-20151005.ebuild | 36 ------------------------------------
 5 files changed, 148 deletions(-)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index d852875..c96de25 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,5 +1 @@
-DIST menhir-20141215.tar.gz 556231 SHA256 2592967c123a31e1b6566ab9f6034e7a0a709d57d547097f05693baf96a46fa4 SHA512 1fff6b987016be37eaca0bb3fea7ec0c498c1448d076e991e1555718cf760318a8d710622af930175f234f49f8dd767ce62cc880c33458958ceeb1bda4817243 WHIRLPOOL 28e6018ce127b28e362aaf1fe030240253cb2ffb0a52d9b34e81c71882ae517376aa3df6c5d19c6db13819260f667f5708522486a74bc498bad3dac11378b56c
-DIST menhir-20150914.tar.gz 626388 SHA256 a3057ec0867377ceaf9caecf69d331440d9c0fb70e39ade619a7856aa67d535d SHA512 7717fcc63ae938eb7c8ae3a5e7d279a357735c0e3b062d9060cc70d3016640e1427d25ee8182e3e034c678d9b0e706fe219f707dd4d14689457f321b135b1fef WHIRLPOOL d66204d753d0677f9eb51d09641f9148077e62caa7ae042665697036457724040950bbb190df6bd029224a0607a67cac8f4597927b4f667ca09091e07d09f7bd
-DIST menhir-20150921.tar.gz 627213 SHA256 4d8588dc847ef33f3af64d30e19bc791a57f61cda2b7086267bc8743ea4a2622 SHA512 a3100819cef6577c2806ebab765c966c11acd9fc9de061e64ef1bf4ca8b0076b0b878f12abf951a3c5882216f173936f2899444ca4126c477fa9cbef231c6b4e WHIRLPOOL cec19d79e7b79ea3dc2159673082931c8c360a865078d0af0bdd152fd1e481adb7218caf7f404005e6653493d04fda7659c1aa3b7527bbf8e0b75f284ff676d0
-DIST menhir-20151005.tar.gz 627178 SHA256 154f2537472c65e3e395de87484020cc9aedee5898b9c8756cd02245b3a568b0 SHA512 5275732b7d8699b23a470716900a9c28f4123bd85f18d582bf69a839009009782a680bb65fd7e543515898ea5899fd2b1c8eca5c776067b70ef450093d437f82 WHIRLPOOL b500268821f8b14c7cd46447c84c73d72a12365e1d991babf037746fbf76b18f41bdb0ed812d469ef7de7c2e8966f4151272773d2cd3b3fce250bc21b506dee0
 DIST menhir-20151012.tar.gz 627290 SHA256 c7d4e8cf8e3b009577794c5c01f590379201c77fdc61a832e714beffe7cf22be SHA512 04c10a171fdc24078b6340484314c771b97967a91f506a882bdae741bcc2464ccf3e7f5982339f8cc836abdb0066dc7bcd58a38edbc730a89daf935979fee79c WHIRLPOOL 49b8b0ff0e094e6a5429d747d4ced5ee5515a2f77812f508bd9da872653539ff5540639f6a5a812e4999a7a815bb62b9a6534a71f476dc495a0297ef8f89d737

diff --git a/dev-ml/menhir/menhir-20141215.ebuild b/dev-ml/menhir/menhir-20141215.ebuild
deleted file mode 100644
index a8d4107..0000000
--- a/dev-ml/menhir/menhir-20141215.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}

diff --git a/dev-ml/menhir/menhir-20150914.ebuild b/dev-ml/menhir/menhir-20150914.ebuild
deleted file mode 100644
index a8d4107..0000000
--- a/dev-ml/menhir/menhir-20150914.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}

diff --git a/dev-ml/menhir/menhir-20150921.ebuild b/dev-ml/menhir/menhir-20150921.ebuild
deleted file mode 100644
index a8d4107..0000000
--- a/dev-ml/menhir/menhir-20150921.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}

diff --git a/dev-ml/menhir/menhir-20151005.ebuild b/dev-ml/menhir/menhir-20151005.ebuild
deleted file mode 100644
index a8d4107..0000000
--- a/dev-ml/menhir/menhir-20151005.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2015-10-15 11:49 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2015-10-15 11:49 UTC (permalink / raw
  To: gentoo-commits

commit:     19cbb39ee4e1d1e8bba60be66e64e96198c76cc0
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 15 11:48:40 2015 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Thu Oct 15 11:48:40 2015 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=19cbb39e

dev-ml/menhir: Bump to 20151012.

Package-Manager: portage-2.2.23

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20151012.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index ce0c8df..d852875 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -2,3 +2,4 @@ DIST menhir-20141215.tar.gz 556231 SHA256 2592967c123a31e1b6566ab9f6034e7a0a709d
 DIST menhir-20150914.tar.gz 626388 SHA256 a3057ec0867377ceaf9caecf69d331440d9c0fb70e39ade619a7856aa67d535d SHA512 7717fcc63ae938eb7c8ae3a5e7d279a357735c0e3b062d9060cc70d3016640e1427d25ee8182e3e034c678d9b0e706fe219f707dd4d14689457f321b135b1fef WHIRLPOOL d66204d753d0677f9eb51d09641f9148077e62caa7ae042665697036457724040950bbb190df6bd029224a0607a67cac8f4597927b4f667ca09091e07d09f7bd
 DIST menhir-20150921.tar.gz 627213 SHA256 4d8588dc847ef33f3af64d30e19bc791a57f61cda2b7086267bc8743ea4a2622 SHA512 a3100819cef6577c2806ebab765c966c11acd9fc9de061e64ef1bf4ca8b0076b0b878f12abf951a3c5882216f173936f2899444ca4126c477fa9cbef231c6b4e WHIRLPOOL cec19d79e7b79ea3dc2159673082931c8c360a865078d0af0bdd152fd1e481adb7218caf7f404005e6653493d04fda7659c1aa3b7527bbf8e0b75f284ff676d0
 DIST menhir-20151005.tar.gz 627178 SHA256 154f2537472c65e3e395de87484020cc9aedee5898b9c8756cd02245b3a568b0 SHA512 5275732b7d8699b23a470716900a9c28f4123bd85f18d582bf69a839009009782a680bb65fd7e543515898ea5899fd2b1c8eca5c776067b70ef450093d437f82 WHIRLPOOL b500268821f8b14c7cd46447c84c73d72a12365e1d991babf037746fbf76b18f41bdb0ed812d469ef7de7c2e8966f4151272773d2cd3b3fce250bc21b506dee0
+DIST menhir-20151012.tar.gz 627290 SHA256 c7d4e8cf8e3b009577794c5c01f590379201c77fdc61a832e714beffe7cf22be SHA512 04c10a171fdc24078b6340484314c771b97967a91f506a882bdae741bcc2464ccf3e7f5982339f8cc836abdb0066dc7bcd58a38edbc730a89daf935979fee79c WHIRLPOOL 49b8b0ff0e094e6a5429d747d4ced5ee5515a2f77812f508bd9da872653539ff5540639f6a5a812e4999a7a815bb62b9a6534a71f476dc495a0297ef8f89d737

diff --git a/dev-ml/menhir/menhir-20151012.ebuild b/dev-ml/menhir/menhir-20151012.ebuild
new file mode 100644
index 0000000..a8d4107
--- /dev/null
+++ b/dev-ml/menhir/menhir-20151012.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2015-10-26 12:21 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2015-10-26 12:21 UTC (permalink / raw
  To: gentoo-commits

commit:     f1a45ce55d712906a2af7735dc1eb4c5bca85b77
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 26 12:21:20 2015 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Mon Oct 26 12:21:32 2015 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f1a45ce5

dev-ml/menhir: Bump to 20151023.

Package-Manager: portage-2.2.23

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20151023.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index c96de25..92ea2ec 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1 +1,2 @@
 DIST menhir-20151012.tar.gz 627290 SHA256 c7d4e8cf8e3b009577794c5c01f590379201c77fdc61a832e714beffe7cf22be SHA512 04c10a171fdc24078b6340484314c771b97967a91f506a882bdae741bcc2464ccf3e7f5982339f8cc836abdb0066dc7bcd58a38edbc730a89daf935979fee79c WHIRLPOOL 49b8b0ff0e094e6a5429d747d4ced5ee5515a2f77812f508bd9da872653539ff5540639f6a5a812e4999a7a815bb62b9a6534a71f476dc495a0297ef8f89d737
+DIST menhir-20151023.tar.gz 671810 SHA256 2dfb642ba08f95afbb75f71b9bbdcf6733c0e8f81d69406373f1420c5cfeca8a SHA512 0e53365400e88e39d0d595beb594d53bf5614061dc9b0149ec20c00cd3188dd1568ddcca15e1a08dddce20244bebd6263871ab83f761c68c2c62fbedb0d6c980 WHIRLPOOL 1e4b9a32959f2c9e98c92bb75436650c26430f1664d2b663fd572a369c0ce6d5225caa3ea28faa9cee18162fead6481a9777eabf99d6694b999179046b98c7a7

diff --git a/dev-ml/menhir/menhir-20151023.ebuild b/dev-ml/menhir/menhir-20151023.ebuild
new file mode 100644
index 0000000..a8d4107
--- /dev/null
+++ b/dev-ml/menhir/menhir-20151023.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2015-10-30 10:36 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2015-10-30 10:36 UTC (permalink / raw
  To: gentoo-commits

commit:     909ec352dc0780ce6b2afaf02c484f3b94a32d50
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Fri Oct 30 10:36:38 2015 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Oct 30 10:36:38 2015 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=909ec352

dev-ml/menhir: bump to 20151026.

Fixes bug #564310

Package-Manager: portage-2.2.23

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20151026.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 92ea2ec..db3f1e6 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,2 +1,3 @@
 DIST menhir-20151012.tar.gz 627290 SHA256 c7d4e8cf8e3b009577794c5c01f590379201c77fdc61a832e714beffe7cf22be SHA512 04c10a171fdc24078b6340484314c771b97967a91f506a882bdae741bcc2464ccf3e7f5982339f8cc836abdb0066dc7bcd58a38edbc730a89daf935979fee79c WHIRLPOOL 49b8b0ff0e094e6a5429d747d4ced5ee5515a2f77812f508bd9da872653539ff5540639f6a5a812e4999a7a815bb62b9a6534a71f476dc495a0297ef8f89d737
 DIST menhir-20151023.tar.gz 671810 SHA256 2dfb642ba08f95afbb75f71b9bbdcf6733c0e8f81d69406373f1420c5cfeca8a SHA512 0e53365400e88e39d0d595beb594d53bf5614061dc9b0149ec20c00cd3188dd1568ddcca15e1a08dddce20244bebd6263871ab83f761c68c2c62fbedb0d6c980 WHIRLPOOL 1e4b9a32959f2c9e98c92bb75436650c26430f1664d2b663fd572a369c0ce6d5225caa3ea28faa9cee18162fead6481a9777eabf99d6694b999179046b98c7a7
+DIST menhir-20151026.tar.gz 672165 SHA256 a735ebdfc3bc4ac132ea4f7c06814915576516915a80ae1c33c45a9368327355 SHA512 86fde7e955164861823dd5fac510235b0bb13f771528435495b3ff3a44bcd4837d2cd8085ba6c53e6e5eaf12f935749951cff09056cbb03a93cef062072fcf2a WHIRLPOOL 4327788dde765a4ea2c06637769626022a64352d36bee29fc615a07485efce2adeacb65267cb44f726203405ee23eea23affdde88e76109f1eb76bd3160dfcdc

diff --git a/dev-ml/menhir/menhir-20151026.ebuild b/dev-ml/menhir/menhir-20151026.ebuild
new file mode 100644
index 0000000..a8d4107
--- /dev/null
+++ b/dev-ml/menhir/menhir-20151026.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2015-11-01 10:07 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2015-11-01 10:07 UTC (permalink / raw
  To: gentoo-commits

commit:     969d6f2b561d49c53176671852853a8dff40253a
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Sun Nov  1 09:23:51 2015 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Sun Nov  1 09:23:51 2015 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=969d6f2b

dev-ml/menhir: Bump to 20151030.

Package-Manager: portage-2.2.23

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20151030.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index db3f1e6..75a863d 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,3 +1,4 @@
 DIST menhir-20151012.tar.gz 627290 SHA256 c7d4e8cf8e3b009577794c5c01f590379201c77fdc61a832e714beffe7cf22be SHA512 04c10a171fdc24078b6340484314c771b97967a91f506a882bdae741bcc2464ccf3e7f5982339f8cc836abdb0066dc7bcd58a38edbc730a89daf935979fee79c WHIRLPOOL 49b8b0ff0e094e6a5429d747d4ced5ee5515a2f77812f508bd9da872653539ff5540639f6a5a812e4999a7a815bb62b9a6534a71f476dc495a0297ef8f89d737
 DIST menhir-20151023.tar.gz 671810 SHA256 2dfb642ba08f95afbb75f71b9bbdcf6733c0e8f81d69406373f1420c5cfeca8a SHA512 0e53365400e88e39d0d595beb594d53bf5614061dc9b0149ec20c00cd3188dd1568ddcca15e1a08dddce20244bebd6263871ab83f761c68c2c62fbedb0d6c980 WHIRLPOOL 1e4b9a32959f2c9e98c92bb75436650c26430f1664d2b663fd572a369c0ce6d5225caa3ea28faa9cee18162fead6481a9777eabf99d6694b999179046b98c7a7
 DIST menhir-20151026.tar.gz 672165 SHA256 a735ebdfc3bc4ac132ea4f7c06814915576516915a80ae1c33c45a9368327355 SHA512 86fde7e955164861823dd5fac510235b0bb13f771528435495b3ff3a44bcd4837d2cd8085ba6c53e6e5eaf12f935749951cff09056cbb03a93cef062072fcf2a WHIRLPOOL 4327788dde765a4ea2c06637769626022a64352d36bee29fc615a07485efce2adeacb65267cb44f726203405ee23eea23affdde88e76109f1eb76bd3160dfcdc
+DIST menhir-20151030.tar.gz 689132 SHA256 4f0a3e3afbc1488865c014dff81024775762c7bbc3ec080a07ee634fe00ba889 SHA512 f2f663a939974d73c42dd0e472bce75f3089013e29a795c54beec9c169a500f2fd038766d28230f08b556b5b64a5704f6dc4fcdfe824210d570ec6d2280cccdc WHIRLPOOL 99a7c5630645ce32a5c7368f8587d1d2812361424f176f849ec43e2fcecd3cd927fd5a715bb94b5e80ebdb5c2352d48ade6accd18059a6c1ff9696d19a4db4a4

diff --git a/dev-ml/menhir/menhir-20151030.ebuild b/dev-ml/menhir/menhir-20151030.ebuild
new file mode 100644
index 0000000..a8d4107
--- /dev/null
+++ b/dev-ml/menhir/menhir-20151030.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2015-11-05  8:49 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2015-11-05  8:49 UTC (permalink / raw
  To: gentoo-commits

commit:     34f2ff9342d2cc7283e1e192ab041be12675b81e
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Thu Nov  5 08:49:07 2015 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Thu Nov  5 08:49:07 2015 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=34f2ff93

dev-ml/menhir: Bump to 20151103.

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

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20151103.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 75a863d..95a9ce1 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -2,3 +2,4 @@ DIST menhir-20151012.tar.gz 627290 SHA256 c7d4e8cf8e3b009577794c5c01f590379201c7
 DIST menhir-20151023.tar.gz 671810 SHA256 2dfb642ba08f95afbb75f71b9bbdcf6733c0e8f81d69406373f1420c5cfeca8a SHA512 0e53365400e88e39d0d595beb594d53bf5614061dc9b0149ec20c00cd3188dd1568ddcca15e1a08dddce20244bebd6263871ab83f761c68c2c62fbedb0d6c980 WHIRLPOOL 1e4b9a32959f2c9e98c92bb75436650c26430f1664d2b663fd572a369c0ce6d5225caa3ea28faa9cee18162fead6481a9777eabf99d6694b999179046b98c7a7
 DIST menhir-20151026.tar.gz 672165 SHA256 a735ebdfc3bc4ac132ea4f7c06814915576516915a80ae1c33c45a9368327355 SHA512 86fde7e955164861823dd5fac510235b0bb13f771528435495b3ff3a44bcd4837d2cd8085ba6c53e6e5eaf12f935749951cff09056cbb03a93cef062072fcf2a WHIRLPOOL 4327788dde765a4ea2c06637769626022a64352d36bee29fc615a07485efce2adeacb65267cb44f726203405ee23eea23affdde88e76109f1eb76bd3160dfcdc
 DIST menhir-20151030.tar.gz 689132 SHA256 4f0a3e3afbc1488865c014dff81024775762c7bbc3ec080a07ee634fe00ba889 SHA512 f2f663a939974d73c42dd0e472bce75f3089013e29a795c54beec9c169a500f2fd038766d28230f08b556b5b64a5704f6dc4fcdfe824210d570ec6d2280cccdc WHIRLPOOL 99a7c5630645ce32a5c7368f8587d1d2812361424f176f849ec43e2fcecd3cd927fd5a715bb94b5e80ebdb5c2352d48ade6accd18059a6c1ff9696d19a4db4a4
+DIST menhir-20151103.tar.gz 709436 SHA256 26350a2efd3ed756f74aa3dfdbf2b96116cbf7a2cf66fa0c965617422e4112d4 SHA512 33fdfe8993c983b865845248f3dc204fd0ccf1f6229b14dde4112e363ec0f0a5ad74e00dd3259ac0ff13972716eb0b945716def0c69ed7b2e6e6f51e2a492ef0 WHIRLPOOL c7ba4004609854e6dc4b6f88c08a7faef1581021e81de403911c30ef44a955a916626bbba1da01201a1b00300bd25d635dac34f4532ac8f84e22dd9c293ac6d1

diff --git a/dev-ml/menhir/menhir-20151103.ebuild b/dev-ml/menhir/menhir-20151103.ebuild
new file mode 100644
index 0000000..a8d4107
--- /dev/null
+++ b/dev-ml/menhir/menhir-20151103.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2015-11-13  8:56 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2015-11-13  8:56 UTC (permalink / raw
  To: gentoo-commits

commit:     9e5ff4087888e211a2d398ae141784208ca1cb42
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Fri Nov 13 08:56:29 2015 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Nov 13 08:56:29 2015 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e5ff408

dev-ml/menhir: bump to 20151112.

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

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20151112.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 95a9ce1..329de47 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -3,3 +3,4 @@ DIST menhir-20151023.tar.gz 671810 SHA256 2dfb642ba08f95afbb75f71b9bbdcf6733c0e8
 DIST menhir-20151026.tar.gz 672165 SHA256 a735ebdfc3bc4ac132ea4f7c06814915576516915a80ae1c33c45a9368327355 SHA512 86fde7e955164861823dd5fac510235b0bb13f771528435495b3ff3a44bcd4837d2cd8085ba6c53e6e5eaf12f935749951cff09056cbb03a93cef062072fcf2a WHIRLPOOL 4327788dde765a4ea2c06637769626022a64352d36bee29fc615a07485efce2adeacb65267cb44f726203405ee23eea23affdde88e76109f1eb76bd3160dfcdc
 DIST menhir-20151030.tar.gz 689132 SHA256 4f0a3e3afbc1488865c014dff81024775762c7bbc3ec080a07ee634fe00ba889 SHA512 f2f663a939974d73c42dd0e472bce75f3089013e29a795c54beec9c169a500f2fd038766d28230f08b556b5b64a5704f6dc4fcdfe824210d570ec6d2280cccdc WHIRLPOOL 99a7c5630645ce32a5c7368f8587d1d2812361424f176f849ec43e2fcecd3cd927fd5a715bb94b5e80ebdb5c2352d48ade6accd18059a6c1ff9696d19a4db4a4
 DIST menhir-20151103.tar.gz 709436 SHA256 26350a2efd3ed756f74aa3dfdbf2b96116cbf7a2cf66fa0c965617422e4112d4 SHA512 33fdfe8993c983b865845248f3dc204fd0ccf1f6229b14dde4112e363ec0f0a5ad74e00dd3259ac0ff13972716eb0b945716def0c69ed7b2e6e6f51e2a492ef0 WHIRLPOOL c7ba4004609854e6dc4b6f88c08a7faef1581021e81de403911c30ef44a955a916626bbba1da01201a1b00300bd25d635dac34f4532ac8f84e22dd9c293ac6d1
+DIST menhir-20151112.tar.gz 727051 SHA256 06616e300ed2e5f4f2c74c58873fcd4b5f8f033b4f375f201049dafe4cd20e3a SHA512 121a932a0918f8fcc08dd86a758a7f791c4b527ef110cdbd33356d3317820ec849e6d33b23b60c948a9ff995e3ca858581adbaf2b5622c7ff6e99ae83ce8cf7d WHIRLPOOL d1ce225fa23d4834b67d63c6ec1b90fdfd7dd34ce1ef74c76dfaf82d797345ac48a695290724cd359d0844524f7a165ef2bd2a0ade0ef3de08f0cab653a74759

diff --git a/dev-ml/menhir/menhir-20151112.ebuild b/dev-ml/menhir/menhir-20151112.ebuild
new file mode 100644
index 0000000..a8d4107
--- /dev/null
+++ b/dev-ml/menhir/menhir-20151112.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2016-02-07 16:14 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2016-02-07 16:14 UTC (permalink / raw
  To: gentoo-commits

commit:     a5b93d999787c131c6ec0ff34c29e1bd8d5955b0
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Sun Feb  7 16:09:30 2016 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Sun Feb  7 16:13:49 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a5b93d99

dev-ml/menhir: remove old

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

 dev-ml/menhir/Manifest               |  5 -----
 dev-ml/menhir/menhir-20151012.ebuild | 36 ------------------------------------
 dev-ml/menhir/menhir-20151023.ebuild | 36 ------------------------------------
 dev-ml/menhir/menhir-20151026.ebuild | 36 ------------------------------------
 dev-ml/menhir/menhir-20151030.ebuild | 36 ------------------------------------
 dev-ml/menhir/menhir-20151103.ebuild | 36 ------------------------------------
 6 files changed, 185 deletions(-)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 329de47..424c6c3 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,6 +1 @@
-DIST menhir-20151012.tar.gz 627290 SHA256 c7d4e8cf8e3b009577794c5c01f590379201c77fdc61a832e714beffe7cf22be SHA512 04c10a171fdc24078b6340484314c771b97967a91f506a882bdae741bcc2464ccf3e7f5982339f8cc836abdb0066dc7bcd58a38edbc730a89daf935979fee79c WHIRLPOOL 49b8b0ff0e094e6a5429d747d4ced5ee5515a2f77812f508bd9da872653539ff5540639f6a5a812e4999a7a815bb62b9a6534a71f476dc495a0297ef8f89d737
-DIST menhir-20151023.tar.gz 671810 SHA256 2dfb642ba08f95afbb75f71b9bbdcf6733c0e8f81d69406373f1420c5cfeca8a SHA512 0e53365400e88e39d0d595beb594d53bf5614061dc9b0149ec20c00cd3188dd1568ddcca15e1a08dddce20244bebd6263871ab83f761c68c2c62fbedb0d6c980 WHIRLPOOL 1e4b9a32959f2c9e98c92bb75436650c26430f1664d2b663fd572a369c0ce6d5225caa3ea28faa9cee18162fead6481a9777eabf99d6694b999179046b98c7a7
-DIST menhir-20151026.tar.gz 672165 SHA256 a735ebdfc3bc4ac132ea4f7c06814915576516915a80ae1c33c45a9368327355 SHA512 86fde7e955164861823dd5fac510235b0bb13f771528435495b3ff3a44bcd4837d2cd8085ba6c53e6e5eaf12f935749951cff09056cbb03a93cef062072fcf2a WHIRLPOOL 4327788dde765a4ea2c06637769626022a64352d36bee29fc615a07485efce2adeacb65267cb44f726203405ee23eea23affdde88e76109f1eb76bd3160dfcdc
-DIST menhir-20151030.tar.gz 689132 SHA256 4f0a3e3afbc1488865c014dff81024775762c7bbc3ec080a07ee634fe00ba889 SHA512 f2f663a939974d73c42dd0e472bce75f3089013e29a795c54beec9c169a500f2fd038766d28230f08b556b5b64a5704f6dc4fcdfe824210d570ec6d2280cccdc WHIRLPOOL 99a7c5630645ce32a5c7368f8587d1d2812361424f176f849ec43e2fcecd3cd927fd5a715bb94b5e80ebdb5c2352d48ade6accd18059a6c1ff9696d19a4db4a4
-DIST menhir-20151103.tar.gz 709436 SHA256 26350a2efd3ed756f74aa3dfdbf2b96116cbf7a2cf66fa0c965617422e4112d4 SHA512 33fdfe8993c983b865845248f3dc204fd0ccf1f6229b14dde4112e363ec0f0a5ad74e00dd3259ac0ff13972716eb0b945716def0c69ed7b2e6e6f51e2a492ef0 WHIRLPOOL c7ba4004609854e6dc4b6f88c08a7faef1581021e81de403911c30ef44a955a916626bbba1da01201a1b00300bd25d635dac34f4532ac8f84e22dd9c293ac6d1
 DIST menhir-20151112.tar.gz 727051 SHA256 06616e300ed2e5f4f2c74c58873fcd4b5f8f033b4f375f201049dafe4cd20e3a SHA512 121a932a0918f8fcc08dd86a758a7f791c4b527ef110cdbd33356d3317820ec849e6d33b23b60c948a9ff995e3ca858581adbaf2b5622c7ff6e99ae83ce8cf7d WHIRLPOOL d1ce225fa23d4834b67d63c6ec1b90fdfd7dd34ce1ef74c76dfaf82d797345ac48a695290724cd359d0844524f7a165ef2bd2a0ade0ef3de08f0cab653a74759

diff --git a/dev-ml/menhir/menhir-20151012.ebuild b/dev-ml/menhir/menhir-20151012.ebuild
deleted file mode 100644
index a8d4107..0000000
--- a/dev-ml/menhir/menhir-20151012.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}

diff --git a/dev-ml/menhir/menhir-20151023.ebuild b/dev-ml/menhir/menhir-20151023.ebuild
deleted file mode 100644
index a8d4107..0000000
--- a/dev-ml/menhir/menhir-20151023.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}

diff --git a/dev-ml/menhir/menhir-20151026.ebuild b/dev-ml/menhir/menhir-20151026.ebuild
deleted file mode 100644
index a8d4107..0000000
--- a/dev-ml/menhir/menhir-20151026.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}

diff --git a/dev-ml/menhir/menhir-20151030.ebuild b/dev-ml/menhir/menhir-20151030.ebuild
deleted file mode 100644
index a8d4107..0000000
--- a/dev-ml/menhir/menhir-20151030.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}

diff --git a/dev-ml/menhir/menhir-20151103.ebuild b/dev-ml/menhir/menhir-20151103.ebuild
deleted file mode 100644
index a8d4107..0000000
--- a/dev-ml/menhir/menhir-20151103.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2016-03-01 18:47 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2016-03-01 18:47 UTC (permalink / raw
  To: gentoo-commits

commit:     6d44d78c59b8cbb66cf61a2025fddb9b8e3fb72d
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Mar  1 18:18:17 2016 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Mar  1 18:47:37 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6d44d78c

dev-ml/menhir: add ocamlbuild dep

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

 dev-ml/menhir/menhir-20151112.ebuild | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/dev-ml/menhir/menhir-20151112.ebuild b/dev-ml/menhir/menhir-20151112.ebuild
index a8d4107..61fb1e2 100644
--- a/dev-ml/menhir/menhir-20151112.ebuild
+++ b/dev-ml/menhir/menhir-20151112.ebuild
@@ -15,8 +15,9 @@ SLOT="0/${PV}"
 KEYWORDS="~amd64 ~x86"
 IUSE="examples +ocamlopt"
 
-DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-RDEPEND="${DEPEND}"
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
 
 src_configure() {
 	if ! use ocamlopt ; then


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2016-03-04 11:32 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2016-03-04 11:32 UTC (permalink / raw
  To: gentoo-commits

commit:     327eb3d7ca5f396d41c283e867b8f7b198d9ae84
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Fri Mar  4 11:32:28 2016 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Mar  4 11:32:34 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=327eb3d7

dev-ml/menhir: bump to 20160303

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

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20160303.ebuild | 37 ++++++++++++++++++++++++++++++++++++
 2 files changed, 38 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 424c6c3..5980dcb 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1 +1,2 @@
 DIST menhir-20151112.tar.gz 727051 SHA256 06616e300ed2e5f4f2c74c58873fcd4b5f8f033b4f375f201049dafe4cd20e3a SHA512 121a932a0918f8fcc08dd86a758a7f791c4b527ef110cdbd33356d3317820ec849e6d33b23b60c948a9ff995e3ca858581adbaf2b5622c7ff6e99ae83ce8cf7d WHIRLPOOL d1ce225fa23d4834b67d63c6ec1b90fdfd7dd34ce1ef74c76dfaf82d797345ac48a695290724cd359d0844524f7a165ef2bd2a0ade0ef3de08f0cab653a74759
+DIST menhir-20160303.tar.gz 750200 SHA256 c330934ff449e7af101df0f8a15df29712465a185de265fadab30f4402eaa7e0 SHA512 9d5dbdf863f8e3157933a79690835d98f806e8110d3fcfe2b6e4137522fe8a5d063d058e4956ba30ed71a3ac5b2a82020f598799c67c4b692e4712e15b7f290c WHIRLPOOL b9da5f330c36521bd7abb6ec9a9f6aa164aff764b6e8b2296ef70bddb8b3019d92f2466b9f28aaa3cdfb3216decbbf165c6cf3fdca0f22dd7010d685bf877779

diff --git a/dev-ml/menhir/menhir-20160303.ebuild b/dev-ml/menhir/menhir-20160303.ebuild
new file mode 100644
index 0000000..497e91f
--- /dev/null
+++ b/dev-ml/menhir/menhir-20160303.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2016-05-24  7:56 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2016-05-24  7:56 UTC (permalink / raw
  To: gentoo-commits

commit:     93103d32ea78c65b4cb5aeee72beab050df8b9f3
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue May 24 07:55:46 2016 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue May 24 07:55:46 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=93103d32

dev-ml/menhir: bump to 20160504

Package-Manager: portage-2.3.0_rc1

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20160504.ebuild | 37 ++++++++++++++++++++++++++++++++++++
 2 files changed, 38 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 5980dcb..4b145d3 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,2 +1,3 @@
 DIST menhir-20151112.tar.gz 727051 SHA256 06616e300ed2e5f4f2c74c58873fcd4b5f8f033b4f375f201049dafe4cd20e3a SHA512 121a932a0918f8fcc08dd86a758a7f791c4b527ef110cdbd33356d3317820ec849e6d33b23b60c948a9ff995e3ca858581adbaf2b5622c7ff6e99ae83ce8cf7d WHIRLPOOL d1ce225fa23d4834b67d63c6ec1b90fdfd7dd34ce1ef74c76dfaf82d797345ac48a695290724cd359d0844524f7a165ef2bd2a0ade0ef3de08f0cab653a74759
 DIST menhir-20160303.tar.gz 750200 SHA256 c330934ff449e7af101df0f8a15df29712465a185de265fadab30f4402eaa7e0 SHA512 9d5dbdf863f8e3157933a79690835d98f806e8110d3fcfe2b6e4137522fe8a5d063d058e4956ba30ed71a3ac5b2a82020f598799c67c4b692e4712e15b7f290c WHIRLPOOL b9da5f330c36521bd7abb6ec9a9f6aa164aff764b6e8b2296ef70bddb8b3019d92f2466b9f28aaa3cdfb3216decbbf165c6cf3fdca0f22dd7010d685bf877779
+DIST menhir-20160504.tar.gz 729379 SHA256 5fcd7cd38eef7ec78eee12cfaa9d22cbec6ba85f8d42e45b86215a89a496b20d SHA512 6818e5e60e7c369d3d50cf32d2ff639b411be9064a691a789f776f7e74da8d0c3e55dcdaa5d2ae0ac7b80f8678e9d8eb269e8163ca3f13417f3e1e7183e5acbf WHIRLPOOL a242a8a5656cb0829060c3a7c5e31651cce54ffbfa51dc764c0f6ddc7c3c757c1de018a76467aab0a200ffa8f0ffc35dec17f773749ea6ebd458feb74bbb1b88

diff --git a/dev-ml/menhir/menhir-20160504.ebuild b/dev-ml/menhir/menhir-20160504.ebuild
new file mode 100644
index 0000000..bc46632
--- /dev/null
+++ b/dev-ml/menhir/menhir-20160504.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2016-05-30  9:42 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2016-05-30  9:42 UTC (permalink / raw
  To: gentoo-commits

commit:     3c40a802ed7c873c68fb4d733d3c1471dceaf223
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Mon May 30 09:42:23 2016 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Mon May 30 09:42:29 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3c40a802

dev-ml/menhir: bump to 20160526

Package-Manager: portage-2.3.0_rc1

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20160526.ebuild | 37 ++++++++++++++++++++++++++++++++++++
 2 files changed, 38 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 4b145d3..76bf4a5 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,3 +1,4 @@
 DIST menhir-20151112.tar.gz 727051 SHA256 06616e300ed2e5f4f2c74c58873fcd4b5f8f033b4f375f201049dafe4cd20e3a SHA512 121a932a0918f8fcc08dd86a758a7f791c4b527ef110cdbd33356d3317820ec849e6d33b23b60c948a9ff995e3ca858581adbaf2b5622c7ff6e99ae83ce8cf7d WHIRLPOOL d1ce225fa23d4834b67d63c6ec1b90fdfd7dd34ce1ef74c76dfaf82d797345ac48a695290724cd359d0844524f7a165ef2bd2a0ade0ef3de08f0cab653a74759
 DIST menhir-20160303.tar.gz 750200 SHA256 c330934ff449e7af101df0f8a15df29712465a185de265fadab30f4402eaa7e0 SHA512 9d5dbdf863f8e3157933a79690835d98f806e8110d3fcfe2b6e4137522fe8a5d063d058e4956ba30ed71a3ac5b2a82020f598799c67c4b692e4712e15b7f290c WHIRLPOOL b9da5f330c36521bd7abb6ec9a9f6aa164aff764b6e8b2296ef70bddb8b3019d92f2466b9f28aaa3cdfb3216decbbf165c6cf3fdca0f22dd7010d685bf877779
 DIST menhir-20160504.tar.gz 729379 SHA256 5fcd7cd38eef7ec78eee12cfaa9d22cbec6ba85f8d42e45b86215a89a496b20d SHA512 6818e5e60e7c369d3d50cf32d2ff639b411be9064a691a789f776f7e74da8d0c3e55dcdaa5d2ae0ac7b80f8678e9d8eb269e8163ca3f13417f3e1e7183e5acbf WHIRLPOOL a242a8a5656cb0829060c3a7c5e31651cce54ffbfa51dc764c0f6ddc7c3c757c1de018a76467aab0a200ffa8f0ffc35dec17f773749ea6ebd458feb74bbb1b88
+DIST menhir-20160526.tar.gz 731071 SHA256 dac27e31b360331cbac92d6cafb917e52058cb5bb8301337c3c626a161c7dec4 SHA512 9f1dce28675263542558cd65249aee85d3ee9586b8779316d404074ee0fa0db4e5be6f4dbe1ec7b81e262d99a71294a44260e4eeba4aecc4a8bb4010bd0b12c1 WHIRLPOOL f5d059f4a2fb8a235e5be5571ab15d191fb8a8251901a71968ae1253f0872af2a9b3747ca5d2649e8c01d2b004b589b3336e6f114b8268fbfa2f0f223e9de2c0

diff --git a/dev-ml/menhir/menhir-20160526.ebuild b/dev-ml/menhir/menhir-20160526.ebuild
new file mode 100644
index 0000000..bc46632
--- /dev/null
+++ b/dev-ml/menhir/menhir-20160526.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2016-08-16 12:13 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2016-08-16 12:13 UTC (permalink / raw
  To: gentoo-commits

commit:     0bb3e3705367ca9fa0f98ec8ce7f6a5eb8441749
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Aug 16 11:45:08 2016 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Aug 16 11:45:08 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0bb3e370

dev-ml/menhir: bump to 20160808

Package-Manager: portage-2.3.0

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20160808.ebuild | 37 ++++++++++++++++++++++++++++++++++++
 2 files changed, 38 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index b61e530..533b706 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1 +1,2 @@
 DIST menhir-20160526.tar.gz 731071 SHA256 dac27e31b360331cbac92d6cafb917e52058cb5bb8301337c3c626a161c7dec4 SHA512 9f1dce28675263542558cd65249aee85d3ee9586b8779316d404074ee0fa0db4e5be6f4dbe1ec7b81e262d99a71294a44260e4eeba4aecc4a8bb4010bd0b12c1 WHIRLPOOL f5d059f4a2fb8a235e5be5571ab15d191fb8a8251901a71968ae1253f0872af2a9b3747ca5d2649e8c01d2b004b589b3336e6f114b8268fbfa2f0f223e9de2c0
+DIST menhir-20160808.tar.gz 733224 SHA256 c583a425ad1152bb4f93e4a8de384e0174f423485463dc6ab6b6d7c070b77295 SHA512 162e69642ca34d7da078f14b4509ab88e158cc4ba5ee70a067b7a2a2ea444f7cad77244de4a179c4a00420442c537f662257f1ead03dc9b80c799da0073a94b9 WHIRLPOOL 80b7e5047619d6c791477677ac22b625cfed00056e62759f7a3d725fbb791fff26b852d7126d475426db84eb71c55b480812760f89d40b09672afc676b5488ea

diff --git a/dev-ml/menhir/menhir-20160808.ebuild b/dev-ml/menhir/menhir-20160808.ebuild
new file mode 100644
index 0000000..bc46632
--- /dev/null
+++ b/dev-ml/menhir/menhir-20160808.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2016-08-27 18:30 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2016-08-27 18:30 UTC (permalink / raw
  To: gentoo-commits

commit:     e87d912ae95d3922307ce2308a7a45dcf30c3a9a
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Sat Aug 27 18:23:22 2016 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Sat Aug 27 18:29:56 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e87d912a

dev-ml/menhir: bump to 20160825

Package-Manager: portage-2.3.0

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20160825.ebuild | 37 ++++++++++++++++++++++++++++++++++++
 2 files changed, 38 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 533b706..3b96c1e 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,2 +1,3 @@
 DIST menhir-20160526.tar.gz 731071 SHA256 dac27e31b360331cbac92d6cafb917e52058cb5bb8301337c3c626a161c7dec4 SHA512 9f1dce28675263542558cd65249aee85d3ee9586b8779316d404074ee0fa0db4e5be6f4dbe1ec7b81e262d99a71294a44260e4eeba4aecc4a8bb4010bd0b12c1 WHIRLPOOL f5d059f4a2fb8a235e5be5571ab15d191fb8a8251901a71968ae1253f0872af2a9b3747ca5d2649e8c01d2b004b589b3336e6f114b8268fbfa2f0f223e9de2c0
 DIST menhir-20160808.tar.gz 733224 SHA256 c583a425ad1152bb4f93e4a8de384e0174f423485463dc6ab6b6d7c070b77295 SHA512 162e69642ca34d7da078f14b4509ab88e158cc4ba5ee70a067b7a2a2ea444f7cad77244de4a179c4a00420442c537f662257f1ead03dc9b80c799da0073a94b9 WHIRLPOOL 80b7e5047619d6c791477677ac22b625cfed00056e62759f7a3d725fbb791fff26b852d7126d475426db84eb71c55b480812760f89d40b09672afc676b5488ea
+DIST menhir-20160825.tar.gz 733364 SHA256 1c93fe44de140aeef25212fbc2d62aaa080e7bdb9902106820920f7a8a2fa849 SHA512 6672bf3a10c7cb3ac8a16162e782261e25411f5d7fe69195b720302989daa432c56c9ecf93a08d33e77b306cd0cdaaa4bc00430e642b4d2924cbeecb10bda050 WHIRLPOOL e6ce0ca104f69fedf6b22749db6400f963181497e940f7e3369e3bb9de115944e6a93350062797034c38f8ddcd6466cd44b74d3f60ca8f5f4e06a44a91194008

diff --git a/dev-ml/menhir/menhir-20160825.ebuild b/dev-ml/menhir/menhir-20160825.ebuild
new file mode 100644
index 00000000..bc46632
--- /dev/null
+++ b/dev-ml/menhir/menhir-20160825.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2016-11-15  9:36 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2016-11-15  9:36 UTC (permalink / raw
  To: gentoo-commits

commit:     a9a0cd033a41fcaed06b1a96c3e6ef5b101849d0
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Nov 15 09:14:00 2016 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Nov 15 09:36:02 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a9a0cd03

dev-ml/menhir: bump to 20161114

Package-Manager: portage-2.3.2

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20161114.ebuild | 37 ++++++++++++++++++++++++++++++++++++
 2 files changed, 38 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 3b96c1e..0d8e2c0 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,3 +1,4 @@
 DIST menhir-20160526.tar.gz 731071 SHA256 dac27e31b360331cbac92d6cafb917e52058cb5bb8301337c3c626a161c7dec4 SHA512 9f1dce28675263542558cd65249aee85d3ee9586b8779316d404074ee0fa0db4e5be6f4dbe1ec7b81e262d99a71294a44260e4eeba4aecc4a8bb4010bd0b12c1 WHIRLPOOL f5d059f4a2fb8a235e5be5571ab15d191fb8a8251901a71968ae1253f0872af2a9b3747ca5d2649e8c01d2b004b589b3336e6f114b8268fbfa2f0f223e9de2c0
 DIST menhir-20160808.tar.gz 733224 SHA256 c583a425ad1152bb4f93e4a8de384e0174f423485463dc6ab6b6d7c070b77295 SHA512 162e69642ca34d7da078f14b4509ab88e158cc4ba5ee70a067b7a2a2ea444f7cad77244de4a179c4a00420442c537f662257f1ead03dc9b80c799da0073a94b9 WHIRLPOOL 80b7e5047619d6c791477677ac22b625cfed00056e62759f7a3d725fbb791fff26b852d7126d475426db84eb71c55b480812760f89d40b09672afc676b5488ea
 DIST menhir-20160825.tar.gz 733364 SHA256 1c93fe44de140aeef25212fbc2d62aaa080e7bdb9902106820920f7a8a2fa849 SHA512 6672bf3a10c7cb3ac8a16162e782261e25411f5d7fe69195b720302989daa432c56c9ecf93a08d33e77b306cd0cdaaa4bc00430e642b4d2924cbeecb10bda050 WHIRLPOOL e6ce0ca104f69fedf6b22749db6400f963181497e940f7e3369e3bb9de115944e6a93350062797034c38f8ddcd6466cd44b74d3f60ca8f5f4e06a44a91194008
+DIST menhir-20161114.tar.gz 736454 SHA256 7327d6010ffb5a62371faad58e454a56244d20358a9e733e86e5714baedf5f14 SHA512 6ec810e30df00805ebc05f58130c4c4f86dffc96f4c9852d9574d7d948cd4a51901da2ece7b954c06550124dc3fe7f5ce9482b4280d3e0b6e7f33519b7aa89b2 WHIRLPOOL 608a3449f02d8f27cc1b39f6fb3504563d4ce86e3afdce2c8742238046966b68d3ca898acfef7c630195ff5413a4a6ed7fbfe843c5e25886042b78badda79890

diff --git a/dev-ml/menhir/menhir-20161114.ebuild b/dev-ml/menhir/menhir-20161114.ebuild
new file mode 100644
index 00000000..bc46632
--- /dev/null
+++ b/dev-ml/menhir/menhir-20161114.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2016-11-16 15:26 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2016-11-16 15:26 UTC (permalink / raw
  To: gentoo-commits

commit:     10168dc974d1800d20fb450593e7a20292582e7e
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Wed Nov 16 15:08:08 2016 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Wed Nov 16 15:08:08 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=10168dc9

dev-ml/menhir: bump to 20161115

Package-Manager: portage-2.3.2

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20161115.ebuild | 37 ++++++++++++++++++++++++++++++++++++
 2 files changed, 38 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 0d8e2c0..e9cba75 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -2,3 +2,4 @@ DIST menhir-20160526.tar.gz 731071 SHA256 dac27e31b360331cbac92d6cafb917e52058cb
 DIST menhir-20160808.tar.gz 733224 SHA256 c583a425ad1152bb4f93e4a8de384e0174f423485463dc6ab6b6d7c070b77295 SHA512 162e69642ca34d7da078f14b4509ab88e158cc4ba5ee70a067b7a2a2ea444f7cad77244de4a179c4a00420442c537f662257f1ead03dc9b80c799da0073a94b9 WHIRLPOOL 80b7e5047619d6c791477677ac22b625cfed00056e62759f7a3d725fbb791fff26b852d7126d475426db84eb71c55b480812760f89d40b09672afc676b5488ea
 DIST menhir-20160825.tar.gz 733364 SHA256 1c93fe44de140aeef25212fbc2d62aaa080e7bdb9902106820920f7a8a2fa849 SHA512 6672bf3a10c7cb3ac8a16162e782261e25411f5d7fe69195b720302989daa432c56c9ecf93a08d33e77b306cd0cdaaa4bc00430e642b4d2924cbeecb10bda050 WHIRLPOOL e6ce0ca104f69fedf6b22749db6400f963181497e940f7e3369e3bb9de115944e6a93350062797034c38f8ddcd6466cd44b74d3f60ca8f5f4e06a44a91194008
 DIST menhir-20161114.tar.gz 736454 SHA256 7327d6010ffb5a62371faad58e454a56244d20358a9e733e86e5714baedf5f14 SHA512 6ec810e30df00805ebc05f58130c4c4f86dffc96f4c9852d9574d7d948cd4a51901da2ece7b954c06550124dc3fe7f5ce9482b4280d3e0b6e7f33519b7aa89b2 WHIRLPOOL 608a3449f02d8f27cc1b39f6fb3504563d4ce86e3afdce2c8742238046966b68d3ca898acfef7c630195ff5413a4a6ed7fbfe843c5e25886042b78badda79890
+DIST menhir-20161115.tar.gz 737035 SHA256 f31037f904c863b241bd90dd4ba6cd8f5ea86255477c13a2f7d0e02724ab16c9 SHA512 f17e6f3088e2af5b8e1d010dcd2608c932620e2206833f91c34209fbacc19de6ee17a45ed550fbccdab914779f37b34487f4620a5c66ab82c449238f0b67c7c0 WHIRLPOOL 6e55ead5c99810f5452d1b922bfc9694eba292503035eb39e1a4fa6e7a81ee2673322552c995eeb01a1784e7f284ee1aae3b4cd938a0c0b73c70630c7aa96a7f

diff --git a/dev-ml/menhir/menhir-20161115.ebuild b/dev-ml/menhir/menhir-20161115.ebuild
new file mode 100644
index 00000000..bc46632
--- /dev/null
+++ b/dev-ml/menhir/menhir-20161115.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2017-01-03 16:35 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2017-01-03 16:35 UTC (permalink / raw
  To: gentoo-commits

commit:     00debc56f4479471e22f16fff2e6503bd4f76f31
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Jan  3 16:24:50 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Jan  3 16:24:50 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=00debc56

dev-ml/menhir: remove old

Package-Manager: Portage-2.3.3, Repoman-2.3.1

 dev-ml/menhir/Manifest               |  4 ----
 dev-ml/menhir/menhir-20160526.ebuild | 37 ------------------------------------
 dev-ml/menhir/menhir-20160808.ebuild | 37 ------------------------------------
 dev-ml/menhir/menhir-20160825.ebuild | 37 ------------------------------------
 dev-ml/menhir/menhir-20161114.ebuild | 37 ------------------------------------
 5 files changed, 152 deletions(-)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index e9cba75..26b33ab 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,5 +1 @@
-DIST menhir-20160526.tar.gz 731071 SHA256 dac27e31b360331cbac92d6cafb917e52058cb5bb8301337c3c626a161c7dec4 SHA512 9f1dce28675263542558cd65249aee85d3ee9586b8779316d404074ee0fa0db4e5be6f4dbe1ec7b81e262d99a71294a44260e4eeba4aecc4a8bb4010bd0b12c1 WHIRLPOOL f5d059f4a2fb8a235e5be5571ab15d191fb8a8251901a71968ae1253f0872af2a9b3747ca5d2649e8c01d2b004b589b3336e6f114b8268fbfa2f0f223e9de2c0
-DIST menhir-20160808.tar.gz 733224 SHA256 c583a425ad1152bb4f93e4a8de384e0174f423485463dc6ab6b6d7c070b77295 SHA512 162e69642ca34d7da078f14b4509ab88e158cc4ba5ee70a067b7a2a2ea444f7cad77244de4a179c4a00420442c537f662257f1ead03dc9b80c799da0073a94b9 WHIRLPOOL 80b7e5047619d6c791477677ac22b625cfed00056e62759f7a3d725fbb791fff26b852d7126d475426db84eb71c55b480812760f89d40b09672afc676b5488ea
-DIST menhir-20160825.tar.gz 733364 SHA256 1c93fe44de140aeef25212fbc2d62aaa080e7bdb9902106820920f7a8a2fa849 SHA512 6672bf3a10c7cb3ac8a16162e782261e25411f5d7fe69195b720302989daa432c56c9ecf93a08d33e77b306cd0cdaaa4bc00430e642b4d2924cbeecb10bda050 WHIRLPOOL e6ce0ca104f69fedf6b22749db6400f963181497e940f7e3369e3bb9de115944e6a93350062797034c38f8ddcd6466cd44b74d3f60ca8f5f4e06a44a91194008
-DIST menhir-20161114.tar.gz 736454 SHA256 7327d6010ffb5a62371faad58e454a56244d20358a9e733e86e5714baedf5f14 SHA512 6ec810e30df00805ebc05f58130c4c4f86dffc96f4c9852d9574d7d948cd4a51901da2ece7b954c06550124dc3fe7f5ce9482b4280d3e0b6e7f33519b7aa89b2 WHIRLPOOL 608a3449f02d8f27cc1b39f6fb3504563d4ce86e3afdce2c8742238046966b68d3ca898acfef7c630195ff5413a4a6ed7fbfe843c5e25886042b78badda79890
 DIST menhir-20161115.tar.gz 737035 SHA256 f31037f904c863b241bd90dd4ba6cd8f5ea86255477c13a2f7d0e02724ab16c9 SHA512 f17e6f3088e2af5b8e1d010dcd2608c932620e2206833f91c34209fbacc19de6ee17a45ed550fbccdab914779f37b34487f4620a5c66ab82c449238f0b67c7c0 WHIRLPOOL 6e55ead5c99810f5452d1b922bfc9694eba292503035eb39e1a4fa6e7a81ee2673322552c995eeb01a1784e7f284ee1aae3b4cd938a0c0b73c70630c7aa96a7f

diff --git a/dev-ml/menhir/menhir-20160526.ebuild b/dev-ml/menhir/menhir-20160526.ebuild
deleted file mode 100644
index bc46632..00000000
--- a/dev-ml/menhir/menhir-20160526.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib eutils
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-DEPEND="${RDEPEND}
-	dev-ml/ocamlbuild"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}

diff --git a/dev-ml/menhir/menhir-20160808.ebuild b/dev-ml/menhir/menhir-20160808.ebuild
deleted file mode 100644
index bc46632..00000000
--- a/dev-ml/menhir/menhir-20160808.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib eutils
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-DEPEND="${RDEPEND}
-	dev-ml/ocamlbuild"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}

diff --git a/dev-ml/menhir/menhir-20160825.ebuild b/dev-ml/menhir/menhir-20160825.ebuild
deleted file mode 100644
index bc46632..00000000
--- a/dev-ml/menhir/menhir-20160825.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib eutils
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-DEPEND="${RDEPEND}
-	dev-ml/ocamlbuild"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}

diff --git a/dev-ml/menhir/menhir-20161114.ebuild b/dev-ml/menhir/menhir-20161114.ebuild
deleted file mode 100644
index bc46632..00000000
--- a/dev-ml/menhir/menhir-20161114.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib eutils
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-DEPEND="${RDEPEND}
-	dev-ml/ocamlbuild"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2017-01-03 16:35 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2017-01-03 16:35 UTC (permalink / raw
  To: gentoo-commits

commit:     4594915fe791e5cfa38409d96671af796ecd348e
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Jan  3 16:26:00 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Jan  3 16:26:00 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4594915f

dev-ml/menhir: bump to 20170101

Package-Manager: Portage-2.3.3, Repoman-2.3.1

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20170101.ebuild | 37 ++++++++++++++++++++++++++++++++++++
 2 files changed, 38 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 26b33ab..a890f66 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1 +1,2 @@
 DIST menhir-20161115.tar.gz 737035 SHA256 f31037f904c863b241bd90dd4ba6cd8f5ea86255477c13a2f7d0e02724ab16c9 SHA512 f17e6f3088e2af5b8e1d010dcd2608c932620e2206833f91c34209fbacc19de6ee17a45ed550fbccdab914779f37b34487f4620a5c66ab82c449238f0b67c7c0 WHIRLPOOL 6e55ead5c99810f5452d1b922bfc9694eba292503035eb39e1a4fa6e7a81ee2673322552c995eeb01a1784e7f284ee1aae3b4cd938a0c0b73c70630c7aa96a7f
+DIST menhir-20170101.tar.gz 738131 SHA256 99696f365511e0440c18d295b7073a13886c5b594e1875f5967ad897a2216a46 SHA512 810d9863873519b9052464e522894579ffd2f9685851ba32c34cf772570710e7dde2a4629ab6407c2404d2587132488aeebed97db2dad1a456e28104c230bbac WHIRLPOOL 427cb187e5b57f51fe57df519f1732a4f827d0090705e70feecfe62f06e94a95d5e8c5e4b7b9e31f1c199f7c7f7dcfd6f48a3d29d0c8f66548761d85f1c64514

diff --git a/dev-ml/menhir/menhir-20170101.ebuild b/dev-ml/menhir/menhir-20170101.ebuild
new file mode 100644
index 00000000..e9fc762
--- /dev/null
+++ b/dev-ml/menhir/menhir-20170101.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc AUTHORS CHANGES
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2017-01-24 11:14 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2017-01-24 11:14 UTC (permalink / raw
  To: gentoo-commits

commit:     24569e397b07fa63656624634305a8bfe65b2363
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Jan 24 11:09:20 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Jan 24 11:14:15 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=24569e39

dev-ml/menhir: remove old

Package-Manager: Portage-2.3.3, Repoman-2.3.1

 dev-ml/menhir/Manifest               |  1 -
 dev-ml/menhir/menhir-20161115.ebuild | 37 ------------------------------------
 2 files changed, 38 deletions(-)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index a890f66..d91ea6b 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,2 +1 @@
-DIST menhir-20161115.tar.gz 737035 SHA256 f31037f904c863b241bd90dd4ba6cd8f5ea86255477c13a2f7d0e02724ab16c9 SHA512 f17e6f3088e2af5b8e1d010dcd2608c932620e2206833f91c34209fbacc19de6ee17a45ed550fbccdab914779f37b34487f4620a5c66ab82c449238f0b67c7c0 WHIRLPOOL 6e55ead5c99810f5452d1b922bfc9694eba292503035eb39e1a4fa6e7a81ee2673322552c995eeb01a1784e7f284ee1aae3b4cd938a0c0b73c70630c7aa96a7f
 DIST menhir-20170101.tar.gz 738131 SHA256 99696f365511e0440c18d295b7073a13886c5b594e1875f5967ad897a2216a46 SHA512 810d9863873519b9052464e522894579ffd2f9685851ba32c34cf772570710e7dde2a4629ab6407c2404d2587132488aeebed97db2dad1a456e28104c230bbac WHIRLPOOL 427cb187e5b57f51fe57df519f1732a4f827d0090705e70feecfe62f06e94a95d5e8c5e4b7b9e31f1c199f7c7f7dcfd6f48a3d29d0c8f66548761d85f1c64514

diff --git a/dev-ml/menhir/menhir-20161115.ebuild b/dev-ml/menhir/menhir-20161115.ebuild
deleted file mode 100644
index bc46632..00000000
--- a/dev-ml/menhir/menhir-20161115.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib eutils
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-DEPEND="${RDEPEND}
-	dev-ml/ocamlbuild"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2017-04-19  9:09 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2017-04-19  9:09 UTC (permalink / raw
  To: gentoo-commits

commit:     93273d1b3ec2fbac0a73c99ff4eadb91f7adabb8
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Wed Apr 19 08:41:51 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Wed Apr 19 09:09:10 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=93273d1b

dev-ml/menhir: bump to 20170418

Package-Manager: Portage-2.3.5, Repoman-2.3.2

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20170418.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index d91ea6bef95..dc1d1efb31f 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1 +1,2 @@
 DIST menhir-20170101.tar.gz 738131 SHA256 99696f365511e0440c18d295b7073a13886c5b594e1875f5967ad897a2216a46 SHA512 810d9863873519b9052464e522894579ffd2f9685851ba32c34cf772570710e7dde2a4629ab6407c2404d2587132488aeebed97db2dad1a456e28104c230bbac WHIRLPOOL 427cb187e5b57f51fe57df519f1732a4f827d0090705e70feecfe62f06e94a95d5e8c5e4b7b9e31f1c199f7c7f7dcfd6f48a3d29d0c8f66548761d85f1c64514
+DIST menhir-20170418.tar.gz 1128319 SHA256 31deadeef2129ffcbdd78717007e13f87031432e6c3601f7e829bb0e5f9c7d2b SHA512 b261a0014c4b5c79d8e439c708d59f3448a6f7a7a0f5390ac319793bdb3d4a2d3774dd9e8e8151fb8208a597aec86422f24d48a2f1809751e3d12d13e14620b5 WHIRLPOOL 7b0f299c4494a54d137e8433c4f8b7440469f55501793ea403a6f1a4ef3a174c4e14f11ce5ca3d2938b44f683f7424879947c1aa9b8a7053a0727f423f236771

diff --git a/dev-ml/menhir/menhir-20170418.ebuild b/dev-ml/menhir/menhir-20170418.ebuild
new file mode 100644
index 00000000000..25640fb8917
--- /dev/null
+++ b/dev-ml/menhir/menhir-20170418.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc README.md CHANGES.md
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2017-04-19  9:09 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2017-04-19  9:09 UTC (permalink / raw
  To: gentoo-commits

commit:     2b70b6da66538e13243b52058b845334ceee261e
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Wed Apr 19 08:50:35 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Wed Apr 19 09:09:10 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2b70b6da

dev-ml/menhir: new release switchted from qpl to gpl

Package-Manager: Portage-2.3.5, Repoman-2.3.2

 dev-ml/menhir/menhir-20170418.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20170418.ebuild b/dev-ml/menhir/menhir-20170418.ebuild
index 25640fb8917..66e656a0242 100644
--- a/dev-ml/menhir/menhir-20170418.ebuild
+++ b/dev-ml/menhir/menhir-20170418.ebuild
@@ -9,7 +9,7 @@ DESCRIPTION="LR(1) parser generator for the OCaml language"
 HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
 SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
 
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
 KEYWORDS="~amd64 ~x86"
 IUSE="examples +ocamlopt"


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2017-05-10  8:09 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2017-05-10  8:09 UTC (permalink / raw
  To: gentoo-commits

commit:     80a2300433209a82921bf31e96993832fe750f19
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Wed May 10 07:56:25 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Wed May 10 08:09:23 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=80a23004

dev-ml/menhir: bump to 20170509

Package-Manager: Portage-2.3.5, Repoman-2.3.2

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20170509.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index dc1d1efb31f..24fa46df475 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,2 +1,3 @@
 DIST menhir-20170101.tar.gz 738131 SHA256 99696f365511e0440c18d295b7073a13886c5b594e1875f5967ad897a2216a46 SHA512 810d9863873519b9052464e522894579ffd2f9685851ba32c34cf772570710e7dde2a4629ab6407c2404d2587132488aeebed97db2dad1a456e28104c230bbac WHIRLPOOL 427cb187e5b57f51fe57df519f1732a4f827d0090705e70feecfe62f06e94a95d5e8c5e4b7b9e31f1c199f7c7f7dcfd6f48a3d29d0c8f66548761d85f1c64514
 DIST menhir-20170418.tar.gz 1128319 SHA256 31deadeef2129ffcbdd78717007e13f87031432e6c3601f7e829bb0e5f9c7d2b SHA512 b261a0014c4b5c79d8e439c708d59f3448a6f7a7a0f5390ac319793bdb3d4a2d3774dd9e8e8151fb8208a597aec86422f24d48a2f1809751e3d12d13e14620b5 WHIRLPOOL 7b0f299c4494a54d137e8433c4f8b7440469f55501793ea403a6f1a4ef3a174c4e14f11ce5ca3d2938b44f683f7424879947c1aa9b8a7053a0727f423f236771
+DIST menhir-20170509.tar.gz 1128580 SHA256 36a690856f972adaadcff0138380b563f92041aab9d5dcaf29da1c27c8326baa SHA512 51d7a9f83dc8b31c3745c4eb86d5b6d952e54a4468e23aab7f413c316e40472612fe6ddb9503231ca93b14f6097e9624d7cd581d6ca5d7067fe3e98d0a3c10e1 WHIRLPOOL 159739872eecb85045eaae7bd7aaea4c8dfc914da5d46187d06d7aa44638e6a3d6d355b30265743a64eac07b58831df66eb5e8f7e73f1ccb76b89722e38c9d86

diff --git a/dev-ml/menhir/menhir-20170509.ebuild b/dev-ml/menhir/menhir-20170509.ebuild
new file mode 100644
index 00000000000..66e656a0242
--- /dev/null
+++ b/dev-ml/menhir/menhir-20170509.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc README.md CHANGES.md
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2017-06-22 11:48 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2017-06-22 11:48 UTC (permalink / raw
  To: gentoo-commits

commit:     279fd2e823cbf1e7adfd8e9d3c58404ba75b00e6
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 22 11:33:10 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Thu Jun 22 11:47:53 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=279fd2e8

dev-ml/menhir: keyword ~arm64

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-ml/menhir/menhir-20170607.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20170607.ebuild b/dev-ml/menhir/menhir-20170607.ebuild
index 66e656a0242..9a69c7e42a0 100644
--- a/dev-ml/menhir/menhir-20170607.ebuild
+++ b/dev-ml/menhir/menhir-20170607.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="~amd64 ~arm64 ~x86"
 IUSE="examples +ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2017-07-08 14:19 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2017-07-08 14:19 UTC (permalink / raw
  To: gentoo-commits

commit:     5b8bf64c8b9e8588def3693d035ea82cf5e1fef6
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Sat Jul  8 14:18:49 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Sat Jul  8 14:18:58 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5b8bf64c

dev-ml/menhir: add ~ppc (needed for jbuilder test suite)

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-ml/menhir/menhir-20170607.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20170607.ebuild b/dev-ml/menhir/menhir-20170607.ebuild
index 9a69c7e42a0..5dfe716cd99 100644
--- a/dev-ml/menhir/menhir-20170607.ebuild
+++ b/dev-ml/menhir/menhir-20170607.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm64 ~x86"
+KEYWORDS="~amd64 ~arm64 ~ppc ~x86"
 IUSE="examples +ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2017-07-13  7:48 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2017-07-13  7:48 UTC (permalink / raw
  To: gentoo-commits

commit:     8717676e08dad1b756e6d547b13c29c23ca43fb4
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Thu Jul 13 06:59:43 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Thu Jul 13 07:47:49 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8717676e

dev-ml/menhir: bump to 20170712

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20170712.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 7255b473344..a1f914fa103 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -2,3 +2,4 @@ DIST menhir-20170101.tar.gz 738131 SHA256 99696f365511e0440c18d295b7073a13886c5b
 DIST menhir-20170418.tar.gz 1128319 SHA256 31deadeef2129ffcbdd78717007e13f87031432e6c3601f7e829bb0e5f9c7d2b SHA512 b261a0014c4b5c79d8e439c708d59f3448a6f7a7a0f5390ac319793bdb3d4a2d3774dd9e8e8151fb8208a597aec86422f24d48a2f1809751e3d12d13e14620b5 WHIRLPOOL 7b0f299c4494a54d137e8433c4f8b7440469f55501793ea403a6f1a4ef3a174c4e14f11ce5ca3d2938b44f683f7424879947c1aa9b8a7053a0727f423f236771
 DIST menhir-20170509.tar.gz 1128580 SHA256 36a690856f972adaadcff0138380b563f92041aab9d5dcaf29da1c27c8326baa SHA512 51d7a9f83dc8b31c3745c4eb86d5b6d952e54a4468e23aab7f413c316e40472612fe6ddb9503231ca93b14f6097e9624d7cd581d6ca5d7067fe3e98d0a3c10e1 WHIRLPOOL 159739872eecb85045eaae7bd7aaea4c8dfc914da5d46187d06d7aa44638e6a3d6d355b30265743a64eac07b58831df66eb5e8f7e73f1ccb76b89722e38c9d86
 DIST menhir-20170607.tar.gz 796429 SHA256 00caa66ed0d1544defda24539f2ca1d37b92120e0575aafc5fcabd8e5364ce61 SHA512 468e0b042b8deabe2db4c33d59ff0a5d9177845bfc31eeffb4ba90de6a5e52cf2cd98965c8ec0cf6f849f459738f59802564d76310fb06f0aa4746c1441eade1 WHIRLPOOL 175f10b4b1c3bf78f4dd82095e44b972c85f603701a143c34dde605b7a3ec1ef46f90d042b5f17374b25d26cc625249f098a7328960be4f621eebdad715bbb5f
+DIST menhir-20170712.tar.gz 855262 SHA256 ca482d690052343d6cb9452433248a0a92cc8bfc8fa529dc313220c9d7c0d000 SHA512 7850fa031a2bd69e9cf17db6d8f82f716ab5f9e60b34d1a53591a3ff46750fb01880f3282a7194465441abc4c2ba60f543646097f5f0eef6fe78b36266a3dbdc WHIRLPOOL 0c7cfcc798c2126ca345b38560972dfca79adf2b5bf2fa0d4dccaf1745298dec601c902cae8f9b35970e63084d0a261cd42f230b1c452905a28607d18fcebeed

diff --git a/dev-ml/menhir/menhir-20170712.ebuild b/dev-ml/menhir/menhir-20170712.ebuild
new file mode 100644
index 00000000000..5dfe716cd99
--- /dev/null
+++ b/dev-ml/menhir/menhir-20170712.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm64 ~ppc ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc README.md CHANGES.md
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2017-07-24  5:34 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2017-07-24  5:34 UTC (permalink / raw
  To: gentoo-commits

commit:     c3e86a0a77f72bba55aea8d2e9dc016724e294fe
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Mon Jul 24 05:33:25 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Mon Jul 24 05:34:11 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c3e86a0a

dev-ml/menhir: keyword ~arm

Package-Manager: Portage-2.3.6, Repoman-2.3.3

 dev-ml/menhir/menhir-20170712.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20170712.ebuild b/dev-ml/menhir/menhir-20170712.ebuild
index 5dfe716cd99..51e7184f445 100644
--- a/dev-ml/menhir/menhir-20170712.ebuild
+++ b/dev-ml/menhir/menhir-20170712.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm64 ~ppc ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
 IUSE="examples +ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2017-07-24  5:34 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2017-07-24  5:34 UTC (permalink / raw
  To: gentoo-commits

commit:     521bc8ad48df109bf2e29e4c862830e9c85b7762
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Mon Jul 24 05:34:00 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Mon Jul 24 05:34:11 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=521bc8ad

dev-ml/menhir: Remove old

Package-Manager: Portage-2.3.6, Repoman-2.3.3

 dev-ml/menhir/Manifest               |  4 ----
 dev-ml/menhir/menhir-20170101.ebuild | 36 ------------------------------------
 dev-ml/menhir/menhir-20170418.ebuild | 36 ------------------------------------
 dev-ml/menhir/menhir-20170509.ebuild | 36 ------------------------------------
 dev-ml/menhir/menhir-20170607.ebuild | 36 ------------------------------------
 5 files changed, 148 deletions(-)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index a1f914fa103..f1b1a169af0 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,5 +1 @@
-DIST menhir-20170101.tar.gz 738131 SHA256 99696f365511e0440c18d295b7073a13886c5b594e1875f5967ad897a2216a46 SHA512 810d9863873519b9052464e522894579ffd2f9685851ba32c34cf772570710e7dde2a4629ab6407c2404d2587132488aeebed97db2dad1a456e28104c230bbac WHIRLPOOL 427cb187e5b57f51fe57df519f1732a4f827d0090705e70feecfe62f06e94a95d5e8c5e4b7b9e31f1c199f7c7f7dcfd6f48a3d29d0c8f66548761d85f1c64514
-DIST menhir-20170418.tar.gz 1128319 SHA256 31deadeef2129ffcbdd78717007e13f87031432e6c3601f7e829bb0e5f9c7d2b SHA512 b261a0014c4b5c79d8e439c708d59f3448a6f7a7a0f5390ac319793bdb3d4a2d3774dd9e8e8151fb8208a597aec86422f24d48a2f1809751e3d12d13e14620b5 WHIRLPOOL 7b0f299c4494a54d137e8433c4f8b7440469f55501793ea403a6f1a4ef3a174c4e14f11ce5ca3d2938b44f683f7424879947c1aa9b8a7053a0727f423f236771
-DIST menhir-20170509.tar.gz 1128580 SHA256 36a690856f972adaadcff0138380b563f92041aab9d5dcaf29da1c27c8326baa SHA512 51d7a9f83dc8b31c3745c4eb86d5b6d952e54a4468e23aab7f413c316e40472612fe6ddb9503231ca93b14f6097e9624d7cd581d6ca5d7067fe3e98d0a3c10e1 WHIRLPOOL 159739872eecb85045eaae7bd7aaea4c8dfc914da5d46187d06d7aa44638e6a3d6d355b30265743a64eac07b58831df66eb5e8f7e73f1ccb76b89722e38c9d86
-DIST menhir-20170607.tar.gz 796429 SHA256 00caa66ed0d1544defda24539f2ca1d37b92120e0575aafc5fcabd8e5364ce61 SHA512 468e0b042b8deabe2db4c33d59ff0a5d9177845bfc31eeffb4ba90de6a5e52cf2cd98965c8ec0cf6f849f459738f59802564d76310fb06f0aa4746c1441eade1 WHIRLPOOL 175f10b4b1c3bf78f4dd82095e44b972c85f603701a143c34dde605b7a3ec1ef46f90d042b5f17374b25d26cc625249f098a7328960be4f621eebdad715bbb5f
 DIST menhir-20170712.tar.gz 855262 SHA256 ca482d690052343d6cb9452433248a0a92cc8bfc8fa529dc313220c9d7c0d000 SHA512 7850fa031a2bd69e9cf17db6d8f82f716ab5f9e60b34d1a53591a3ff46750fb01880f3282a7194465441abc4c2ba60f543646097f5f0eef6fe78b36266a3dbdc WHIRLPOOL 0c7cfcc798c2126ca345b38560972dfca79adf2b5bf2fa0d4dccaf1745298dec601c902cae8f9b35970e63084d0a261cd42f230b1c452905a28607d18fcebeed

diff --git a/dev-ml/menhir/menhir-20170101.ebuild b/dev-ml/menhir/menhir-20170101.ebuild
deleted file mode 100644
index ad587a96ffe..00000000000
--- a/dev-ml/menhir/menhir-20170101.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit findlib eutils
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-DEPEND="${RDEPEND}
-	dev-ml/ocamlbuild"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc AUTHORS CHANGES
-}

diff --git a/dev-ml/menhir/menhir-20170418.ebuild b/dev-ml/menhir/menhir-20170418.ebuild
deleted file mode 100644
index 66e656a0242..00000000000
--- a/dev-ml/menhir/menhir-20170418.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit findlib eutils
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="GPL-2 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-DEPEND="${RDEPEND}
-	dev-ml/ocamlbuild"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc README.md CHANGES.md
-}

diff --git a/dev-ml/menhir/menhir-20170509.ebuild b/dev-ml/menhir/menhir-20170509.ebuild
deleted file mode 100644
index 66e656a0242..00000000000
--- a/dev-ml/menhir/menhir-20170509.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit findlib eutils
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="GPL-2 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="examples +ocamlopt"
-
-RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-DEPEND="${RDEPEND}
-	dev-ml/ocamlbuild"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc README.md CHANGES.md
-}

diff --git a/dev-ml/menhir/menhir-20170607.ebuild b/dev-ml/menhir/menhir-20170607.ebuild
deleted file mode 100644
index 5dfe716cd99..00000000000
--- a/dev-ml/menhir/menhir-20170607.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit findlib eutils
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="GPL-2 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm64 ~ppc ~x86"
-IUSE="examples +ocamlopt"
-
-RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-DEPEND="${RDEPEND}
-	dev-ml/ocamlbuild"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc README.md CHANGES.md
-}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2017-10-17  6:04 Alexis Ballier
  0 siblings, 0 replies; 66+ messages in thread
From: Alexis Ballier @ 2017-10-17  6:04 UTC (permalink / raw
  To: gentoo-commits

commit:     59e172aef2b202e137d0712337b6389d8ab66f7d
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Oct 17 05:51:53 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Oct 17 05:51:53 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=59e172ae

dev-ml/menhir: bump to 20171013

Package-Manager: Portage-2.3.11, Repoman-2.3.3

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20171013.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index f1b1a169af0..113a025c522 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1 +1,2 @@
 DIST menhir-20170712.tar.gz 855262 SHA256 ca482d690052343d6cb9452433248a0a92cc8bfc8fa529dc313220c9d7c0d000 SHA512 7850fa031a2bd69e9cf17db6d8f82f716ab5f9e60b34d1a53591a3ff46750fb01880f3282a7194465441abc4c2ba60f543646097f5f0eef6fe78b36266a3dbdc WHIRLPOOL 0c7cfcc798c2126ca345b38560972dfca79adf2b5bf2fa0d4dccaf1745298dec601c902cae8f9b35970e63084d0a261cd42f230b1c452905a28607d18fcebeed
+DIST menhir-20171013.tar.gz 854000 SHA256 7c1bfed0bda443c40408c2bb2e2a4bae2f6168ac1d5a7e258117dcea83c51cbf SHA512 ba6359c471aee62c996bd6495612f444e7ac226f7aad9991a76e4daa2df00cdec2387c488c6a29246ca48079bd8199b94de09a44f1fb05465cbeddff0b39df54 WHIRLPOOL ef58abaaa96ad8365d5359ee8e99ad7098763b3266af89417b481d234d7e5f5cd1d2aa8cba8cafebb5b6a4a64509f9faeb7088e9d6eab13d844ef3e64bc0b73f

diff --git a/dev-ml/menhir/menhir-20171013.ebuild b/dev-ml/menhir/menhir-20171013.ebuild
new file mode 100644
index 00000000000..51e7184f445
--- /dev/null
+++ b/dev-ml/menhir/menhir-20171013.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc README.md CHANGES.md
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2018-12-15  9:19 Mikle Kolyada
  0 siblings, 0 replies; 66+ messages in thread
From: Mikle Kolyada @ 2018-12-15  9:19 UTC (permalink / raw
  To: gentoo-commits

commit:     4fd6956029b9e1e3ea508eddf022cbf647ee6e7c
Author:     Mikle Kolyada <zlogene <AT> gentoo <DOT> org>
AuthorDate: Sat Dec 15 09:18:01 2018 +0000
Commit:     Mikle Kolyada <zlogene <AT> gentoo <DOT> org>
CommitDate: Sat Dec 15 09:19:04 2018 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4fd69560

dev-ml/menhir: amd64 stable wrt bug #672444

Signed-off-by: Mikle Kolyada <zlogene <AT> gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11

 dev-ml/menhir/menhir-20171013.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/menhir/menhir-20171013.ebuild b/dev-ml/menhir/menhir-20171013.ebuild
index 51e7184f445..b34b8feeb56 100644
--- a/dev-ml/menhir/menhir-20171013.ebuild
+++ b/dev-ml/menhir/menhir-20171013.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=5
@@ -11,7 +11,7 @@ SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~x86"
 IUSE="examples +ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2019-07-25 14:40 Alfredo Tupone
  0 siblings, 0 replies; 66+ messages in thread
From: Alfredo Tupone @ 2019-07-25 14:40 UTC (permalink / raw
  To: gentoo-commits

commit:     13d836c4055c9fe0a95ee947b29e49c1a70392a8
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Jul 25 14:40:30 2019 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Jul 25 14:40:30 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=13d836c4

dev-ml/menhir: bump to 20181006

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
Package-Manager: Portage-2.3.66, Repoman-2.3.11

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20181006.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 0b2cfb92848..d644e2fce44 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,2 +1,3 @@
 DIST menhir-20170712.tar.gz 855262 BLAKE2B 259a165f30f18720ff2fb3457a8ee51dc63202860a9ad097ad6e49e2666480019b7011a11764f2c3780cf12a246c313058a35f07d100c891e07ba3ed7cb20cca SHA512 7850fa031a2bd69e9cf17db6d8f82f716ab5f9e60b34d1a53591a3ff46750fb01880f3282a7194465441abc4c2ba60f543646097f5f0eef6fe78b36266a3dbdc
 DIST menhir-20171013.tar.gz 854000 BLAKE2B d50ce48d32d3bfd588520d6e5a8af4ea628089010fb286df6f87ee3f773273427f9ac6956b4b4bc1c27592aaea1f29447f0223b6b29d9cd0533c47d10eecb318 SHA512 ba6359c471aee62c996bd6495612f444e7ac226f7aad9991a76e4daa2df00cdec2387c488c6a29246ca48079bd8199b94de09a44f1fb05465cbeddff0b39df54
+DIST menhir-20181006.tar.gz 6665871 BLAKE2B 98820922c3dc9ffa27e0f9432d683aae3a1115cd5ba7d1114c57730c7dc679a918c14ef692d1287ca851c62d32aca50a034de1d4c6d4049ddf80e4694bbbae3e SHA512 a838c0b6411345ae64e21f8649367541a7e137af7e552e1dcc3da0c2212813de3d0c359dbd863d0130be897148063b406e0757fd2f18b42d43d3964963ebd4c7

diff --git a/dev-ml/menhir/menhir-20181006.ebuild b/dev-ml/menhir/menhir-20181006.ebuild
new file mode 100644
index 00000000000..1ae3f25522f
--- /dev/null
+++ b/dev-ml/menhir/menhir-20181006.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc README.md CHANGES.md
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2019-10-21 18:28 Alfredo Tupone
  0 siblings, 0 replies; 66+ messages in thread
From: Alfredo Tupone @ 2019-10-21 18:28 UTC (permalink / raw
  To: gentoo-commits

commit:     e1a45a59354169a207776cc44ec0771e18209f88
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 21 18:26:29 2019 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Oct 21 18:27:53 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e1a45a59

dev-ml/menhir: Stable version

Package-Manager: Portage-2.3.69, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/menhir/menhir-20181006.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20181006.ebuild b/dev-ml/menhir/menhir-20181006.ebuild
index 1ae3f25522f..00be878804a 100644
--- a/dev-ml/menhir/menhir-20181006.ebuild
+++ b/dev-ml/menhir/menhir-20181006.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~x86"
 IUSE="examples +ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2019-12-03  9:49 Jason A. Donenfeld
  0 siblings, 0 replies; 66+ messages in thread
From: Jason A. Donenfeld @ 2019-12-03  9:49 UTC (permalink / raw
  To: gentoo-commits

commit:     93c943f023a98ee5fa4b985de120be61732f650a
Author:     Jason A. Donenfeld <zx2c4 <AT> gentoo <DOT> org>
AuthorDate: Tue Dec  3 09:43:39 2019 +0000
Commit:     Jason A. Donenfeld <zx2c4 <AT> gentoo <DOT> org>
CommitDate: Tue Dec  3 09:48:56 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=93c943f0

dev-ml/menhir: bump to 20190924

Package-Manager: Portage-2.3.79, Repoman-2.3.18
Signed-off-by: Jason A. Donenfeld <zx2c4 <AT> gentoo.org>

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20190924.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index d644e2fce44..b47b351e3ff 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,3 +1,4 @@
 DIST menhir-20170712.tar.gz 855262 BLAKE2B 259a165f30f18720ff2fb3457a8ee51dc63202860a9ad097ad6e49e2666480019b7011a11764f2c3780cf12a246c313058a35f07d100c891e07ba3ed7cb20cca SHA512 7850fa031a2bd69e9cf17db6d8f82f716ab5f9e60b34d1a53591a3ff46750fb01880f3282a7194465441abc4c2ba60f543646097f5f0eef6fe78b36266a3dbdc
 DIST menhir-20171013.tar.gz 854000 BLAKE2B d50ce48d32d3bfd588520d6e5a8af4ea628089010fb286df6f87ee3f773273427f9ac6956b4b4bc1c27592aaea1f29447f0223b6b29d9cd0533c47d10eecb318 SHA512 ba6359c471aee62c996bd6495612f444e7ac226f7aad9991a76e4daa2df00cdec2387c488c6a29246ca48079bd8199b94de09a44f1fb05465cbeddff0b39df54
 DIST menhir-20181006.tar.gz 6665871 BLAKE2B 98820922c3dc9ffa27e0f9432d683aae3a1115cd5ba7d1114c57730c7dc679a918c14ef692d1287ca851c62d32aca50a034de1d4c6d4049ddf80e4694bbbae3e SHA512 a838c0b6411345ae64e21f8649367541a7e137af7e552e1dcc3da0c2212813de3d0c359dbd863d0130be897148063b406e0757fd2f18b42d43d3964963ebd4c7
+DIST menhir-20190924.tar.gz 2491000 BLAKE2B 463825aa0f3ea41e49d9c130226bc8bbfc2b96650debf8d79422a90b93338ead58e01aa0c34b2161e4383d1c9a8d77ab58bb1da78e3187ed60b02e13f7742844 SHA512 8036eb8a65f123ceadd21739d88dafca54a2338fc168922a1301a9fbe709ac5e8e7214d95d8114f3798c15f458822e64dcedb94f7fff18ab6f9ccfb6de462e46

diff --git a/dev-ml/menhir/menhir-20190924.ebuild b/dev-ml/menhir/menhir-20190924.ebuild
new file mode 100644
index 00000000000..19059e47d0d
--- /dev/null
+++ b/dev-ml/menhir/menhir-20190924.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit findlib eutils
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+IUSE="examples +ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+	dev-ml/ocamlbuild"
+
+src_configure() {
+	if ! use ocamlopt ; then
+		export TARGET=byte
+	fi
+}
+
+src_compile() {
+	emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+	findlib_src_preinst
+	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+	use examples && docompress -x /usr/share/doc/${PF}/demos
+	dodoc README.md CHANGES.md
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2020-11-28 18:37 Aaron Bauman
  0 siblings, 0 replies; 66+ messages in thread
From: Aaron Bauman @ 2020-11-28 18:37 UTC (permalink / raw
  To: gentoo-commits

commit:     9047d830ef0cd8f38a2a552affe4a3bbaefc15c9
Author:     Aaron Bauman <bman <AT> gentoo <DOT> org>
AuthorDate: Sat Nov 28 18:19:49 2020 +0000
Commit:     Aaron Bauman <bman <AT> gentoo <DOT> org>
CommitDate: Sat Nov 28 18:37:17 2020 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9047d830

dev-ml/menhir: drop old

Signed-off-by: Aaron Bauman <bman <AT> gentoo.org>

 dev-ml/menhir/Manifest               |  2 --
 dev-ml/menhir/menhir-20170712.ebuild | 36 ------------------------------------
 dev-ml/menhir/menhir-20171013.ebuild | 36 ------------------------------------
 3 files changed, 74 deletions(-)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index b47b351e3ff..259d1884f6d 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,4 +1,2 @@
-DIST menhir-20170712.tar.gz 855262 BLAKE2B 259a165f30f18720ff2fb3457a8ee51dc63202860a9ad097ad6e49e2666480019b7011a11764f2c3780cf12a246c313058a35f07d100c891e07ba3ed7cb20cca SHA512 7850fa031a2bd69e9cf17db6d8f82f716ab5f9e60b34d1a53591a3ff46750fb01880f3282a7194465441abc4c2ba60f543646097f5f0eef6fe78b36266a3dbdc
-DIST menhir-20171013.tar.gz 854000 BLAKE2B d50ce48d32d3bfd588520d6e5a8af4ea628089010fb286df6f87ee3f773273427f9ac6956b4b4bc1c27592aaea1f29447f0223b6b29d9cd0533c47d10eecb318 SHA512 ba6359c471aee62c996bd6495612f444e7ac226f7aad9991a76e4daa2df00cdec2387c488c6a29246ca48079bd8199b94de09a44f1fb05465cbeddff0b39df54
 DIST menhir-20181006.tar.gz 6665871 BLAKE2B 98820922c3dc9ffa27e0f9432d683aae3a1115cd5ba7d1114c57730c7dc679a918c14ef692d1287ca851c62d32aca50a034de1d4c6d4049ddf80e4694bbbae3e SHA512 a838c0b6411345ae64e21f8649367541a7e137af7e552e1dcc3da0c2212813de3d0c359dbd863d0130be897148063b406e0757fd2f18b42d43d3964963ebd4c7
 DIST menhir-20190924.tar.gz 2491000 BLAKE2B 463825aa0f3ea41e49d9c130226bc8bbfc2b96650debf8d79422a90b93338ead58e01aa0c34b2161e4383d1c9a8d77ab58bb1da78e3187ed60b02e13f7742844 SHA512 8036eb8a65f123ceadd21739d88dafca54a2338fc168922a1301a9fbe709ac5e8e7214d95d8114f3798c15f458822e64dcedb94f7fff18ab6f9ccfb6de462e46

diff --git a/dev-ml/menhir/menhir-20170712.ebuild b/dev-ml/menhir/menhir-20170712.ebuild
deleted file mode 100644
index 51e7184f445..00000000000
--- a/dev-ml/menhir/menhir-20170712.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit findlib eutils
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="GPL-2 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
-IUSE="examples +ocamlopt"
-
-RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-DEPEND="${RDEPEND}
-	dev-ml/ocamlbuild"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc README.md CHANGES.md
-}

diff --git a/dev-ml/menhir/menhir-20171013.ebuild b/dev-ml/menhir/menhir-20171013.ebuild
deleted file mode 100644
index b34b8feeb56..00000000000
--- a/dev-ml/menhir/menhir-20171013.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2018 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit findlib eutils
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
-
-LICENSE="GPL-2 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~x86"
-IUSE="examples +ocamlopt"
-
-RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-DEPEND="${RDEPEND}
-	dev-ml/ocamlbuild"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-	emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc README.md CHANGES.md
-}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-01-17 20:52 Alfredo Tupone
  0 siblings, 0 replies; 66+ messages in thread
From: Alfredo Tupone @ 2021-01-17 20:52 UTC (permalink / raw
  To: gentoo-commits

commit:     7e4d39d90751bdb3d4e8388e3255fed4d4c0c269
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 17 20:51:52 2021 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jan 17 20:51:52 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7e4d39d9

dev-ml/menhir: ml maintains it

Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/menhir/metadata.xml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/dev-ml/menhir/metadata.xml b/dev-ml/menhir/metadata.xml
index 6f49eba8f49..9f27ba42c7d 100644
--- a/dev-ml/menhir/metadata.xml
+++ b/dev-ml/menhir/metadata.xml
@@ -1,5 +1,8 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
-<!-- maintainer-needed -->
+	<maintainer type="project">
+		<email>ml@gentoo.org</email>
+		<name>ML</name>
+	</maintainer>
 </pkgmetadata>


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-02-10 16:39 Sam James
  0 siblings, 0 replies; 66+ messages in thread
From: Sam James @ 2021-02-10 16:39 UTC (permalink / raw
  To: gentoo-commits

commit:     807f51753480017e35acce272bb122dc76992e9b
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 10 16:39:05 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Feb 10 16:39:05 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=807f5175

dev-ml/menhir: Keyword 20190924 ppc64, #766884

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-ml/menhir/menhir-20190924.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/menhir/menhir-20190924.ebuild b/dev-ml/menhir/menhir-20190924.ebuild
index 19059e47d0d..3596a5e7c46 100644
--- a/dev-ml/menhir/menhir-20190924.ebuild
+++ b/dev-ml/menhir/menhir-20190924.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
 IUSE="examples +ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-02-25 13:09 Sam James
  0 siblings, 0 replies; 66+ messages in thread
From: Sam James @ 2021-02-25 13:09 UTC (permalink / raw
  To: gentoo-commits

commit:     0a1bc6655028b3704797565683821443d00e1541
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Feb 25 13:09:03 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Feb 25 13:09:03 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0a1bc665

dev-ml/menhir: Stabilize 20190924 ppc, #772833

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-ml/menhir/menhir-20190924.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20190924.ebuild b/dev-ml/menhir/menhir-20190924.ebuild
index 3596a5e7c46..e6313e0d0bd 100644
--- a/dev-ml/menhir/menhir-20190924.ebuild
+++ b/dev-ml/menhir/menhir-20190924.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 ~x86"
 IUSE="examples +ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-02-25 17:54 Sam James
  0 siblings, 0 replies; 66+ messages in thread
From: Sam James @ 2021-02-25 17:54 UTC (permalink / raw
  To: gentoo-commits

commit:     d48d1bcd6e50db3c67bfbc84f52c074db45621f3
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Feb 25 17:54:08 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Feb 25 17:54:08 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d48d1bcd

dev-ml/menhir: Stabilize 20190924 x86, #772833

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-ml/menhir/menhir-20190924.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20190924.ebuild b/dev-ml/menhir/menhir-20190924.ebuild
index e6313e0d0bd..7d745a8d0b2 100644
--- a/dev-ml/menhir/menhir-20190924.ebuild
+++ b/dev-ml/menhir/menhir-20190924.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 x86"
 IUSE="examples +ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-03-04 14:28 Agostino Sarubbo
  0 siblings, 0 replies; 66+ messages in thread
From: Agostino Sarubbo @ 2021-03-04 14:28 UTC (permalink / raw
  To: gentoo-commits

commit:     eb7688d46b875c6cd3d0ec5bfcec528419ab9570
Author:     Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Thu Mar  4 14:27:37 2021 +0000
Commit:     Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Thu Mar  4 14:27:37 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=eb7688d4

dev-ml/menhir: amd64 stable wrt bug #772833

Package-Manager: Portage-3.0.13, Repoman-3.0.2
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>

 dev-ml/menhir/menhir-20190924.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20190924.ebuild b/dev-ml/menhir/menhir-20190924.ebuild
index 7d745a8d0b2..c925dc23629 100644
--- a/dev-ml/menhir/menhir-20190924.ebuild
+++ b/dev-ml/menhir/menhir-20190924.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 x86"
+KEYWORDS="amd64 ~arm ~arm64 ppc ~ppc64 x86"
 IUSE="examples +ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-03-13 14:05 Sam James
  0 siblings, 0 replies; 66+ messages in thread
From: Sam James @ 2021-03-13 14:05 UTC (permalink / raw
  To: gentoo-commits

commit:     12555466f135fb44d7c233f364842e7fa1237eed
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 13 14:04:57 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 13 14:04:57 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=12555466

dev-ml/menhir: Stabilize 20190924 ppc64, #772833

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-ml/menhir/menhir-20190924.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20190924.ebuild b/dev-ml/menhir/menhir-20190924.ebuild
index c925dc23629..04dd35c4f2a 100644
--- a/dev-ml/menhir/menhir-20190924.ebuild
+++ b/dev-ml/menhir/menhir-20190924.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ppc ~ppc64 x86"
+KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 x86"
 IUSE="examples +ocamlopt"
 
 RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-07-18 13:41 Alfredo Tupone
  0 siblings, 0 replies; 66+ messages in thread
From: Alfredo Tupone @ 2021-07-18 13:41 UTC (permalink / raw
  To: gentoo-commits

commit:     018d1a733064246c2a25c2d146d79a145bda3122
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 18 13:40:46 2021 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jul 18 13:40:46 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=018d1a73

dev-ml/menhir: bump 20210419

Package-Manager: Portage-3.0.20, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20210419.ebuild | 15 +++++++++++++++
 2 files changed, 16 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index fb9913bf06c..8b51fd3ddf9 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1 +1,2 @@
 DIST menhir-20190924.tar.gz 2491000 BLAKE2B 463825aa0f3ea41e49d9c130226bc8bbfc2b96650debf8d79422a90b93338ead58e01aa0c34b2161e4383d1c9a8d77ab58bb1da78e3187ed60b02e13f7742844 SHA512 8036eb8a65f123ceadd21739d88dafca54a2338fc168922a1301a9fbe709ac5e8e7214d95d8114f3798c15f458822e64dcedb94f7fff18ab6f9ccfb6de462e46
+DIST menhir-20210419.tar.gz 1136536 BLAKE2B 9d95600221aca25983674fa736c35ac0c5f2809a8aade5f9163a7b8baaacc660c03376b52749ae1d75d0d35ad8f4710d7f43832ef5ee0283fce7f7a41f15c120 SHA512 cca9037586635a6603531629671cc1448d65deb47c66654928d34c9163c4b501901428afc95eb0efdfc7f010d2efa176385420d9296d59b840176e07b8bf0fce

diff --git a/dev-ml/menhir/menhir-20210419.ebuild b/dev-ml/menhir/menhir-20210419.ebuild
new file mode 100644
index 00000000000..f09169a94ff
--- /dev/null
+++ b/dev-ml/menhir/menhir-20210419.ebuild
@@ -0,0 +1,15 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-07-18 17:39 Alfredo Tupone
  0 siblings, 0 replies; 66+ messages in thread
From: Alfredo Tupone @ 2021-07-18 17:39 UTC (permalink / raw
  To: gentoo-commits

commit:     092f46163dad03ee59ed6bf9859c6d98ade0dfe4
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 18 17:39:19 2021 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jul 18 17:39:19 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=092f4616

dev-ml/menhir: install menhirLib and menhirSdk too

Closes: https://bugs.gentoo.org/802765
Package-Manager: Portage-3.0.20, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/menhir/{menhir-20210419.ebuild => menhir-20210419-r1.ebuild} | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/dev-ml/menhir/menhir-20210419.ebuild b/dev-ml/menhir/menhir-20210419-r1.ebuild
similarity index 81%
rename from dev-ml/menhir/menhir-20210419.ebuild
rename to dev-ml/menhir/menhir-20210419-r1.ebuild
index f09169a94ff..eee8ab93b31 100644
--- a/dev-ml/menhir/menhir-20210419.ebuild
+++ b/dev-ml/menhir/menhir-20210419-r1.ebuild
@@ -13,3 +13,9 @@ LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
 KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
 IUSE="+ocamlopt"
+
+src_install() {
+	dune_src_install menhir
+	dune_src_install menhirLib
+	dune_src_install menhirSdk
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-10-11  5:16 Sam James
  0 siblings, 0 replies; 66+ messages in thread
From: Sam James @ 2021-10-11  5:16 UTC (permalink / raw
  To: gentoo-commits

commit:     6c49741e38bc3f6ac636e4e15722f785d48f9aff
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 11 05:16:30 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Oct 11 05:16:30 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6c49741e

dev-ml/menhir: Stabilize 20210419-r1 amd64, #817713

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-ml/menhir/menhir-20210419-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20210419-r1.ebuild b/dev-ml/menhir/menhir-20210419-r1.ebuild
index eee8ab93b31..7cc9058c364 100644
--- a/dev-ml/menhir/menhir-20210419-r1.ebuild
+++ b/dev-ml/menhir/menhir-20210419-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
 IUSE="+ocamlopt"
 
 src_install() {


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-10-11  5:45 Sam James
  0 siblings, 0 replies; 66+ messages in thread
From: Sam James @ 2021-10-11  5:45 UTC (permalink / raw
  To: gentoo-commits

commit:     8559ff7cc11d1de11c391632921488d0b8dda9e5
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 11 05:44:09 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Oct 11 05:44:09 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8559ff7c

dev-ml/menhir: Stabilize 20210419-r1 ppc64, #817713

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-ml/menhir/menhir-20210419-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20210419-r1.ebuild b/dev-ml/menhir/menhir-20210419-r1.ebuild
index 7cc9058c364..3bfd2b1f5e7 100644
--- a/dev-ml/menhir/menhir-20210419-r1.ebuild
+++ b/dev-ml/menhir/menhir-20210419-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~x86"
 IUSE="+ocamlopt"
 
 src_install() {


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-10-11 12:17 Agostino Sarubbo
  0 siblings, 0 replies; 66+ messages in thread
From: Agostino Sarubbo @ 2021-10-11 12:17 UTC (permalink / raw
  To: gentoo-commits

commit:     7cc7c79f75ff8ac88b0ed15fefce74da26df5200
Author:     Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 11 12:16:01 2021 +0000
Commit:     Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Mon Oct 11 12:16:01 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7cc7c79f

dev-ml/menhir: ppc stable wrt bug #817713

Package-Manager: Portage-3.0.20, Repoman-3.0.3
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>

 dev-ml/menhir/menhir-20210419-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20210419-r1.ebuild b/dev-ml/menhir/menhir-20210419-r1.ebuild
index 3bfd2b1f5e7..78e24f252d1 100644
--- a/dev-ml/menhir/menhir-20210419-r1.ebuild
+++ b/dev-ml/menhir/menhir-20210419-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 ~x86"
 IUSE="+ocamlopt"
 
 src_install() {


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-10-13 20:35 Sam James
  0 siblings, 0 replies; 66+ messages in thread
From: Sam James @ 2021-10-13 20:35 UTC (permalink / raw
  To: gentoo-commits

commit:     504b1acd9c10ecd33a1d2566554670427f1cfcad
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 13 20:34:43 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Oct 13 20:34:43 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=504b1acd

dev-ml/menhir: Stabilize 20210419-r1 arm, #817713

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-ml/menhir/menhir-20210419-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20210419-r1.ebuild b/dev-ml/menhir/menhir-20210419-r1.ebuild
index 5451a36f8cc..05d122b0ec5 100644
--- a/dev-ml/menhir/menhir-20210419-r1.ebuild
+++ b/dev-ml/menhir/menhir-20210419-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 x86"
+KEYWORDS="amd64 arm ~arm64 ppc ppc64 x86"
 IUSE="+ocamlopt"
 
 src_install() {


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-10-13 20:37 Sam James
  0 siblings, 0 replies; 66+ messages in thread
From: Sam James @ 2021-10-13 20:37 UTC (permalink / raw
  To: gentoo-commits

commit:     cc0318d3fcb1b1cbac4afc88cc88062c3e7b35bb
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 13 20:36:06 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Oct 13 20:36:06 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cc0318d3

dev-ml/menhir: Stabilize 20210419-r1 arm64, #817713

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-ml/menhir/menhir-20210419-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20210419-r1.ebuild b/dev-ml/menhir/menhir-20210419-r1.ebuild
index 05d122b0ec5..4c393d9c4ec 100644
--- a/dev-ml/menhir/menhir-20210419-r1.ebuild
+++ b/dev-ml/menhir/menhir-20210419-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="amd64 arm ~arm64 ppc ppc64 x86"
+KEYWORDS="amd64 arm arm64 ppc ppc64 x86"
 IUSE="+ocamlopt"
 
 src_install() {


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2021-11-07 16:46 Alfredo Tupone
  0 siblings, 0 replies; 66+ messages in thread
From: Alfredo Tupone @ 2021-11-07 16:46 UTC (permalink / raw
  To: gentoo-commits

commit:     6b2aeb5578c41ef128dc938611bdf67b69a3153a
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Nov  7 16:45:57 2021 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Nov  7 16:45:57 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6b2aeb55

dev-ml/menhir: 20211012 bump

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20211012.ebuild | 21 +++++++++++++++++++++
 2 files changed, 22 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 8b51fd3ddf9..4de4f6988c3 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,2 +1,3 @@
 DIST menhir-20190924.tar.gz 2491000 BLAKE2B 463825aa0f3ea41e49d9c130226bc8bbfc2b96650debf8d79422a90b93338ead58e01aa0c34b2161e4383d1c9a8d77ab58bb1da78e3187ed60b02e13f7742844 SHA512 8036eb8a65f123ceadd21739d88dafca54a2338fc168922a1301a9fbe709ac5e8e7214d95d8114f3798c15f458822e64dcedb94f7fff18ab6f9ccfb6de462e46
 DIST menhir-20210419.tar.gz 1136536 BLAKE2B 9d95600221aca25983674fa736c35ac0c5f2809a8aade5f9163a7b8baaacc660c03376b52749ae1d75d0d35ad8f4710d7f43832ef5ee0283fce7f7a41f15c120 SHA512 cca9037586635a6603531629671cc1448d65deb47c66654928d34c9163c4b501901428afc95eb0efdfc7f010d2efa176385420d9296d59b840176e07b8bf0fce
+DIST menhir-20211012.tar.gz 1154256 BLAKE2B 3bf94c532d06beed2a9e901f0a9f244f1693c8a42c04e604e4a1dcfd53de8dc90af4a49c9a6fd431bd20882c18e6f29e470b41eed2021da5f477c160e8d45bb2 SHA512 e967d01a8e241413461b4e3301b808b014ba6e7c56c62efae57a23482cf1c59b490f8ae810c67927085252e5a83454af5d73651f50637f493d6970c7452d6213

diff --git a/dev-ml/menhir/menhir-20211012.ebuild b/dev-ml/menhir/menhir-20211012.ebuild
new file mode 100644
index 00000000000..eee8ab93b31
--- /dev/null
+++ b/dev-ml/menhir/menhir-20211012.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"
+
+src_install() {
+	dune_src_install menhir
+	dune_src_install menhirLib
+	dune_src_install menhirSdk
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2022-09-06 17:00 Maciej Barć
  0 siblings, 0 replies; 66+ messages in thread
From: Maciej Barć @ 2022-09-06 17:00 UTC (permalink / raw
  To: gentoo-commits

commit:     d390082d1c60e975d0c1dab6077d9263dd7a0937
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Sep  6 15:50:08 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Sep  6 17:00:11 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d390082d

dev-ml/menhir: bump to 20220210

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20220210.ebuild | 21 +++++++++++++++++++++
 2 files changed, 22 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 4de4f6988c3f..18f45db21188 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,3 +1,4 @@
 DIST menhir-20190924.tar.gz 2491000 BLAKE2B 463825aa0f3ea41e49d9c130226bc8bbfc2b96650debf8d79422a90b93338ead58e01aa0c34b2161e4383d1c9a8d77ab58bb1da78e3187ed60b02e13f7742844 SHA512 8036eb8a65f123ceadd21739d88dafca54a2338fc168922a1301a9fbe709ac5e8e7214d95d8114f3798c15f458822e64dcedb94f7fff18ab6f9ccfb6de462e46
 DIST menhir-20210419.tar.gz 1136536 BLAKE2B 9d95600221aca25983674fa736c35ac0c5f2809a8aade5f9163a7b8baaacc660c03376b52749ae1d75d0d35ad8f4710d7f43832ef5ee0283fce7f7a41f15c120 SHA512 cca9037586635a6603531629671cc1448d65deb47c66654928d34c9163c4b501901428afc95eb0efdfc7f010d2efa176385420d9296d59b840176e07b8bf0fce
 DIST menhir-20211012.tar.gz 1154256 BLAKE2B 3bf94c532d06beed2a9e901f0a9f244f1693c8a42c04e604e4a1dcfd53de8dc90af4a49c9a6fd431bd20882c18e6f29e470b41eed2021da5f477c160e8d45bb2 SHA512 e967d01a8e241413461b4e3301b808b014ba6e7c56c62efae57a23482cf1c59b490f8ae810c67927085252e5a83454af5d73651f50637f493d6970c7452d6213
+DIST menhir-20220210.tar.gz 1304512 BLAKE2B 28a596e77b2480abe3dae70f2b5b91f7b37fc02a776c1b971841edffe0f482f43c06bc93599428067abd89998146b9e19b1b761f88bf9f6212812c3f636f6012 SHA512 55af21092fd133c2b3f84589c0f98c9a4ce718cbafaacf82b459a15d0eaee711d82fa269283cab24caaebe2a5a1c75d469650248333a2991323c49d10cfe9e7f

diff --git a/dev-ml/menhir/menhir-20220210.ebuild b/dev-ml/menhir/menhir-20220210.ebuild
new file mode 100644
index 000000000000..a7e17e42e5f2
--- /dev/null
+++ b/dev-ml/menhir/menhir-20220210.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+src_install() {
+	dune_src_install menhir
+	dune_src_install menhirLib
+	dune_src_install menhirSdk
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2022-12-05 18:04 Alfredo Tupone
  0 siblings, 0 replies; 66+ messages in thread
From: Alfredo Tupone @ 2022-12-05 18:04 UTC (permalink / raw
  To: gentoo-commits

commit:     35ce53d48d4efbf7578a4eecea9f584797b4ca75
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Dec  5 18:04:14 2022 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Dec  5 18:04:38 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=35ce53d4

dev-ml/menhir: BetterCompressionUri

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

 dev-ml/menhir/Manifest                  | 8 ++++----
 dev-ml/menhir/menhir-20190924.ebuild    | 2 +-
 dev-ml/menhir/menhir-20210419-r1.ebuild | 2 +-
 dev-ml/menhir/menhir-20211012.ebuild    | 2 +-
 dev-ml/menhir/menhir-20220210.ebuild    | 2 +-
 5 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 18f45db21188..7a29a904eb8a 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,4 +1,4 @@
-DIST menhir-20190924.tar.gz 2491000 BLAKE2B 463825aa0f3ea41e49d9c130226bc8bbfc2b96650debf8d79422a90b93338ead58e01aa0c34b2161e4383d1c9a8d77ab58bb1da78e3187ed60b02e13f7742844 SHA512 8036eb8a65f123ceadd21739d88dafca54a2338fc168922a1301a9fbe709ac5e8e7214d95d8114f3798c15f458822e64dcedb94f7fff18ab6f9ccfb6de462e46
-DIST menhir-20210419.tar.gz 1136536 BLAKE2B 9d95600221aca25983674fa736c35ac0c5f2809a8aade5f9163a7b8baaacc660c03376b52749ae1d75d0d35ad8f4710d7f43832ef5ee0283fce7f7a41f15c120 SHA512 cca9037586635a6603531629671cc1448d65deb47c66654928d34c9163c4b501901428afc95eb0efdfc7f010d2efa176385420d9296d59b840176e07b8bf0fce
-DIST menhir-20211012.tar.gz 1154256 BLAKE2B 3bf94c532d06beed2a9e901f0a9f244f1693c8a42c04e604e4a1dcfd53de8dc90af4a49c9a6fd431bd20882c18e6f29e470b41eed2021da5f477c160e8d45bb2 SHA512 e967d01a8e241413461b4e3301b808b014ba6e7c56c62efae57a23482cf1c59b490f8ae810c67927085252e5a83454af5d73651f50637f493d6970c7452d6213
-DIST menhir-20220210.tar.gz 1304512 BLAKE2B 28a596e77b2480abe3dae70f2b5b91f7b37fc02a776c1b971841edffe0f482f43c06bc93599428067abd89998146b9e19b1b761f88bf9f6212812c3f636f6012 SHA512 55af21092fd133c2b3f84589c0f98c9a4ce718cbafaacf82b459a15d0eaee711d82fa269283cab24caaebe2a5a1c75d469650248333a2991323c49d10cfe9e7f
+DIST menhir-20190924.tar.bz2 2358022 BLAKE2B 4e92cab387c1f0e42142607d366ca93cd2a347cfede84872eeb1a7d3f7d799f06aff9c7d26abc9411c50452f5727e6fe669ed8761df6524127543b5f5e801f37 SHA512 bd0ec3cbd122b59d65a3797ec252f1e9af4889808aa6988270c1560df9e8f66895dfa3373166c1fb81025535b56829a936638c3f99cece7757aa01cd2dbd7d60
+DIST menhir-20210419.tar.bz2 1020155 BLAKE2B ac8491bc0325ac371dcdec4beb9dde52f64c979071b866ff133105e09c16119b8a444dad76b6bda8c0fb9ef992a43eeb7a6053c341335394ac9e8b7d41cf1eb1 SHA512 0671a93fcad115aae775a3b5e20f6d17604085d25013bd28bc96d3d46e0c9785c50459ab052c7fdc07c5d210f4d367a4d609a67da8f853ef6bddab1458919485
+DIST menhir-20211012.tar.bz2 1033414 BLAKE2B c124dac9b4aaeb578a694d3de989b685edceed43e2286a8fb9dc6e347405d766cfb934dc99ef82853fc255b6a057769ac42c1d5b7f8d3caebcbda70bbe0d5bfa SHA512 bb1c4a93dd69062409274f22d1cf57390dab71dccd93e65a19ee65183f56209bd330014f3a1ced3c903f9e914c9fd1bddd68ae0e5c338bb47d82d81444af3e9a
+DIST menhir-20220210.tar.bz2 1160357 BLAKE2B a9401b50db4dfdfe56c5c10919d4d385cbb7bf27d1518932e55d6757c08989407cda17c65f72d20e21738618e4f97f20b10098c9185f3882b3391aab7f9f8bc9 SHA512 8a852e995cab57b16adc1b7708d3acdf5f8b65d13dbf907a4155ff45d71dccc65868fe369590b48a3f06d8319f74777ce2e9be05caa9dbe060c0ae3a2b37943f

diff --git a/dev-ml/menhir/menhir-20190924.ebuild b/dev-ml/menhir/menhir-20190924.ebuild
index 0edee85c7f31..495e751288a2 100644
--- a/dev-ml/menhir/menhir-20190924.ebuild
+++ b/dev-ml/menhir/menhir-20190924.ebuild
@@ -7,7 +7,7 @@ inherit findlib
 
 DESCRIPTION="LR(1) parser generator for the OCaml language"
 HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
+SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"

diff --git a/dev-ml/menhir/menhir-20210419-r1.ebuild b/dev-ml/menhir/menhir-20210419-r1.ebuild
index 26a91f44d2b1..091a343e2f22 100644
--- a/dev-ml/menhir/menhir-20210419-r1.ebuild
+++ b/dev-ml/menhir/menhir-20210419-r1.ebuild
@@ -7,7 +7,7 @@ inherit dune
 
 DESCRIPTION="LR(1) parser generator for the OCaml language"
 HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
+SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"

diff --git a/dev-ml/menhir/menhir-20211012.ebuild b/dev-ml/menhir/menhir-20211012.ebuild
index 8c945af6e7bc..bcb3ce206cf2 100644
--- a/dev-ml/menhir/menhir-20211012.ebuild
+++ b/dev-ml/menhir/menhir-20211012.ebuild
@@ -7,7 +7,7 @@ inherit dune
 
 DESCRIPTION="LR(1) parser generator for the OCaml language"
 HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
+SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"

diff --git a/dev-ml/menhir/menhir-20220210.ebuild b/dev-ml/menhir/menhir-20220210.ebuild
index a7e17e42e5f2..8396c5210d2f 100644
--- a/dev-ml/menhir/menhir-20220210.ebuild
+++ b/dev-ml/menhir/menhir-20220210.ebuild
@@ -7,7 +7,7 @@ inherit dune
 
 DESCRIPTION="LR(1) parser generator for the OCaml language"
 HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
+SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2023-03-17  9:06 Arthur Zamarin
  0 siblings, 0 replies; 66+ messages in thread
From: Arthur Zamarin @ 2023-03-17  9:06 UTC (permalink / raw
  To: gentoo-commits

commit:     7ddc0a5b6bed179d79be7453ac3f75df7d82b349
Author:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 17 09:06:14 2023 +0000
Commit:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri Mar 17 09:06:14 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7ddc0a5b

dev-ml/menhir: Stabilize 20220210 ppc64, #901609

Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>

 dev-ml/menhir/menhir-20220210.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20220210.ebuild b/dev-ml/menhir/menhir-20220210.ebuild
index b89c891e328c..9c9d242694a6 100644
--- a/dev-ml/menhir/menhir-20220210.ebuild
+++ b/dev-ml/menhir/menhir-20220210.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 
 src_install() {


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2023-08-20 11:29 Maciej Barć
  0 siblings, 0 replies; 66+ messages in thread
From: Maciej Barć @ 2023-08-20 11:29 UTC (permalink / raw
  To: gentoo-commits

commit:     e56a8bf2b2099212fa7036062a6af215b7785a9b
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Aug 20 11:10:29 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Aug 20 11:29:21 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e56a8bf2

dev-ml/menhir: drop old 20190924

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-ml/menhir/Manifest               |  1 -
 dev-ml/menhir/menhir-20190924.ebuild | 42 ------------------------------------
 2 files changed, 43 deletions(-)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 7a29a904eb8a..2a64cee3f456 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,4 +1,3 @@
-DIST menhir-20190924.tar.bz2 2358022 BLAKE2B 4e92cab387c1f0e42142607d366ca93cd2a347cfede84872eeb1a7d3f7d799f06aff9c7d26abc9411c50452f5727e6fe669ed8761df6524127543b5f5e801f37 SHA512 bd0ec3cbd122b59d65a3797ec252f1e9af4889808aa6988270c1560df9e8f66895dfa3373166c1fb81025535b56829a936638c3f99cece7757aa01cd2dbd7d60
 DIST menhir-20210419.tar.bz2 1020155 BLAKE2B ac8491bc0325ac371dcdec4beb9dde52f64c979071b866ff133105e09c16119b8a444dad76b6bda8c0fb9ef992a43eeb7a6053c341335394ac9e8b7d41cf1eb1 SHA512 0671a93fcad115aae775a3b5e20f6d17604085d25013bd28bc96d3d46e0c9785c50459ab052c7fdc07c5d210f4d367a4d609a67da8f853ef6bddab1458919485
 DIST menhir-20211012.tar.bz2 1033414 BLAKE2B c124dac9b4aaeb578a694d3de989b685edceed43e2286a8fb9dc6e347405d766cfb934dc99ef82853fc255b6a057769ac42c1d5b7f8d3caebcbda70bbe0d5bfa SHA512 bb1c4a93dd69062409274f22d1cf57390dab71dccd93e65a19ee65183f56209bd330014f3a1ced3c903f9e914c9fd1bddd68ae0e5c338bb47d82d81444af3e9a
 DIST menhir-20220210.tar.bz2 1160357 BLAKE2B a9401b50db4dfdfe56c5c10919d4d385cbb7bf27d1518932e55d6757c08989407cda17c65f72d20e21738618e4f97f20b10098c9185f3882b3391aab7f9f8bc9 SHA512 8a852e995cab57b16adc1b7708d3acdf5f8b65d13dbf907a4155ff45d71dccc65868fe369590b48a3f06d8319f74777ce2e9be05caa9dbe060c0ae3a2b37943f

diff --git a/dev-ml/menhir/menhir-20190924.ebuild b/dev-ml/menhir/menhir-20190924.ebuild
deleted file mode 100644
index 495e751288a2..000000000000
--- a/dev-ml/menhir/menhir-20190924.ebuild
+++ /dev/null
@@ -1,42 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit findlib
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
-
-LICENSE="GPL-2 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86"
-IUSE="examples +ocamlopt"
-
-RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
-DEPEND="${RDEPEND}
-	dev-ml/ocamlbuild"
-
-src_configure() {
-	if ! use ocamlopt ; then
-		export TARGET=byte
-	fi
-}
-
-src_compile() {
-	emake PREFIX="${EPREFIX}"/usr -j1
-}
-
-src_install() {
-	findlib_src_preinst
-
-	emake \
-		PREFIX="${ED}"/usr \
-		docdir="${ED}"/usr/share/doc/${PF} \
-		$(use examples || echo "DOCS=manual.pdf") \
-		install
-
-	use examples && docompress -x /usr/share/doc/${PF}/demos
-	dodoc README.md CHANGES.md
-}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2023-08-20 11:29 Maciej Barć
  0 siblings, 0 replies; 66+ messages in thread
From: Maciej Barć @ 2023-08-20 11:29 UTC (permalink / raw
  To: gentoo-commits

commit:     3f7a316dcef69ae1539e9edbd150b1a7a31139e7
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Aug 20 11:10:46 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Aug 20 11:29:21 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f7a316d

dev-ml/menhir: drop old 20211012

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-ml/menhir/Manifest               |  1 -
 dev-ml/menhir/menhir-20211012.ebuild | 21 ---------------------
 2 files changed, 22 deletions(-)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index b5aef6181974..f8257d7817bc 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,2 +1 @@
-DIST menhir-20211012.tar.bz2 1033414 BLAKE2B c124dac9b4aaeb578a694d3de989b685edceed43e2286a8fb9dc6e347405d766cfb934dc99ef82853fc255b6a057769ac42c1d5b7f8d3caebcbda70bbe0d5bfa SHA512 bb1c4a93dd69062409274f22d1cf57390dab71dccd93e65a19ee65183f56209bd330014f3a1ced3c903f9e914c9fd1bddd68ae0e5c338bb47d82d81444af3e9a
 DIST menhir-20220210.tar.bz2 1160357 BLAKE2B a9401b50db4dfdfe56c5c10919d4d385cbb7bf27d1518932e55d6757c08989407cda17c65f72d20e21738618e4f97f20b10098c9185f3882b3391aab7f9f8bc9 SHA512 8a852e995cab57b16adc1b7708d3acdf5f8b65d13dbf907a4155ff45d71dccc65868fe369590b48a3f06d8319f74777ce2e9be05caa9dbe060c0ae3a2b37943f

diff --git a/dev-ml/menhir/menhir-20211012.ebuild b/dev-ml/menhir/menhir-20211012.ebuild
deleted file mode 100644
index bcb3ce206cf2..000000000000
--- a/dev-ml/menhir/menhir-20211012.ebuild
+++ /dev/null
@@ -1,21 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit dune
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
-
-LICENSE="GPL-2 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
-IUSE="+ocamlopt"
-
-src_install() {
-	dune_src_install menhir
-	dune_src_install menhirLib
-	dune_src_install menhirSdk
-}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2023-08-20 11:29 Maciej Barć
  0 siblings, 0 replies; 66+ messages in thread
From: Maciej Barć @ 2023-08-20 11:29 UTC (permalink / raw
  To: gentoo-commits

commit:     6b0fa42da02fdac3bf7a228f093fa337a9137732
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Aug 20 11:10:37 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Aug 20 11:29:21 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6b0fa42d

dev-ml/menhir: drop old 20210419-r1

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-ml/menhir/Manifest                  |  1 -
 dev-ml/menhir/menhir-20210419-r1.ebuild | 21 ---------------------
 2 files changed, 22 deletions(-)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 2a64cee3f456..b5aef6181974 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,3 +1,2 @@
-DIST menhir-20210419.tar.bz2 1020155 BLAKE2B ac8491bc0325ac371dcdec4beb9dde52f64c979071b866ff133105e09c16119b8a444dad76b6bda8c0fb9ef992a43eeb7a6053c341335394ac9e8b7d41cf1eb1 SHA512 0671a93fcad115aae775a3b5e20f6d17604085d25013bd28bc96d3d46e0c9785c50459ab052c7fdc07c5d210f4d367a4d609a67da8f853ef6bddab1458919485
 DIST menhir-20211012.tar.bz2 1033414 BLAKE2B c124dac9b4aaeb578a694d3de989b685edceed43e2286a8fb9dc6e347405d766cfb934dc99ef82853fc255b6a057769ac42c1d5b7f8d3caebcbda70bbe0d5bfa SHA512 bb1c4a93dd69062409274f22d1cf57390dab71dccd93e65a19ee65183f56209bd330014f3a1ced3c903f9e914c9fd1bddd68ae0e5c338bb47d82d81444af3e9a
 DIST menhir-20220210.tar.bz2 1160357 BLAKE2B a9401b50db4dfdfe56c5c10919d4d385cbb7bf27d1518932e55d6757c08989407cda17c65f72d20e21738618e4f97f20b10098c9185f3882b3391aab7f9f8bc9 SHA512 8a852e995cab57b16adc1b7708d3acdf5f8b65d13dbf907a4155ff45d71dccc65868fe369590b48a3f06d8319f74777ce2e9be05caa9dbe060c0ae3a2b37943f

diff --git a/dev-ml/menhir/menhir-20210419-r1.ebuild b/dev-ml/menhir/menhir-20210419-r1.ebuild
deleted file mode 100644
index 091a343e2f22..000000000000
--- a/dev-ml/menhir/menhir-20210419-r1.ebuild
+++ /dev/null
@@ -1,21 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit dune
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
-
-LICENSE="GPL-2 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86"
-IUSE="+ocamlopt"
-
-src_install() {
-	dune_src_install menhir
-	dune_src_install menhirLib
-	dune_src_install menhirSdk
-}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2023-08-20 11:29 Maciej Barć
  0 siblings, 0 replies; 66+ messages in thread
From: Maciej Barć @ 2023-08-20 11:29 UTC (permalink / raw
  To: gentoo-commits

commit:     5fc303b41809f83e059cd513b1841d358c6e10de
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Aug 20 11:11:50 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Aug 20 11:29:22 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5fc303b4

dev-ml/menhir: bump to 20230608

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20230608.ebuild | 21 +++++++++++++++++++++
 2 files changed, 22 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index f8257d7817bc..363e3aa706e1 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1 +1,2 @@
 DIST menhir-20220210.tar.bz2 1160357 BLAKE2B a9401b50db4dfdfe56c5c10919d4d385cbb7bf27d1518932e55d6757c08989407cda17c65f72d20e21738618e4f97f20b10098c9185f3882b3391aab7f9f8bc9 SHA512 8a852e995cab57b16adc1b7708d3acdf5f8b65d13dbf907a4155ff45d71dccc65868fe369590b48a3f06d8319f74777ce2e9be05caa9dbe060c0ae3a2b37943f
+DIST menhir-20230608.tar.bz2 1195032 BLAKE2B 6d39fb89a7e5dd862cbb868170d5d7156ccab6a3524fee711535497775bc65074256f2e228da532d3365473be7577e174b7ea075fd3b5b716a402ca575c401ae SHA512 6af16eeb1e43c89a2c60ed38da100cb591726e029e58d5313c05f81a317d63511c5e15c5aa334d1e96db182b51235bfa0a9905804d8232d868e1684a630af007

diff --git a/dev-ml/menhir/menhir-20230608.ebuild b/dev-ml/menhir/menhir-20230608.ebuild
new file mode 100644
index 000000000000..0432f636319f
--- /dev/null
+++ b/dev-ml/menhir/menhir-20230608.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+src_install() {
+	dune_src_install menhir
+	dune_src_install menhirLib
+	dune_src_install menhirSdk
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2023-10-08 15:29 Arthur Zamarin
  0 siblings, 0 replies; 66+ messages in thread
From: Arthur Zamarin @ 2023-10-08 15:29 UTC (permalink / raw
  To: gentoo-commits

commit:     c7cf0676bda3ba5f175a04cbce4b62f39ce72e32
Author:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Oct  8 15:29:16 2023 +0000
Commit:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Oct  8 15:29:16 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c7cf0676

dev-ml/menhir: Stabilize 20230608 arm, #915369

Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>

 dev-ml/menhir/menhir-20230608.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20230608.ebuild b/dev-ml/menhir/menhir-20230608.ebuild
index 02e64bb9399a..4ef745240639 100644
--- a/dev-ml/menhir/menhir-20230608.ebuild
+++ b/dev-ml/menhir/menhir-20230608.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 
 src_install() {


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2023-10-08 15:29 Arthur Zamarin
  0 siblings, 0 replies; 66+ messages in thread
From: Arthur Zamarin @ 2023-10-08 15:29 UTC (permalink / raw
  To: gentoo-commits

commit:     1c97a0cdc5d999fbc5eb8009d4dbf859ea3a4d81
Author:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Oct  8 15:29:18 2023 +0000
Commit:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Oct  8 15:29:18 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1c97a0cd

dev-ml/menhir: Stabilize 20230608 arm64, #915369

Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>

 dev-ml/menhir/menhir-20230608.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20230608.ebuild b/dev-ml/menhir/menhir-20230608.ebuild
index 6eee358c3cce..9c9d242694a6 100644
--- a/dev-ml/menhir/menhir-20230608.ebuild
+++ b/dev-ml/menhir/menhir-20230608.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="amd64 arm ~arm64 ~ppc ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 
 src_install() {


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2023-10-08 15:29 Arthur Zamarin
  0 siblings, 0 replies; 66+ messages in thread
From: Arthur Zamarin @ 2023-10-08 15:29 UTC (permalink / raw
  To: gentoo-commits

commit:     958b4f403950159f571b888c77a0dff543a4e174
Author:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Oct  8 15:29:15 2023 +0000
Commit:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Oct  8 15:29:15 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=958b4f40

dev-ml/menhir: Stabilize 20230608 amd64, #915369

Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>

 dev-ml/menhir/menhir-20230608.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20230608.ebuild b/dev-ml/menhir/menhir-20230608.ebuild
index 0432f636319f..02e64bb9399a 100644
--- a/dev-ml/menhir/menhir-20230608.ebuild
+++ b/dev-ml/menhir/menhir-20230608.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 
 src_install() {


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2023-10-08 15:29 Arthur Zamarin
  0 siblings, 0 replies; 66+ messages in thread
From: Arthur Zamarin @ 2023-10-08 15:29 UTC (permalink / raw
  To: gentoo-commits

commit:     000f4388f0607de2841c32e5acc6c092a6510534
Author:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Oct  8 15:29:18 2023 +0000
Commit:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Oct  8 15:29:18 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=000f4388

dev-ml/menhir: Stabilize 20230608 ppc64, #915369

Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>

 dev-ml/menhir/menhir-20230608.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20230608.ebuild b/dev-ml/menhir/menhir-20230608.ebuild
index 43e9936c28af..6eee358c3cce 100644
--- a/dev-ml/menhir/menhir-20230608.ebuild
+++ b/dev-ml/menhir/menhir-20230608.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="amd64 arm ~arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm ~arm64 ~ppc ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 
 src_install() {


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2023-10-08 15:29 Arthur Zamarin
  0 siblings, 0 replies; 66+ messages in thread
From: Arthur Zamarin @ 2023-10-08 15:29 UTC (permalink / raw
  To: gentoo-commits

commit:     325f3f4a1c6ebe8d7ff2c21af37179360eea1dfd
Author:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Oct  8 15:29:17 2023 +0000
Commit:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Oct  8 15:29:17 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=325f3f4a

dev-ml/menhir: Stabilize 20230608 x86, #915369

Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>

 dev-ml/menhir/menhir-20230608.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20230608.ebuild b/dev-ml/menhir/menhir-20230608.ebuild
index 4ef745240639..43e9936c28af 100644
--- a/dev-ml/menhir/menhir-20230608.ebuild
+++ b/dev-ml/menhir/menhir-20230608.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="amd64 arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 arm ~arm64 ~ppc ~ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 
 src_install() {


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2024-06-21 12:32 Maciej Barć
  0 siblings, 0 replies; 66+ messages in thread
From: Maciej Barć @ 2024-06-21 12:32 UTC (permalink / raw
  To: gentoo-commits

commit:     7c83e1bc690fc61e507fc72d6d55084e462f2da0
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 21 12:30:50 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Jun 21 12:31:01 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7c83e1bc

dev-ml/menhir: drop old 20220210

Closes: https://bugs.gentoo.org/923844
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-ml/menhir/Manifest               |  1 -
 dev-ml/menhir/menhir-20220210.ebuild | 21 ---------------------
 2 files changed, 22 deletions(-)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 363e3aa706e1..815d0e3c5268 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,2 +1 @@
-DIST menhir-20220210.tar.bz2 1160357 BLAKE2B a9401b50db4dfdfe56c5c10919d4d385cbb7bf27d1518932e55d6757c08989407cda17c65f72d20e21738618e4f97f20b10098c9185f3882b3391aab7f9f8bc9 SHA512 8a852e995cab57b16adc1b7708d3acdf5f8b65d13dbf907a4155ff45d71dccc65868fe369590b48a3f06d8319f74777ce2e9be05caa9dbe060c0ae3a2b37943f
 DIST menhir-20230608.tar.bz2 1195032 BLAKE2B 6d39fb89a7e5dd862cbb868170d5d7156ccab6a3524fee711535497775bc65074256f2e228da532d3365473be7577e174b7ea075fd3b5b716a402ca575c401ae SHA512 6af16eeb1e43c89a2c60ed38da100cb591726e029e58d5313c05f81a317d63511c5e15c5aa334d1e96db182b51235bfa0a9905804d8232d868e1684a630af007

diff --git a/dev-ml/menhir/menhir-20220210.ebuild b/dev-ml/menhir/menhir-20220210.ebuild
deleted file mode 100644
index 9c9d242694a6..000000000000
--- a/dev-ml/menhir/menhir-20220210.ebuild
+++ /dev/null
@@ -1,21 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="LR(1) parser generator for the OCaml language"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
-
-LICENSE="GPL-2 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
-IUSE="+ocamlopt"
-
-src_install() {
-	dune_src_install menhir
-	dune_src_install menhirLib
-	dune_src_install menhirSdk
-}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2024-06-27 16:33 Alfredo Tupone
  0 siblings, 0 replies; 66+ messages in thread
From: Alfredo Tupone @ 2024-06-27 16:33 UTC (permalink / raw
  To: gentoo-commits

commit:     13ac4699fa004d1b8308a0719a5089cbe02114fc
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 27 16:32:27 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Jun 27 16:33:23 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=13ac4699

dev-ml/menhir: add 20231231

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

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20231231.ebuild | 21 +++++++++++++++++++++
 2 files changed, 22 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 815d0e3c5268..740a9a2896b1 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1 +1,2 @@
 DIST menhir-20230608.tar.bz2 1195032 BLAKE2B 6d39fb89a7e5dd862cbb868170d5d7156ccab6a3524fee711535497775bc65074256f2e228da532d3365473be7577e174b7ea075fd3b5b716a402ca575c401ae SHA512 6af16eeb1e43c89a2c60ed38da100cb591726e029e58d5313c05f81a317d63511c5e15c5aa334d1e96db182b51235bfa0a9905804d8232d868e1684a630af007
+DIST menhir-20231231.tar.bz2 1245465 BLAKE2B 4ac27f693c9b0f34cf6f9c60343cba6c81cc5b4dc278df4da5c16de8484438238efc6e3e985b9f03676f72cc74a0153ea81fd93d057dd2914b86fe1f558d1f9f SHA512 6bcc3d32b9085e407d7ed7abc87bbbb7dcde52da7f5f343cbcf136df4aa2a9b640a94c3b809a125773d186d03bf9b806f9430dbc4a39ded7dd8ef685b1b1a65d

diff --git a/dev-ml/menhir/menhir-20231231.ebuild b/dev-ml/menhir/menhir-20231231.ebuild
new file mode 100644
index 000000000000..32130b511247
--- /dev/null
+++ b/dev-ml/menhir/menhir-20231231.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+src_install() {
+	dune_src_install menhir
+	dune_src_install menhirLib
+	dune_src_install menhirSdk
+}


^ permalink raw reply related	[flat|nested] 66+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/
@ 2024-10-15 15:25 Arthur Zamarin
  0 siblings, 0 replies; 66+ messages in thread
From: Arthur Zamarin @ 2024-10-15 15:25 UTC (permalink / raw
  To: gentoo-commits

commit:     28e52d5f759753acd6c861c850947fb8b9efcf57
Author:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Tue Oct 15 15:24:39 2024 +0000
Commit:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Tue Oct 15 15:24:39 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=28e52d5f

dev-ml/menhir: Stabilize 20240715 x86, #941576

Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>

 dev-ml/menhir/menhir-20240715.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/menhir/menhir-20240715.ebuild b/dev-ml/menhir/menhir-20240715.ebuild
index 5b1fcc1a984d..f4ed34dace1f 100644
--- a/dev-ml/menhir/menhir-20240715.ebuild
+++ b/dev-ml/menhir/menhir-20240715.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
 
 LICENSE="GPL-2 LGPL-2-with-linking-exception"
 SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 
 src_install() {


^ permalink raw reply related	[flat|nested] 66+ messages in thread

end of thread, other threads:[~2024-10-15 15:25 UTC | newest]

Thread overview: 66+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-11-05  8:49 [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/ Alexis Ballier
  -- strict thread matches above, loose matches on Subject: below --
2024-10-15 15:25 Arthur Zamarin
2024-06-27 16:33 Alfredo Tupone
2024-06-21 12:32 Maciej Barć
2023-10-08 15:29 Arthur Zamarin
2023-10-08 15:29 Arthur Zamarin
2023-10-08 15:29 Arthur Zamarin
2023-10-08 15:29 Arthur Zamarin
2023-10-08 15:29 Arthur Zamarin
2023-08-20 11:29 Maciej Barć
2023-08-20 11:29 Maciej Barć
2023-08-20 11:29 Maciej Barć
2023-08-20 11:29 Maciej Barć
2023-03-17  9:06 Arthur Zamarin
2022-12-05 18:04 Alfredo Tupone
2022-09-06 17:00 Maciej Barć
2021-11-07 16:46 Alfredo Tupone
2021-10-13 20:37 Sam James
2021-10-13 20:35 Sam James
2021-10-11 12:17 Agostino Sarubbo
2021-10-11  5:45 Sam James
2021-10-11  5:16 Sam James
2021-07-18 17:39 Alfredo Tupone
2021-07-18 13:41 Alfredo Tupone
2021-03-13 14:05 Sam James
2021-03-04 14:28 Agostino Sarubbo
2021-02-25 17:54 Sam James
2021-02-25 13:09 Sam James
2021-02-10 16:39 Sam James
2021-01-17 20:52 Alfredo Tupone
2020-11-28 18:37 Aaron Bauman
2019-12-03  9:49 Jason A. Donenfeld
2019-10-21 18:28 Alfredo Tupone
2019-07-25 14:40 Alfredo Tupone
2018-12-15  9:19 Mikle Kolyada
2017-10-17  6:04 Alexis Ballier
2017-07-24  5:34 Alexis Ballier
2017-07-24  5:34 Alexis Ballier
2017-07-13  7:48 Alexis Ballier
2017-07-08 14:19 Alexis Ballier
2017-06-22 11:48 Alexis Ballier
2017-05-10  8:09 Alexis Ballier
2017-04-19  9:09 Alexis Ballier
2017-04-19  9:09 Alexis Ballier
2017-01-24 11:14 Alexis Ballier
2017-01-03 16:35 Alexis Ballier
2017-01-03 16:35 Alexis Ballier
2016-11-16 15:26 Alexis Ballier
2016-11-15  9:36 Alexis Ballier
2016-08-27 18:30 Alexis Ballier
2016-08-16 12:13 Alexis Ballier
2016-05-30  9:42 Alexis Ballier
2016-05-24  7:56 Alexis Ballier
2016-03-04 11:32 Alexis Ballier
2016-03-01 18:47 Alexis Ballier
2016-02-07 16:14 Alexis Ballier
2015-11-13  8:56 Alexis Ballier
2015-11-01 10:07 Alexis Ballier
2015-10-30 10:36 Alexis Ballier
2015-10-26 12:21 Alexis Ballier
2015-10-15 11:49 Alexis Ballier
2015-10-15 11:49 Alexis Ballier
2015-10-06  8:58 Alexis Ballier
2015-09-24 13:33 Alexis Ballier
2015-09-16 10:32 Alexis Ballier
2015-08-25  8:58 Alexis Ballier

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox