Issues
- 3
Coqdoc flags --with-header and --with-footer should imply a dependency on the argument files
#11017 opened by rlepigre - 6
- 3
Dune Developer Preview (Sept-28-2024) fails to build z3
#10970 opened by cogumbreiro - 6
- 0
Error during linking: file too short
#11033 opened by anmonteiro - 7
dune developer preview: automatic depext handling?
#11000 opened by edwintorok - 0
Using `@ocaml-index` with vendored libraries: `Error: Conflict between the following libraries`
#10896 opened by copy - 1
'opam install dune' segfaults
#10954 opened by Pieter-JanLavaerts - 0
dune subst silently ignores %%ID%% string when outside a git-controlled directory
#10927 opened by btjorge - 2
`dune cache trim --since <time interval>` for CI workflows
#10992 opened by nojb - 1
`describe pp` crashes with "Lib.DB.get_compile_info got library that doesn't exist"
#10999 opened by sim642 - 1
Failed to download dune tar
#11018 opened by nojaf - 2
`coq.extraction` + `coq.theory` raises internal errors
#11014 opened by jmadiot - 1
Dune crashes when editing a file in exec watch mode
#11010 opened by LAC-Tech - 0
Coq documentation generation fails with Coq in the workspace
#11016 opened by rlepigre - 0
opam file generation could be made less error-prone
#11002 opened by samoht - 11
Failure of [coqc --config] with Coq in a workspace
#11011 opened by rlepigre - 0
Command to list available build targets
#11013 opened by ElectreAAS - 1
When ocamlformat is installed as a dev-tool, `dune fmt` promotes stale versions of files
#10991 opened by gridbugs - 0
Bug Report: Compilation of Dune 3.16.0 Fails on macOS M2 (ARM64) During `opam install`
#10940 opened by VecoMr - 1
- 1
pkg: inscrutable error when depending on a non-existent package
#10987 opened by v-gb - 2
- 2
Cache more things in package management use-cases
#11003 opened by ElectreAAS - 0
pkg: No depexts message when the command is not found.
#10988 opened by moyodiallo - 0
How to test Coq libraries?
#11006 opened by liyishuai - 0
- 1
dune build -x accepts only one toolchain while dune-workspace accepts many
#10989 opened by jonahbeckford - 0
`dune build @ocaml-index` fails when depending on a package with package management enabled
#10985 opened by liate7 - 9
Running Dev Tools in Dune
#10964 opened by rgrinberg - 12
dune pkg: improve behavior when available git is too old
#10976 opened by mbarbin - 3
"Shared cache miss" error while building project on different filesystem to my home directory, using developer preview
#10974 opened by gridbugs - 2
dune pkg ignores :dev dependencies
#10973 opened by edwintorok - 0
The ability to describe modules without implementation in included subdirectories
#10925 opened by xvw - 1
display option to set the output truncation limit
#10933 opened by gares - 13
Kind of annoying to have both `dune.lock` and `dev-tools.locks` as top-level folders
#10955 opened by tjdevries - 0
Missing newline in "dune exec -w"
#10922 opened by muzimuzhi - 29
pkg: fails to build from source
#10957 opened by avsm - 2
pkg: Failure on non-atoms in `depends` fields
#10956 opened by Julow - 1
- 2
`enabled_if` field does not support environment variables on executable stanza
#10905 opened by fsestini - 4
[pkg] fetch dependencies without building the project
#10949 opened by maiste - 5
- 0
Nightly dune pkg fails to resolve depext on reason-react
#10930 opened by dmmulroy - 4
Dune + Coq + Menhir
#10941 opened by liyishuai - 1
stdune pp dependency outdated
#10934 opened by JasonGross - 0
Provide links to implementation from odoc documents
#10921 opened by Ailrun - 6
- 0
Unify package build progress messages with regular dune build progress messages
#10898 opened by gridbugs - 3
Race condition building project with package management
#10903 opened by gridbugs