On Thu, Jul 12, 2018 at 8:42 AM Richard W.M. Jones <rjones@xxxxxxxxxx> wrote: > OCaml 4.07.0 was released on Tuesday and it's in Fedora Rawhide today. > All packages that use OCaml have been recompiled except: > > - why3: "Error: Unbound module Stdlib" - probably needs an > upstream change > > If you see any other problems related to OCaml compilation with the > new package then let me know. There is a new version of why3 available, but it needs a new version of coq. And the new version of coq needs the python 3 runtime library for antlr 4.7.1. We have antlr 4.5.2 in Fedora, and only the Java runtime library. So I'm kind of stuck right now until the antlr4 maintainer has time to look at https://bugzilla.redhat.com/show_bug.cgi?id=1599015. He seems like a very busy guy. In just a few hours, I am heading into a situation where I will be (mostly) cut off from the public Internet for about a week and a half, so I can't do anything about any of this for a little while. I have worked out how to package 2 new dependencies for antlr 4.7.1 (mojo-executor and string-template-maven-plugin), and have also worked out how to change the antlr4 spec to provide the python 3 runtime library. Honestly, we should probably rework the antlr4 package so that it provides as many language runtimes as possible, but that brings up the awkward situation of a noarch (Java) main package with archful subpackages (like the C++ runtime). If I can, I will put my WIP mojo-executor, string-template-maven-plugin, and antlr4 packages somewhere online so any motivated souls can look at them while I am gone. One thing that would help is to add a POM to the ant-contrib package; I had to do some ugly things in the mojo-executor package to work around its absence. I will try to deal with all of this when I get back, but I would not be unhappy if some kind souls took care of some of this so I don't have to. :-) Regards, -- Jerry James http://www.jamezone.org/ _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx/message/OUQ6ZXNVYBPUNHYOQS3VES23LM6RU6US/
