diff options
Diffstat (limited to 'dev-ml/menhir')
| -rw-r--r-- | dev-ml/menhir/Manifest | 4 | ||||
| -rw-r--r-- | dev-ml/menhir/menhir-20181006.ebuild | 36 | ||||
| -rw-r--r-- | dev-ml/menhir/menhir-20190924.ebuild | 2 |
3 files changed, 2 insertions, 40 deletions
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest index 94c2b892d7b3..eb50bb5019ce 100644 --- a/dev-ml/menhir/Manifest +++ b/dev-ml/menhir/Manifest @@ -1,5 +1,3 @@ -DIST menhir-20181006.tar.gz 6665871 BLAKE2B 98820922c3dc9ffa27e0f9432d683aae3a1115cd5ba7d1114c57730c7dc679a918c14ef692d1287ca851c62d32aca50a034de1d4c6d4049ddf80e4694bbbae3e SHA512 a838c0b6411345ae64e21f8649367541a7e137af7e552e1dcc3da0c2212813de3d0c359dbd863d0130be897148063b406e0757fd2f18b42d43d3964963ebd4c7 DIST menhir-20190924.tar.gz 2491000 BLAKE2B 463825aa0f3ea41e49d9c130226bc8bbfc2b96650debf8d79422a90b93338ead58e01aa0c34b2161e4383d1c9a8d77ab58bb1da78e3187ed60b02e13f7742844 SHA512 8036eb8a65f123ceadd21739d88dafca54a2338fc168922a1301a9fbe709ac5e8e7214d95d8114f3798c15f458822e64dcedb94f7fff18ab6f9ccfb6de462e46 -EBUILD menhir-20181006.ebuild 890 BLAKE2B d9bdda28d00ccc0f528d6f7a43abc8b9d394073b5592fef9857b2c06092a6d8f0f7de49bea4b974379b0d789e4de044f456f65984f2575665cb4e2296379525d SHA512 420da808f42896ece95cf6b9487140a3509e1a60cd6c4f4fabd9fadc0c894d3cb054e51e52d6aba16d52ae1af6832dc461eec8fba65e0db12edfccec00d0fb2e -EBUILD menhir-20190924.ebuild 909 BLAKE2B 2f6faf021c0c8c65adaa10e73e8a59652720c8211f57f8b73f3e9bfb9e8fa3d309798e91d842c2032fc9e24875d20bcc34eb04fa00e48efcebfb317075d64b06 SHA512 554c02b8ea327d753f4919049d624b17b57b65831b02107cc6028622b0948c3d30b31efecf887ef60164dcf9299937e671f60190a8516e094ea5b0e3324b74e9 +EBUILD menhir-20190924.ebuild 906 BLAKE2B f64a1821c1015688bcb4e786f81ec5e066bbc010df4b0edc1cf30d270d3688c2dd228ff9d9ae6313969864b2f9efc882e526c7f98d2bf41a15338cc1268691d2 SHA512 6ed9b185d507cadec87ed86dcf876838780105f8ad75b6fcf9adfd658d1528d5d611aad66e822a4e2afc27ac4fe63e67a82f4a235fec6ba586433451479eb8db MISC metadata.xml 232 BLAKE2B 502ab2778b7b5d1ac9441b71cab7ff412fbb5663747f4abfc59fb45559185dda510683f1e8ffea5db8f6b31874ca209fde5c524e3526cb125931ee1feb7ee68d SHA512 7ac25a89f6b48a8e858fd1e9f4d3e938a82a4591f21249d81e8d9f1d028c5f427a3669933a932c0e8a1dc7455106696e3bfba3573976edcd8c7ec89368dacde2 diff --git a/dev-ml/menhir/menhir-20181006.ebuild b/dev-ml/menhir/menhir-20181006.ebuild deleted file mode 100644 index 00be878804ac..000000000000 --- a/dev-ml/menhir/menhir-20181006.ebuild +++ /dev/null @@ -1,36 +0,0 @@ -# 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 -} diff --git a/dev-ml/menhir/menhir-20190924.ebuild b/dev-ml/menhir/menhir-20190924.ebuild index c925dc236290..c0bb1d2198fa 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?]" |