On Mon, Feb 22, 2021 at 10:21 AM Richard W.M. Jones <rjones@xxxxxxxxxx> wrote: > Thanks again. Let's see what happens when 4.12 is finally released. I have picked up ocaml-ocp-indent, which was orphaned recently, because frama-c needs it. I pushed some changes to the Rawhide branch today but haven't rebuilt. I'll let the OCaml 4.12 rebuilds take care of that. I'm going to do likewise with ocaml-menhir, probably in the next 24 hours. I am thinking of picking up ocaml-merlin, which is also orphaned. I have tried updating it to 4.1, but some tests are failing. A little debugging work revealed that merlin is trying to read standard library *.cmt and *.cmti files, but we don't have them in our ocaml package. I see this in ocaml.spec: # Remove .cmt and .cmti files, for now. We could package them later. # See also: http://www.ocamlpro.com/blog/2012/08/20/ocamlpro-and-4.00.0.html find $RPM_BUILD_ROOT \( -name '*.cmt' -o -name '*.cmti' \) -a -delete Can we make "later" be when OCaml 4.12 is released? They could go into a separate subpackage, since most OCaml packages won't need them. Thanks, -- 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://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 Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
