Re: OCaml 4.12

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

 



OCaml 4.12.0 rebuild is starting.

The side tag is: f35-build-side-38024 (don't use this, at least not
without coordinating with me).

This will probably take a few days, not least because I need to update
my local checkouts and scripts to deal with the master->rawhide change.

We hit this bug for which I've added a workaround:
https://github.com/ocaml/ocaml/issues/10250

I added the *.cmt / *.cmti files in ocaml-source (which contains
already source files for libraries shipped with the compiler).  If
this is the wrong subpackage then we can easily move these files.  I
wasn't really sure what was the best place to put them.  (See also
https://web.archive.org/web/20120824104817/https://www.ocamlpro.com/blog/2012/08/20/ocamlpro-and-4.00.0.html )

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