Stream: Dune devs & users

Topic: releasing dune packages on GitHub and OPAM

Karl Palmskog (May 27 2020 at 18:08):

@Cyril Cohen points to his packager script (https://github.com/math-comp/math-comp/blob/master/etc/utils/packager) which solves a similar problem to dune-release (https://github.com/ocamllabs/dune-release). Once dune support for Coq becomes completely official, we should take a look at adapting best practices from Cyril's script into dune-release.

Cyril Cohen (May 27 2020 at 18:15):

Karl Palmskog said:

Cyril Cohen points to his packager script (https://github.com/math-comp/math-comp/blob/master/etc/utils/packager) which solves a similar problem to dune-release (https://github.com/ocamllabs/dune-release).

This is a bit of an overstatement. It used to substitute the version number and do more stuff, but since opam 2.0 it just adds a url field with a correct sha256computed locally (for bandwith reasons, I used to have a very slow internet connection) and put in a series of directory with the right structure for opam-coq-archive, so that a single mv is enough after cloning the opam-coq-archive.

Karl Palmskog (May 27 2020 at 18:18):

I see. Nevertheless, dune-release is to my knowledge completely tied to the official opam repository now, so packager is likely state-of-the-art for Coq OPAM automation.

Cyril Cohen (May 27 2020 at 18:23):

Karl Palmskog said:

So packager is likely state-of-the-art for Coq OPAM automation.

Ouch

Karl Palmskog (May 27 2020 at 18:26):

with some luck, some more automation in this direction could fall within the scope of the Coq Platform (and thus internships under Théo's supervision)

Cyril Cohen (May 27 2020 at 18:27):

Karl Palmskog said:

with some luck, some more automation in this direction could fall within the scope of the Coq Platform (and thus internships under Théo's supervision)

That would be awesome, I did not know of Théos interns

Karl Palmskog (May 27 2020 at 18:28):

See here, I hope these are still happening: https://coq.discourse.group/t/two-master-internship-proposals-to-explore-social-and-technical-aspects-of-the-creation-of-the-coq-and-ocaml-platforms/577

Théo Zimmermann (May 27 2020 at 20:04):

I am currently supervising two persons: an intern working on coqbot (which could take a part in providing more release automation, especially for coq-community projects) and a former student currently contracting for the OCaml Foundation to work on the platform (but more oriented toward the OCaml platform). Through this second project, I am in close contact with OCamllabs people. In the end, we didn't get the two interns we hoped for to work on the Coq + OCaml platform.

Karl Palmskog (May 27 2020 at 20:10):

@Théo Zimmermann thanks for the update. At least, we could perhaps ping OCaml Labs about some expertise on dune-release. We have a very specific set of requirements for what people are supposed to submit to opam-coq-archive, and they might be able to say: this is easy, this is hard, etc.

Last updated: Jun 04 2023 at 23:30 UTC