dune icon indicating copy to clipboard operation
dune copied to clipboard

A composable build system for OCaml.

Results 694 dune issues
Sort by recently updated
recently updated
newest added

*Version*: Dune 2.4.0 *Issue*: I am confused about how to generate documentation *Suggestion*: Any of the following: 1. Explain that `dune build @doc` builds documentation for *packages* 2. Explain what...

docs

## Expected Behavior `--cache-check-probability` reports no errors on Coq builds. ## Actual Behavior `--cache-check-probability` reports uninteresting mismatches on `.aux` files; those should be blacklisted, as they contain Coq's internal timing...

I am trying to build a Coq plugin which uses the Atdgen library to handle serialization over HTTP of some custom datatypes. While using `coq_makefile` works, dune gives me the...

replaces #5932 I removed uses of configurator and replaced it with native pkg-config support. This is more correct, faster, and drops an unnecessary dependency. Additionally, I removed the layer of...

This is a bug report or a question. ## Expected Behavior On an older version of dune (~2.6), `dune build` and `dune build -p name` are the same (when there...

coq

## Desired Behavior Virtual libraries have an interface file which implementations can implement. Currently, the implementations cannot add additional functions beyond what is defined in the virtual library interface. It...

## Desired Behavior dune allow to compile reasonml files but AFAIK we cannot use the rtop REPL. ## Example just run `dune rtop` and you will get inside the ReasonML...

help wanted

## Expected Behavior 1. `copy_files` does not warn if the `` expression matches a directory instead of a file. It would be very useful to report such errors, in the...

## Problem Installing generated documentation is quite problematic with the current `install` stanzas. The issue is that the documentation is generated by tools that create a large set of files...

coq

``` $ dune init exec helloworld $ dune build ``` ## Expected Behavior A build ## Actual Behavior ``` Error: I cannot find the root of the current workspace/project. If...