[Bug 1971128] Re: z3 is incorrectly marked as a MIR candidate

2022-06-02 Thread Simon Chopin
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

2022-05-31 Thread Steve Langasek
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

2022-05-31 Thread Launchpad Bug Tracker
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

2022-05-30 Thread Lukas Märdian
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

2022-05-30 Thread Simon Chopin
** 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

2022-05-30 Thread Simon Chopin
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

2022-05-30 Thread Simon Chopin
** 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