Public bug reported:
llvm-defaults cannot migrate because LLVM 22 relies on libz3-dev[1].
As shown in lines 381-384 of debian/rules:
```
# no ocaml support in main. disable when it is the default LLVM
ifneq (,$(filter $(DISTRO), serieswith22asdefault))
Z3_ARCHS :=
endif
```
`serieswith22asdefault` is a placeholder meant to be replaced once the given
LLVM
becomes the default.
[1]: https://ubuntu-archive-team.ubuntu.com/component-mismatches-
proposed.svg
** Affects: llvm-toolchain-22 (Ubuntu)
Importance: High
Assignee: Karl Smeltzer (karljs)
Status: In Progress
** Tags: update-excuse
** Changed in: llvm-toolchain-22 (Ubuntu)
Assignee: Max Gilmour (maxgmr) => Karl Smeltzer (karljs)
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2166074
Title:
Disable z3 dependency for LLVM 22
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/llvm-toolchain-22/+bug/2166074/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
