Skip to content

Issues: ocaml/dune

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

876 Open 2,147 Closed
876 Open 2,147 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Sibling modules are unbound in qualified Menhir parsers
#11119 opened Nov 13, 2024 by brendanzab
Dune cache does not restore empty directories.
#11117 opened Nov 12, 2024 by mefyl
@ElectreAAS
1
Package management fails to read files when lock directory is ignored package management
#11114 opened Nov 12, 2024 by mefyl
5
dune pkg lock fails when pinned repo has a tag with the same name as a branch package management build failures
#11113 opened Nov 11, 2024 by huwaireb
1
1
Custom libexec sites install does not set executable bit
#11110 opened Nov 10, 2024 by toots
Redundant dune version constraint bug
#11106 opened Nov 8, 2024 by reynir
3
Child process of dune exec -w is not terminated on signal
#11089 opened Nov 3, 2024 by MoritzHamann
dune should give priority to libraries in OPAM_SWITCH_PREFIX instead of ocamlc -where bug
#11062 opened Oct 31, 2024 by kit-ty-kate
Have Dune warn us of unnecessary library dependencies feature-request
#11061 opened Oct 31, 2024 by nojb
1
Regression in #11028 when using dune subst on a project with an opam file
#11045 opened Oct 28, 2024 by btjorge
Using (enabled_if %{read:...}) docs Documentation improvements
#11042 opened Oct 25, 2024 by reynir
3
dune fmt requires ocamlc to be in path but does not guarantee that this is the case package management
#11038 opened Oct 22, 2024 by gridbugs
9
dune fmt and dune build @fmt build all the project's dependencies when a lockdir is present package management
#11037 opened Oct 22, 2024 by gridbugs
Coqdoc flags --with-header and --with-footer should imply a dependency on the argument files coq
#11017 opened Oct 17, 2024 by rlepigre
3
Coq documentation generation fails with Coq in the workspace coq
#11016 opened Oct 17, 2024 by rlepigre
1
coq.extraction + coq.theory raises internal errors coq
#11014 opened Oct 15, 2024 by jmadiot
2
Command to list available build targets feature-request
#11013 opened Oct 15, 2024 by ElectreAAS
Coq cannot find the cmxs file for transitive ocaml dependencies coq
#11012 opened Oct 15, 2024 by rlepigre
6
Dune crashes when editing a file in exec watch mode bug
#11010 opened Oct 13, 2024 by LAC-Tech
6
How to test Coq libraries? coq docs Documentation improvements
#11006 opened Oct 9, 2024 by liyishuai
1
Cache more things in package management use-cases package management
#11003 opened Oct 8, 2024 by ElectreAAS
2
opam file generation could be made less error-prone enhancement
#11002 opened Oct 8, 2024 by samoht
pkg: a command line that installs all the dev-tools at once. feature-request package management
#11001 opened Oct 7, 2024 by moyodiallo
1
dune developer preview: automatic depext handling? feature-request package management
#11000 opened Oct 7, 2024 by edwintorok
7
describe pp crashes with "Lib.DB.get_compile_info got library that doesn't exist" bug
#10999 opened Oct 7, 2024 by sim642
1
ProTip! Mix and match filters to narrow down what you’re looking for.