summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-01-03 17:24:50 +0100
committerAlexis Ballier <aballier@gentoo.org>2017-01-03 17:24:50 +0100
commit00debc56f4479471e22f16fff2e6503bd4f76f31 (patch)
tree1c11bf063ead38297fe3e79a984b9eda247f5a67 /dev-ml
parentmedia-gfx/displaycal: 3.2.2.0 bump (diff)
downloadgentoo-00debc56f4479471e22f16fff2e6503bd4f76f31.tar.gz
gentoo-00debc56f4479471e22f16fff2e6503bd4f76f31.tar.bz2
gentoo-00debc56f4479471e22f16fff2e6503bd4f76f31.zip
dev-ml/menhir: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/menhir/Manifest4
-rw-r--r--dev-ml/menhir/menhir-20160526.ebuild37
-rw-r--r--dev-ml/menhir/menhir-20160808.ebuild37
-rw-r--r--dev-ml/menhir/menhir-20160825.ebuild37
-rw-r--r--dev-ml/menhir/menhir-20161114.ebuild37
5 files changed, 0 insertions, 152 deletions
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index e9cba7542cc7..26b33ab36577 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 bc466320f8fa..000000000000
--- 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 bc466320f8fa..000000000000
--- 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 bc466320f8fa..000000000000
--- 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 bc466320f8fa..000000000000
--- 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
-}