Re: OCaml 4.12

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Tue, Feb 23, 2021 at 04:39:09PM -0700, Jerry James wrote:
> 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,

Sure thing.

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
Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure




[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Users]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]

  Powered by Linux