Stream: Coq devs & plugin devs

Topic: Weird git hub tar ball issue


view this post on Zulip Michael Soegtrop (Jan 22 2022 at 10:53):

I have a rather weird issue with github tarballs. In a version update of a coq platform project a folder vanished in the tar ball, although it is still there in git. Does someone have a good explanation for this?

See (https://github.com/coq-community/coq-dpdgraph/issues/95) for more details.

view this post on Zulip Gaëtan Gilbert (Jan 22 2022 at 10:59):

that's a manually created tarball, the automatic one at https://github.com/coq-community/coq-dpdgraph/archive/refs/tags/v1.0+8.15.tar.gz looks fine
Screenshot_20220122_115847.png

view this post on Zulip Michael Soegtrop (Jan 22 2022 at 11:00):

Ah yes, thanks!

view this post on Zulip Karl Palmskog (Jan 22 2022 at 11:02):

Yves chose to remove some things from the autoconf-created tarball ("manual")

view this post on Zulip Michael Soegtrop (Jan 22 2022 at 11:03):

I see. Well I will change the opam files to use the git hub tar ball. I find this rather confusing.

view this post on Zulip Karl Palmskog (Jan 22 2022 at 11:04):

it's a consequence of using autoconf. I'd like to port to Dune instead, but the dpdgraph test suite is really tricky to port. Maybe I will ask Emilio for help during the hackathon in February

view this post on Zulip Michael Soegtrop (Jan 22 2022 at 11:05):

Btw.: I didn't really look at this in other opam files. Is it common practice to not use tar balls generated by a git server?

view this post on Zulip Gaëtan Gilbert (Jan 22 2022 at 11:05):

https://github.com/coq-community/coq-dpdgraph/commit/c616c913871c522d73dabb29018f6ab78ebf303d

view this post on Zulip Karl Palmskog (Jan 22 2022 at 11:06):

people have been doing this with autoconf for 20-30 years I think? dpdgraph is an old project...

view this post on Zulip Gaëtan Gilbert (Jan 22 2022 at 11:07):

this has nothing to do with autoconf, see commit

view this post on Zulip Karl Palmskog (Jan 22 2022 at 11:08):

Michael was asking about the practice of generating tarballs via scripts (as opposed to from a Git tag)

view this post on Zulip Michael Soegtrop (Jan 22 2022 at 11:11):

Ok, thanks! I will watch out for this in the future and maybe ask people to change. As I said - I find it confusing if the tar ball doesn't match the git tag.

view this post on Zulip Théo Zimmermann (Jan 22 2022 at 11:51):

For the record, this is also the case when using Dune release for the many OCaml projects that use it (the GitHub tarball cannot be used because some substitution needs to happen in the tarball to correctly report the version number).

view this post on Zulip Michael Soegtrop (Jan 22 2022 at 12:07):

@Théo Zimmermann : thanks, interesting!


Last updated: Mar 29 2024 at 13:01 UTC