[Bug 1971128] Re: z3 is incorrectly marked as a MIR candidate
The chain is rustc -> llvm-13 -> llvm-13-dev -> z3, so that's still an issue with Jammy, I think. Reopening :) ** Changed in: rustc (Ubuntu Jammy) Status: Invalid => Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1971128 Title: z3 is incorrectly marked as a MIR candidate To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/rustc/+bug/1971128/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1971128] Re: z3 is incorrectly marked as a MIR candidate
I see no references to llvm-13-dev from rustc in jammy, and this has been resolved in kinetic by relaxing the package relationship, so closing this task. ** Changed in: rustc (Ubuntu Jammy) Status: Confirmed => Invalid -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1971128 Title: z3 is incorrectly marked as a MIR candidate To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/rustc/+bug/1971128/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1971128] Re: z3 is incorrectly marked as a MIR candidate
This bug was fixed in the package rustc - 1.59.0+dfsg1-1~ubuntu2 --- rustc (1.59.0+dfsg1-1~ubuntu2) kinetic; urgency=medium * Drop llvm-13 to Suggests for rustc to avoid having to promote it to Ubuntu main (LP: #1971128) -- Simon Chopin Mon, 30 May 2022 09:59:01 +0200 ** Changed in: rustc (Ubuntu Kinetic) Status: Fix Committed => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1971128 Title: z3 is incorrectly marked as a MIR candidate To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/rustc/+bug/1971128/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1971128] Re: z3 is incorrectly marked as a MIR candidate
Thank you Simon, the changes LGTM and resolve a component-mismatch without the need to do an additional MIR for src:z3. A test build is available at: https://launchpad.net/~schopin/+archive/ubuntu/rustc-1.59/+sourcepub/13649849/+listing-archive-extra I've sponsored your debdiff into Kinetic. ** Changed in: rustc (Ubuntu Kinetic) Status: Confirmed => Fix Committed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1971128 Title: z3 is incorrectly marked as a MIR candidate To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/rustc/+bug/1971128/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1971128] Re: z3 is incorrectly marked as a MIR candidate
** Patch added: "rustc.debdiff" https://bugs.launchpad.net/ubuntu/+source/rustc/+bug/1971128/+attachment/5593815/+files/rustc.debdiff -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1971128 Title: z3 is incorrectly marked as a MIR candidate To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/rustc/+bug/1971128/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1971128] Re: z3 is incorrectly marked as a MIR candidate
Since we're shipping rustc primarily as a packaging tool, we can simply demote the llvm-13 Recommends to a Suggests, and instead add it to rust- all (which is in universe) ** Also affects: z3 (Ubuntu Kinetic) Importance: Undecided Status: Incomplete ** Also affects: rustc (Ubuntu Kinetic) Importance: Undecided Status: New ** Also affects: z3 (Ubuntu Jammy) Importance: Undecided Status: New ** Also affects: rustc (Ubuntu Jammy) Importance: Undecided Status: New ** Changed in: z3 (Ubuntu Kinetic) Importance: Undecided => High ** Changed in: rustc (Ubuntu Kinetic) Importance: Undecided => High ** Changed in: rustc (Ubuntu Jammy) Importance: Undecided => Medium ** Changed in: z3 (Ubuntu Jammy) Importance: Undecided => Medium ** Changed in: z3 (Ubuntu Jammy) Status: New => Invalid ** Changed in: z3 (Ubuntu Kinetic) Status: Incomplete => Invalid ** Changed in: rustc (Ubuntu Jammy) Status: New => Confirmed ** Changed in: rustc (Ubuntu Kinetic) Status: New => Confirmed ** Changed in: rustc (Ubuntu Jammy) Assignee: (unassigned) => Simon Chopin (schopin) -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1971128 Title: z3 is incorrectly marked as a MIR candidate To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/rustc/+bug/1971128/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1971128] Re: z3 is incorrectly marked as a MIR candidate
** Summary changed: - [MIR] z3 + z3 is incorrectly marked as a MIR candidate ** Description changed: - TDB by foundations. + rustc pulls llvm-13 into main (the llvm-toolchain-13 being already + partially seeded, it doesn't raise any issue), and z3 is a dependency of + it. ** Also affects: rustc (Ubuntu) Importance: Undecided Status: New -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1971128 Title: z3 is incorrectly marked as a MIR candidate To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/rustc/+bug/1971128/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs