aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.checker
Commit message (Expand)AuthorAge
* Merge PR #6466: Replace md5sum/md5 calls by an OCaml programGravatar Maxime Dénès2018-01-16
|\
| * Avoid shell backticks and improve md5sum.ml error messagesGravatar Jacques-Pascal Deplaix2018-01-15
* | Add interfaces for checker and remove dead code.Gravatar Maxime Dénès2018-01-10
| * Check the whole string given by md5sum.mlGravatar Jacques-Pascal Deplaix2017-12-24
| * Replace md5sum/md5 calls by an OCaml programGravatar Jacques-Pascal Deplaix2017-12-23
* | [lib] Split auxiliary libraries into Coq-specific and general.Gravatar Emilio Jesus Gallego Arias2017-12-23
|/
* Merge PR #6305: Build with windows line endingsGravatar Maxime Dénès2017-12-18
|\
* \ Merge PR #6217: Do dependencies in 1 command per file class.Gravatar Maxime Dénès2017-12-18
|\ \
| | * For bug 6249, Segmentation fault when building Coq on Windows 10.Gravatar Jim2017-12-16
| * | Do dependencies in 1 command per file class.Gravatar Gaëtan Gilbert2017-12-15
| |/
* / [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
|/
* Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2017-05-30
* Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Gravatar Maxime Dénès2016-07-05
* Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2016-06-29
* Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Gravatar Pierre Letouzey2016-06-08