Stream: Coq devs & plugin devs

Topic: quickchick


view this post on Zulip Gaëtan Gilbert (Nov 29 2021 at 13:42):

https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs.20.26.20plugin.20devs/topic/Weird.20CI.20error.20w.2Er.2Et.2E.20warnings/near/263008436

I get

cppo -V COQ:8.16+alpha -V OCAML:4.07.1 -n -o plugin/coqsimpleio.mlg plugin/coqsimpleio.mlg.cppo
Error: Invalid version specification: "COQ:8.16+alpha"

view this post on Zulip Pierre-Marie Pédrot (Nov 29 2021 at 13:42):

Any advice then?

view this post on Zulip Gaëtan Gilbert (Nov 29 2021 at 13:47):

cppo version?

view this post on Zulip Gaëtan Gilbert (Nov 29 2021 at 13:48):

https://github.com/coq/coq/pull/14961

view this post on Zulip Pierre-Marie Pédrot (Nov 29 2021 at 13:48):

1.6.7

view this post on Zulip Pierre-Marie Pédrot (Nov 29 2021 at 13:49):

Between minor versions this breaks?

view this post on Zulip Gaëtan Gilbert (Nov 29 2021 at 13:49):

https://github.com/ocaml-community/cppo/blob/master/Changes.md

v1.6.8 (2021-09-17)
[compat] Allow version strings without patch numbers, e.g. 8.13+beta1 The patch number will be set to 0 upon empty, i.e. (8, 13, 0)

view this post on Zulip Pierre-Marie Pédrot (Nov 29 2021 at 13:50):

:shrug:

view this post on Zulip Pierre-Marie Pédrot (Nov 29 2021 at 13:50):

OK thanks.

view this post on Zulip Gaëtan Gilbert (Nov 29 2021 at 13:51):

seealso https://github.com/Lysxia/coq-simple-io/commit/c2d401c0bd622e44a1675717c4a57db0dbc2d06c#diff-76ed074a9305c04054cdebb9e9aad2d818052b07091de1f20cad0bbac34ffb52

view this post on Zulip Pierre-Marie Pédrot (Nov 29 2021 at 13:51):

cppo or perl, chose your poison, ok


Last updated: Feb 02 2023 at 13:03 UTC