commit: 66fdc8ef3df3d34944929a7cc2555f260caed7ad Author: gentoo90 <gentoo90 <AT> gmail <DOT> com> AuthorDate: Fri Jul 31 19:03:13 2020 +0000 Commit: Mikhail Pukhlikov <cynede <AT> gentoo <DOT> org> CommitDate: Mon Aug 3 06:26:03 2020 +0000 URL: https://gitweb.gentoo.org/repo/proj/rust.git/commit/?id=66fdc8ef
dev-lang/rust-bin-9999: add "miri" useflag Closes: https://github.com/gentoo/gentoo-rust/pull/495 Signed-off-by: Mikhail Pukhlikov <cynede <AT> gentoo.org> dev-lang/rust-bin/rust-bin-9999.ebuild | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/dev-lang/rust-bin/rust-bin-9999.ebuild b/dev-lang/rust-bin/rust-bin-9999.ebuild index c17cd9f..ffd2d0a 100644 --- a/dev-lang/rust-bin/rust-bin-9999.ebuild +++ b/dev-lang/rust-bin/rust-bin-9999.ebuild @@ -27,7 +27,7 @@ SLOT="nightly" KEYWORDS="" RESTRICT="network-sandbox" -IUSE="clippy cpu_flags_x86_sse2 doc libressl rls rust-analyzer rustfmt source ${ALL_RUSTLIB_TARGETS[*]}" +IUSE="clippy cpu_flags_x86_sse2 doc libressl miri rls rust-analyzer rustfmt source ${ALL_RUSTLIB_TARGETS[*]}" CDEPEND=" >=app-eselect/eselect-rust-0.3_pre20150425 @@ -93,6 +93,7 @@ src_install() { use doc && components="${components},rust-docs" use source && components="${components},rust-src" use clippy && components="${components},clippy-preview" + use miri && components="${components},miri-preview" if use rls; then local analysis=$(grep 'analysis' ./components) components="${components},rls-preview,${analysis}" @@ -140,6 +141,14 @@ src_install() { dosym "../../opt/${P}/bin/${clippy_driver}" "/usr/bin/${clippy_driver}" dosym "../../opt/${P}/bin/${cargo_clippy}" "/usr/bin/${cargo_clippy}" fi + if use miri; then + local miri=miri-bin-${PV} + local cargo_miri=cargo-miri-bin-${PV} + mv "${D}/opt/${P}/bin/miri" "${D}/opt/${P}/bin/${miri}" || die + mv "${D}/opt/${P}/bin/cargo-miri" "${D}/opt/${P}/bin/${cargo_miri}" || die + dosym "../../opt/${P}/bin/${miri}" "/usr/bin/${miri}" + dosym "../../opt/${P}/bin/${cargo_miri}" "/usr/bin/${cargo_miri}" + fi if use rls; then local rls=rls-bin-${PV} mv "${D}/opt/${P}/bin/rls" "${D}/opt/${P}/bin/${rls}" || die @@ -177,6 +186,10 @@ src_install() { echo /usr/bin/clippy-driver >> "${T}/provider-${P}" echo /usr/bin/cargo-clippy >> "${T}/provider-${P}" fi + if use miri; then + echo /usr/bin/miri >> "${T}/provider-${P}" + echo /usr/bin/cargo-miri >> "${T}/provider-${P}" + fi if use rls; then echo /usr/bin/rls >> "${T}/provider-${P}" fi
