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.

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

Syntax: dune #1180

Open
49 of 67 tasks
smorimoto opened this issue Jul 17, 2023 · 0 comments · May be fixed by #1391
Open
49 of 67 tasks

Syntax: dune #1180

smorimoto opened this issue Jul 17, 2023 · 0 comments · May be fixed by #1391

Comments

@smorimoto
Copy link
Collaborator

smorimoto commented Jul 17, 2023

Stanza Coverage

Note: This list was auto-generated based on a loose comparison of the documentation and the syntax file, so the wrong tasks may have been mixed.

https://dune.readthedocs.io/en/stable/dune-files.html

  • accept_alternative_dune_file_name
  • action_stderr_on_success
  • action_stdout_on_success
  • alias
  • authors
  • bug_reports
  • cache-check-probability
  • cache-storage-mode
  • cache
  • cinaps
  • config
  • context
  • copy_files
  • coq.theory
  • cram
  • data_only_dirs
  • deprecated_library_name
  • dialect
  • dirs
  • display
  • documentation
  • env
  • executable
  • executables_implicit_empty_intf
  • executables
  • expand_aliases_in_sandbox
  • explicit_js_mode
  • external_variant
  • foreign_library
  • formatting
  • generate_opam_files
  • generate_sites_module
  • homepage
  • ignored_subdirs
  • implicit_transitive_deps
  • include_subdirs
  • include
  • install
  • jbuild_version
  • jobs
  • library
  • license
  • maintainers
  • map_workspace_root
  • mdx
  • menhir
  • name
  • ocamllex
  • ocamlyacc
  • opam_file_location
  • package
  • plugin
  • profile
  • rule
  • sandboxing_preference
  • source
  • subdir
  • subst
  • terminal-persistence
  • test
  • tests
  • toplevel
  • use_standard_c_and_cxx_flags
  • using
  • vendored_dirs
  • version
  • wrapped_executables
@smorimoto smorimoto changed the title Syntax: dune-project Syntax: dune Jul 17, 2023
@mnxn mnxn self-assigned this Aug 29, 2023
@ComanderP ComanderP linked a pull request Feb 18, 2024 that will close this issue
@mnxn mnxn removed their assignment Mar 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants