aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.ml
Commit message (Expand)AuthorAge
* [build] Build Coq and plugins with `-strict-sequence`Gravatar Emilio Jesus Gallego Arias2018-07-14
* Make -warn-error fail on warnings emitted by coqc on stdlib.Gravatar Maxime Dénès2018-07-13
* [warnings] Disable warning 58 "no cmx file was found in path"Gravatar Emilio Jesus Gallego Arias2018-07-12
* [warnings] Disable warning 59 [assignment to a non-mutable value] to make fla...Gravatar Emilio Jesus Gallego Arias2018-07-12
* Remove Emacs modes.Gravatar Théo Zimmermann2018-07-08
* Merge PR #7921: Archive the `gallina` toolGravatar Maxime Dénès2018-07-07
|\
* | Make bin/ in makefile, not configure.Gravatar Gaëtan Gilbert2018-07-04
* | Use a homebrew parser to replace the GEXTEND extension points of Camlp5.Gravatar Pierre-Marie Pédrot2018-06-29
| * Archive the `gallina` toolGravatar Vincent Laporte2018-06-25
|/
* Merge PR #7774: [build] Fix checks and notes noting 4.02.1 instead of 4.02.3Gravatar Maxime Dénès2018-06-21
|\
| * [build] Fix checks and notes noting 4.02.1 instead of 4.02.3Gravatar Emilio Jesus Gallego Arias2018-06-11
* | Bump version number to 8.9+alpha1Gravatar Maxime Dénès2018-06-11
|/
* configure: fix warning printingGravatar Gaëtan Gilbert2018-06-03
* [stm] Make toplevels standalone executables.Gravatar Emilio Jesus Gallego Arias2018-05-21
* [build] Build checker generated files using a make rule.Gravatar Emilio Jesus Gallego Arias2018-05-10
* Merge PR #7321: configure: make -annotate fatal, and color error and warningsGravatar Emilio Jesus Gallego Arias2018-04-26
|\
* | [api] Relocate `intf` modules according to dependency-order.Gravatar Emilio Jesus Gallego Arias2018-04-23
| * configure: make -annotate fatal, and color error and warningsGravatar Gaëtan Gilbert2018-04-22
|/
* [Sphinx] Read version number from configureGravatar Maxime Dénès2018-03-13
* Integration of a sphinx-based documentation generator.Gravatar Maxime Dénès2018-03-09
* Configure now fails with -with-doc yes when a doc dependency is missing.Gravatar Maxime Dénès2018-03-09
* Merge PR #6817: [configure]: support for profilesGravatar Maxime Dénès2018-03-08
|\
* | Add some missing flushes in configure.Gravatar Maxime Dénès2018-03-06
| * configure: -warn-error: now takes a bool so that you can also turn it offGravatar Enrico Tassi2018-03-05
| * configure: profiles (sets of flags)Gravatar Enrico Tassi2018-03-05
| * configure: make Prefs a record rather than a module of refsGravatar Enrico Tassi2018-03-05
|/
* Merge PR #6283: A pre-commit hook to magically fix whitespace issues.Gravatar Maxime Dénès2018-02-21
|\
* | Change references to CAMLP4 to CAMLP5 to be more accurate since we noGravatar Jim Fehrle2018-02-17
| * Auto-create .git/hooks/pre-commit on ./configureGravatar Jason Gross2018-02-08
|/
* Merge PR #6576: generate both binary and text annotationsGravatar Maxime Dénès2018-01-22
|\
| * -annotate deprecated. New options: -annot, -bin-annotGravatar Vadim Zaliva2018-01-19
* | Merge PR #6600: Update configure.ml to only warn on lablgtk >= 2.16.0 and < 2...Gravatar Maxime Dénès2018-01-17
|\ \
| * | Update lablgtk check to be more generalGravatar Jason Gross2018-01-16
| * | Update configure.ml to only warn on lablgtk 2.16.0Gravatar Jason Gross2018-01-16
| |/
* | Merge PR #6466: Replace md5sum/md5 calls by an OCaml programGravatar Maxime Dénès2018-01-16
|\ \ | |/ |/|
* | Merge PR #6533: Update the lower-bound of the lablgtk dependency.Gravatar Maxime Dénès2018-01-08
|\ \
* \ \ Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi...Gravatar Maxime Dénès2018-01-08
|\ \ \
| | * | Update the lower-bound of the lablgtk dependency.Gravatar Théo Zimmermann2018-01-04
| |/ / |/| |
| * | Add instructions for debugging from the command line (and in Windows)Gravatar Jim Fehrle2017-12-29
* | | [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
| | * 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 #6264: [kernel] Patch allowing to disable VM reduction.Gravatar Maxime Dénès2017-12-14
|\
* \ Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Gravatar Maxime Dénès2017-12-14
|\ \
* \ \ Merge PR #6312: [configure] fix detection of `md5sum`Gravatar Maxime Dénès2017-12-11
|\ \ \
| | * | [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
| |/ / |/| |
| * | [configure] fix spelling mistakeGravatar Vincent Laporte2017-12-07
* | | use preference for ocamlfindGravatar Paul Steckler2017-12-05
| * | [configure] adds a `select_command` functionGravatar Vincent Laporte2017-12-05
| * | [configure] fix detection of `md5sum`Gravatar Vincent Laporte2017-12-04