New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support compilation using [dune]. #146

Merged

liyishuai merged 1 commit into coq-community:master from rlepigre:dune

Sep 3, 2024

Contributor

rlepigre commented Sep 3, 2024

This is the minimal change required to be integrate coq-ext-lib in a dune workspace.

What is not included:

Testing dune compilation in CI.
Support for editors while compiling with dune.


          Support compilation using [dune].

d209af4

liyishuai approved these changes

View reviewed changes

liyishuai merged commit 67db2e0 into coq-community:master

9 of 11 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet