On Thu, Dec 05, 2019 at 04:12:23PM -0700, Jerry James wrote: > Hi Richard, > > On Thu, Dec 5, 2019 at 3:56 PM Richard W.M. Jones <rjones@xxxxxxxxxx> wrote: > > > Just built coq in a side tag for OCaml 4.09. However it > > can't install for the next build: > > > > DEBUG util.py:596: Error: > > DEBUG util.py:596: Problem: conflicting requests > > DEBUG util.py:596: - nothing provides antlr4-python3-runtime = > > 1:4.7.2-4.fc32 needed by coq-8.9.1-7.fc32.x86_64 > > > > Any ideas on this one? Latest antlr4 package is 4.5.something ... > > > > Yes, this is an absolutely horrible bit of brain damage. I've been trying > for quite a long time now to get the antlr maintainers to (a) update to > 4.7.x and (b) add the python3 runtime as a subpackage. I've discussed this > on fedora-devel-list and there's still an open bug about it. I've been > told a few times that it is being worked on, yet it somehow keeps failing > to arrive. > > Since coq *must* have the python3 runtime, and it *must* be version 4.7.2 > or later, I bundled the python runtime into the coq package last January, > because coq was completely broken for F29. Nothing has changed since. > > So to build coq and have the result be installable, in addition to bumping > Release, you also have to bump antlr4rel (see line 5 of coq.spec). > > This is stupid and wrong and I hate it, but it isn't going to change until > somebody actually starts maintaining the antlr package. I suppose I misunderstood what needs to be done. I bumped antlr4rel on line 5 of coq.spec, rebuilt coq, but it is still uninstallable, see: https://kojipkgs.fedoraproject.org//work/tasks/7837/39447837/root.log Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com libguestfs lets you edit virtual machines. Supports shell scripting, bindings from many languages. http://libguestfs.org _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
