diff options
author | Yongxiang Liang <tanekliang@gmail.com> | 2022-04-17 15:40:38 +0000 |
---|---|---|
committer | Jakov Smolić <jsmolic@gentoo.org> | 2022-04-18 23:06:09 +0200 |
commit | 68079e268a042fc3593352c1f14b2d5b233126d7 (patch) | |
tree | 9976d5e2006814000182d76f5f6fcb2c607f3c2a /dev-ml/menhir | |
parent | dev-ml/csexp: Keyword 1.5.1 riscv, #835392 (diff) | |
download | gentoo-68079e268a042fc3593352c1f14b2d5b233126d7.tar.gz gentoo-68079e268a042fc3593352c1f14b2d5b233126d7.tar.bz2 gentoo-68079e268a042fc3593352c1f14b2d5b233126d7.zip |
dev-ml/menhir: Keyword 20211012 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Diffstat (limited to 'dev-ml/menhir')
-rw-r--r-- | dev-ml/menhir/menhir-20211012.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/menhir/menhir-20211012.ebuild b/dev-ml/menhir/menhir-20211012.ebuild index eee8ab93b315..8c945af6e7bc 100644 --- a/dev-ml/menhir/menhir-20211012.ebuild +++ b/dev-ml/menhir/menhir-20211012.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 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 ~ppc64 ~x86" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" IUSE="+ocamlopt" src_install() { |