aboutsummaryrefslogtreecommitdiff
path: root/configure.ml
AgeCommit message (Expand)Author
2018-07-14[build] Build Coq and plugins with `-strict-sequence`Emilio Jesus Gallego Arias
2018-07-13Make -warn-error fail on warnings emitted by coqc on stdlib.Maxime Dénès
2018-07-12[warnings] Disable warning 58 "no cmx file was found in path"Emilio Jesus Gallego Arias
2018-07-12[warnings] Disable warning 59 [assignment to a non-mutable value] to make fla...Emilio Jesus Gallego Arias
2018-07-08Remove Emacs modes.Théo Zimmermann
2018-07-07Merge PR #7921: Archive the `gallina` toolMaxime Dénès
2018-07-04Make bin/ in makefile, not configure.Gaëtan Gilbert
2018-06-29Use a homebrew parser to replace the GEXTEND extension points of Camlp5.Pierre-Marie Pédrot
2018-06-25Archive the `gallina` toolVincent Laporte
2018-06-21Merge PR #7774: [build] Fix checks and notes noting 4.02.1 instead of 4.02.3Maxime Dénès
2018-06-11[build] Fix checks and notes noting 4.02.1 instead of 4.02.3Emilio Jesus Gallego Arias
2018-06-11Bump version number to 8.9+alpha1Maxime Dénès
2018-06-03configure: fix warning printingGaëtan Gilbert
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
2018-05-10[build] Build checker generated files using a make rule.Emilio Jesus Gallego Arias
2018-04-26Merge PR #7321: configure: make -annotate fatal, and color error and warningsEmilio Jesus Gallego Arias
2018-04-23[api] Relocate `intf` modules according to dependency-order.Emilio Jesus Gallego Arias
2018-04-22configure: make -annotate fatal, and color error and warningsGaëtan Gilbert
2018-03-13[Sphinx] Read version number from configureMaxime Dénès
2018-03-09Integration of a sphinx-based documentation generator.Maxime Dénès
2018-03-09Configure now fails with -with-doc yes when a doc dependency is missing.Maxime Dénès
2018-03-08Merge PR #6817: [configure]: support for profilesMaxime Dénès
2018-03-06Add some missing flushes in configure.Maxime Dénès
2018-03-05configure: -warn-error: now takes a bool so that you can also turn it offEnrico Tassi
2018-03-05configure: profiles (sets of flags)Enrico Tassi
2018-03-05configure: make Prefs a record rather than a module of refsEnrico Tassi
2018-02-21Merge PR #6283: A pre-commit hook to magically fix whitespace issues.Maxime Dénès
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2018-02-08Auto-create .git/hooks/pre-commit on ./configureJason Gross
2018-01-22Merge PR #6576: generate both binary and text annotationsMaxime Dénès
2018-01-19-annotate deprecated. New options: -annot, -bin-annotVadim Zaliva
2018-01-17Merge PR #6600: Update configure.ml to only warn on lablgtk >= 2.16.0 and < 2...Maxime Dénès
2018-01-16Update lablgtk check to be more generalJason Gross
2018-01-16Update configure.ml to only warn on lablgtk 2.16.0Jason Gross
2018-01-16Merge PR #6466: Replace md5sum/md5 calls by an OCaml programMaxime Dénès
2018-01-08Merge PR #6533: Update the lower-bound of the lablgtk dependency.Maxime Dénès
2018-01-08Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi...Maxime Dénès
2018-01-04Update the lower-bound of the lablgtk dependency.Théo Zimmermann
2017-12-29Add instructions for debugging from the command line (and in Windows)Jim Fehrle
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-23Replace md5sum/md5 calls by an OCaml programJacques-Pascal Deplaix
2017-12-23[lib] Split auxiliary libraries into Coq-specific and general.Emilio Jesus Gallego Arias
2017-12-14Merge PR #6264: [kernel] Patch allowing to disable VM reduction.Maxime Dénès
2017-12-14Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Maxime Dénès
2017-12-11Merge PR #6312: [configure] fix detection of `md5sum`Maxime Dénès
2017-12-10[build] Remove coqmktop in favor of ocamlfind.Emilio Jesus Gallego Arias
2017-12-07[configure] fix spelling mistakeVincent Laporte
2017-12-05use preference for ocamlfindPaul Steckler
2017-12-05[configure] adds a `select_command` functionVincent Laporte
2017-12-04[configure] fix detection of `md5sum`Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 08:20:37 +0000