Re: OCaml 4.12

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

 



On Thu, Feb 18, 2021 at 12:07:32PM -0700, Jerry James wrote:
> Richard, I see that the OCaml 4.12 release is not expected to happen
> until next week, after the beta freeze:
> 
> https://discuss.ocaml.org/t/ocaml-4-12-0-first-release-candidate/7294
> 
> Some of my OCaml packages are currently not installable, due to the
> dynlink hiccup, I think.  Rather than enter beta freeze with them in
> this state, I would like to rebuild them.  I was thinking about
> proceeding with the updates needed for OCaml 4.12, since I have to
> build these packages anyway, and the updated versions also work with
> OCaml 4.11.  As a reminder, these are the updates:
> 
> - ocaml-base: 0.14.0 -> 0.14.1
> - ocaml-migrate-parsetree: 1.8.0 -> 2.1.0
> - ocaml-ppxlib: 0.15.0 -> 0.22.0
> - ocaml-bisect-ppx: 2.5.0 -> 2.6.0
> - ocaml-tyxml: apply this pull request to switch to ppxlib:
> https://github.com/ocsigen/tyxml/pull/271
> - ocaml-lwt: 5.3.0 -> 5.4.0
> - ocaml-ppx-deriving: 5.1 -> 5.2.1
> - ocaml-ppx-optcomp: 0.14.0 -> 0.14.1
> - ocaml-ppx-sexp-conv: 0.14.1 -> 0.14.2
> - ocaml-sedlex: 2.2 -> 2.3
> - ocaml-ppx-custom-printf: 0.14.0 -> 0.14.1
> - ocaml-ppx-fields-conv: 0.14.1 -> 0.14.2
> - Retire ocaml-ppx-tools-versioned
> 
> along with a number of other package builds just to fix dependencies.
> That would also simplify things for you when OCaml 4.12 is released,
> as all of these updates would already be in place.  What do you think?

That sounds great.

> Also, I would like to update ocaml-ocamlgraph to version 2.0.0 at some
> point.  The only Fedora consumers are frama-c and ocaml-dose3.  The
> current version of frama-c can already be built with either ocamlgraph
> 1.x or 2.x.  The version of ocaml-dose3 in Fedora (5.0.1) cannot be
> built with ocamlgraph 2.x.  However, upstream has moved here:
> 
> https://gitlab.com/irill/dose3
> 
> and released a 6.x series that supports ocamlgraph 2.x.
>
> Unfortunately, there are issues with moving to version 6.x.  First,
> and easiest, the new versions depend on camlbz2 and parmap, neither of
> which are in Fedora.  I've put together spec files for those two and
> can submit them for review if nobody else wants to do so.  Second,
> upstream removed support for RPM in this commit:
> 
> https://gitlab.com/irill/dose3/-/commit/e656b5783f1fc5fd75e0e2716b0a40aca282ad72
> 
> I don't know why.  The commit message does not give a reason, and this
> change is not mentioned in the project changelog.  I assume RPM
> support is important for the Fedora build of ocaml-dose3.  I don't
> know what the best approach is to resolve this issue, but it is
> blocking the ocamlgraph update.  Any thoughts on the matter are
> appreciated.

This is weird, but while it will require a smallish change to our spec
(like removing rpm-devel), I don't think it should affect anything
else.  Nothing in Fedora seems to need 'ocaml(Rpm)' or /usr/bin/rpmcheck.

Thanks,

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine.  Supports Linux and Windows.
http://people.redhat.com/~rjones/virt-df/
_______________________________________________
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