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.
Regards,
Mamoru
_______________________________________________
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
