aboutsummaryrefslogtreecommitdiff
path: root/Makefile.dune
AgeCommit message (Expand)Author
2020-05-04[dune] [doc] TweaksEmilio Jesus Gallego Arias
2020-04-13dune states target: respect user's global verbosity settingGaëtan Gilbert
2020-04-11[dune] [doc] Remove the quick targets in favor of the shims.Emilio Jesus Gallego Arias
2020-04-11[dune] [stdlib] Build the standard library natively with Dune.Emilio Jesus Gallego Arias
2020-03-24Fix world and watch targets of Makefile.dune now that doc has install rules.Théo Zimmermann
2020-03-22Merge PR #11855: Build and install refman with Dune.Emilio Jesus Gallego Arias
2020-03-20Build and install refman with Dune.Théo Zimmermann
2020-03-19[ocamformat] Update to 0.13.0Emilio Jesus Gallego Arias
2020-01-22[lint] Use makefile wrapper instead of calling dune command directly.Emilio Jesus Gallego Arias
2019-12-16[dune] Use a special directory for the boot buildEmilio Jesus Gallego Arias
2019-09-20[ci] Remove OCaml "trunk" CI jobs.Emilio Jesus Gallego Arias
2019-05-21Fixing typos - Part 1JPR
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-12Merge PR #8960: [dune] Build `cmxs` files instead of `cmxa` in "quick" target.Enrico Tassi
2018-11-09Merge PR #8949: Remove checker printersEmilio Jesus Gallego Arias
2018-11-09[dune] Build `cmxs` files instead of `cmxa` in "quick" target.Emilio Jesus Gallego Arias
2018-11-09Fix dune runtest invocationGaëtan Gilbert
2018-11-08Remove checker printersGaë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 #8617Emilio Jesus Gallego Arias
2018-10-02Merge 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-21Merge 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-workspaceEmilio Jesus Gallego Arias
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:24:30 +0000