aboutsummaryrefslogtreecommitdiff
path: root/configure.ml
AgeCommit message (Expand)Author
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
2017-12-02[kernel] Patch allowing to disable VM reduction.Emilio Jesus Gallego Arias
2017-12-01check for Num lib if OCaml >= 4.06, #6162Paul Steckler
2017-11-23Surrounding a few places printing file names with quotes when a space occurs.Hugo Herbelin
2017-11-20Check findlib version in configure (fix #4270).Gaëtan Gilbert
2017-11-19Remove branch on caml version >= 3.10 from configure.Gaëtan Gilbert
2017-10-11Remove GeoProof support.Maxime Dénès
2017-10-10Merge PR #540: [configure] Support for flambda flags.Maxime Dénès
2017-10-10[flambda] [native] Pass `-Oclassic` to the native compiler.Emilio Jesus Gallego Arias
2017-10-10[configure] Support for flambda flags.Emilio Jesus Gallego Arias
2017-10-09Include leading zeros in version infoTej Chajed
2017-09-19coq_makefile: make sure compile flags for Coq and coq_makefile are in syncEmilio Jesus Gallego Arias
2017-09-01Bump MacOS version number and magic numbers.Maxime Dénès
2017-09-01Change version string to 8.8+alpha.Maxime Dénès
2017-07-26Merge PR #750: Remove deprecated options of ./configure in 8.8Maxime Dénès
2017-07-13Set version to 8.7+alpha.Maxime Dénès
2017-07-11Remove deprecated options from ./configureThéo Zimmermann
2017-07-07Set version to 8.7.0~alpha.Maxime Dénès
2017-07-04Merge branch 'v8.6'Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 07:28:56 +0000