Skip to content
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

coq.pp :standard? #2414

Closed
SkySkimmer opened this issue Jul 15, 2019 · 2 comments · Fixed by #6229 or ocaml/opam-repository#22498
Closed

coq.pp :standard? #2414

SkySkimmer opened this issue Jul 15, 2019 · 2 comments · Fixed by #6229 or ocaml/opam-repository#22498
Assignees
@Alizter
Labels
coq

Comments

@SkySkimmer
Copy link

Would it be possible for coq.pp to support :standard and globs? (with :standard meaning *.mlg)
@ejgallego
Copy link
Collaborator

Yup, I think so.

@ejgallego ejgallego self-assigned this Jul 15, 2019
@ejgallego ejgallego added the coq label Jul 15, 2019
ejgallego added a commit to ejgallego/dune that referenced this issue Mar 7, 2020
@ejgallego
[coq] Implement (modules :standard) for .mlg coqpp preprocessor
c7a0dba 
Fixes ocaml#2414
@ejgallego
Copy link
Collaborator

In progress tree at https://github.com/ejgallego/dune/tree/coq%2Bpp_standard

ejgallego added a commit to ejgallego/dune that referenced this issue Mar 18, 2020
@ejgallego
[coq] Implement (modules :standard) for .mlg coqpp preprocessor
af1ab92 
Fixes ocaml#2414
@Alizter Alizter moved this to Done in Coq + Dune Jun 6, 2022
@Alizter Alizter moved this from Done to Todo in Coq + Dune Jun 6, 2022
@Alizter Alizter moved this from Todo to Planned for Coq lang 1.0 in Coq + Dune Jun 6, 2022
@Alizter Alizter moved this from Planned for Coq lang 1.0 to Todo in Coq + Dune Oct 9, 2022
@Alizter Alizter mentioned this issue Oct 14, 2022
Closed
3 tasks
@Alizter Alizter assigned Alizter and unassigned ejgallego Oct 14, 2022
@Alizter Alizter mentioned this issue Oct 14, 2022
Merged
3 tasks
Repository owner moved this from Todo to Done in Coq + Dune Nov 6, 2022
@emillon emillon mentioned this issue Nov 14, 2022
Merged
emillon added a commit to emillon/opam-repository that referenced this issue Nov 14, 2022
@emillon
[new release] xdg, stdune, ordering, ocamlc-loc, fiber, dyn, dune, du…
f207d3f 
…ne-site, dune-rpc, dune-rpc-lwt, dune-private-libs, dune-glob, dune-configurator, dune-build-info, dune-action-plugin and chrome-trace (3.6.0)

CHANGES:

- Forbid multiple instances of dune running concurrently in the same workspace.
  (ocaml/dune#6360, fixes ocaml/dune#236, @rgrinberg)

- Allow promoting into source directories specified by `subdir` (ocaml/dune#6404, fixes
  ocaml/dune#3502, @rgrinberg)

- Make dune describe workspace return the correct root path
  (ocaml/dune#6380, fixes ocaml/dune#6379, @esope)

- Introduce a `$ dune ocaml top-module` subcommand to load modules directly
  without sealing them behind the signature. (ocaml/dune#5940, @rgrinberg)

- [ctypes] do not mangle user written names in the ctypes stanza (ocaml/dune#6374, fixes
  ocaml/dune#5561, @rgrinberg)

- Support `CLICOLOR` and `CLICOLOR_FORCE` to enable/disable/force ANSI
  colors. (ocaml/dune#6340, fixes ocaml/dune#6323, @MisterDA).

- Forbid private libraries with `(package ..)` set from depending on private
  libraries that don't belong to a package (ocaml/dune#6385, fixes ocaml/dune#6153, @rgrinberg)

- Allow `Byte_complete` binaries to be installable (ocaml/dune#4873, @AltGr, @rgrinberg)

- Revive `$ dune external-lib-deps` under `$ dune describe external-lib-deps`.
  (ocaml/dune#6045, @moyodiallo)

- Fix running inline tests in bytecode mode (ocaml/dune#5622, fixes ocaml/dune#5515, @dariusf)

- [ctypes] always re-run `pkg-config` because we aren't tracking its external
  dependencies (ocaml/dune#6052, @rgrinberg)

- [ctypes] remove dependency on configurator in the generated rules (ocaml/dune#6052,
  @rgrinberg)

- Build progress status now shows number of failed jobs (ocaml/dune#6242, @Alizter)

- Allow absolute build directories to find public executables. For example,
  those specified with `(deps %{bin:...})` (ocaml/dune#6326, @anmonteiro)

- Create a fake socket file `_build/.rpc/dune` on windows to allow rpc clients
  to connect using the build directory. (ocaml/dune#6329, @rgrinberg)

- Prevent crash if absolute paths are used in the install stanza and in
  recursive globs. These cases now result in a user error. (ocaml/dune#6331, @gridbugs)

- Add `(glob_files <glob>)` and `(glob_files_rec <glob>)` terms to the `files`
  field of the `install` stanza (ocaml/dune#6250, closes ocaml/dune#6018, @gridbugs)

- Allow `:standard` in the `(modules)` field of the `coq.pp` stanza (ocaml/dune#6229,
  fixes ocaml/dune#2414, @Alizter)

- Fix passing of flags to dune coq top (ocaml/dune#6369, fixes ocaml/dune#6366, @Alizter)

- Extend the promotion CLI to a `dune promotion` group: `dune promote` is moved
  to `dune promotion apply` (the former still works) and the new `dune promotion
  diff` command can be used to just display the promotion without applying it.
  (ocaml/dune#6160, fixes ocaml/dune#5368, @emillon)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Alizter Alizter

Labels
coq
Projects
Coq + Dune
Archived in project
Milestone
No milestone
3 participants
@SkySkimmer @ejgallego @Alizter