diff options
author | gentoo90 <gentoo90@gmail.com> | 2020-07-31 22:03:13 +0300 |
---|---|---|
committer | Mikhail Pukhlikov <cynede@gentoo.org> | 2020-08-03 10:26:03 +0400 |
commit | 66fdc8ef3df3d34944929a7cc2555f260caed7ad (patch) | |
tree | b99c74d1d50fbb070f9199a2d098a52cfb5a8a32 /dev-lang | |
parent | dev-lang/rust-bin-9999: add "rust-analyzer" useflag (diff) | |
download | rust-66fdc8ef3df3d34944929a7cc2555f260caed7ad.tar.gz rust-66fdc8ef3df3d34944929a7cc2555f260caed7ad.tar.bz2 rust-66fdc8ef3df3d34944929a7cc2555f260caed7ad.zip |
dev-lang/rust-bin-9999: add "miri" useflag
Closes: https://github.com/gentoo/gentoo-rust/pull/495
Signed-off-by: Mikhail Pukhlikov <cynede@gentoo.org>
Diffstat (limited to 'dev-lang')
-rw-r--r-- | dev-lang/rust-bin/rust-bin-9999.ebuild | 15 |
1 files changed, 14 insertions, 1 deletions
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 |