On Fri, Dec 06, 2019 at 07:42:47PM +0900, Mamoru TASAKA wrote: > Richard W.M. Jones wrote on 2019/12/06 19:22: > >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. > > > > You have to remove extra .1 from > https://src.fedoraproject.org/rpms/coq/blob/master/f/coq.spec#_143 > and bump %antlr4rel again. It's working after that, thanks. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-top is 'top' for virtual machines. Tiny program with many powerful monitoring features, net stats, disk stats, logging, etc. http://people.redhat.com/~rjones/virt-top _______________________________________________ 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
