Thanks for reporting this. Upon deeper inspection of the toolchain, it looks like not only is disabling the "z3" dep possible, it's actually intended to be disabled for the default LLVM toolchain -- LP: #2166074
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/391375 Title: [MIR] llvm To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/llvm/+bug/391375/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
