index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Makefile.dune
Age
Commit message (
Expand
)
Author
2019-03-28
[dune] Don't regenerate ltac/dune after bootstrapping.
Emilio Jesus Gallego Arias
2019-03-03
[dune] Shim for starting `coqtop/coqide` with minimal config.
Emilio Jesus Gallego Arias
2019-03-01
[dune] Add quickide target for building of IDE.
Emilio Jesus Gallego Arias
2019-02-26
[dune] Simple rule to generate Stdlib's documentation.
Emilio Jesus Gallego Arias
2019-02-20
[azure] [ci] Build on Windows using Dune.
Emilio Jesus Gallego Arias
2019-02-07
[dune] Fix OCaml trunk build.
Emilio Jesus Gallego Arias
2019-02-04
[dune] Fix Dune build in Windows.
Emilio Jesus Gallego Arias
2018-12-19
[dune] Add targets for Coq individual packages.
Emilio Jesus Gallego Arias
2018-12-14
[dune] [gitlab] Test OCaml trunk.
Emilio Jesus Gallego Arias
2018-12-13
[dune] [doc] Support for building the reference manual with Dune.
Emilio Jesus Gallego Arias
2018-11-12
Merge PR #8960: [dune] Build `cmxs` files instead of `cmxa` in "quick" target.
Enrico Tassi
2018-11-09
Merge PR #8949: Remove checker printers
Emilio Jesus Gallego Arias
2018-11-09
[dune] Build `cmxs` files instead of `cmxa` in "quick" target.
Emilio Jesus Gallego Arias
2018-11-09
Fix dune runtest invocation
Gaëtan Gilbert
2018-11-08
Remove checker printers
Gaëtan Gilbert
2018-11-06
[dune] Add "quick" and "check" targets for fast builds.
Emilio Jesus Gallego Arias
2018-10-11
[dune] [test-suite] Support for running the test suite with Dune.
Emilio Jesus Gallego Arias
2018-10-09
[dune] Provide an optimized build profile with inlining reports.
Emilio Jesus Gallego Arias
2018-10-02
[dune] Fix couple of minor bugs in #8617
Emilio Jesus Gallego Arias
2018-10-02
Merge PR #8623: [dune] Fix PHONY target in Dune's helper makefile.
Théo Zimmermann
2018-10-02
[dune] Provide workspace file will all OCaml builds tested in CI.
Emilio Jesus Gallego Arias
2018-10-02
[dune] Fix PHONY target in Dune's helper makefile.
Emilio Jesus Gallego Arias
2018-09-28
[dune] Pack checker to avoid [odoc] problems + build doc for plugins.
Emilio Jesus Gallego Arias
2018-09-27
[configure] [dune] Don't force the Dune user to set envars.
Emilio Jesus Gallego Arias
2018-09-21
Merge PR #8443: [opam] [dune] Fix typo + set prefix for configure.
Théo Zimmermann
2018-09-21
[dune] [configure] Allow to set prefix using environment variable.
Emilio Jesus Gallego Arias
2018-09-20
[dune] Add "watch" target for continuous build mode.
Emilio Jesus Gallego Arias
2018-09-10
[dune] Add apidoc target using `odoc`
Emilio Jesus Gallego Arias
2018-09-06
[dune] [ci] Fix and test release profile + use 1.1 dune-workspace
Emilio Jesus Gallego Arias
2018-09-05
[build] Preliminary support for building Coq with `dune`.
Emilio Jesus Gallego Arias
