Stream: Coq devs & plugin devs

Topic: plugin in Coq's CI which builds using dune


view this post on Zulip Enrico Tassi (Nov 25 2021 at 15:25):

I'm looking for a CI job made of a plugin that builds using dune.
I see for example that bignums has also a dune file, but CI calls coq-makefile.

view this post on Zulip Karl Palmskog (Nov 25 2021 at 15:28):

AAC Tactics Docker CI uses Dune: https://github.com/coq-community/aac-tactics/actions

But maybe you're looking for a plugin in Coq's CI that uses Dune? AAC Tactics uses coq_makefile there.

view this post on Zulip Enrico Tassi (Nov 25 2021 at 15:30):

But Coq's CI uses the coq-makefile target https://github.com/coq/coq/blob/master/dev/ci/ci-aac_tactics.sh

view this post on Zulip Enrico Tassi (Nov 25 2021 at 15:30):

yes

view this post on Zulip Enrico Tassi (Nov 25 2021 at 15:31):

I'll eventually find it

view this post on Zulip Gaƫtan Gilbert (Nov 25 2021 at 16:13):

Enrico Tassi said:

I'm looking for a CI job made of a plugin that builds using dune.
I see for example that bignums has also a dune file, but CI calls coq-makefile.

I don't think we have any


Last updated: Feb 01 2023 at 16:03 UTC