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
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
