aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.ml
Commit message (Expand)AuthorAge
* 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
| | * [kernel] Patch allowing to disable VM reduction.Gravatar Emilio Jesus Gallego Arias2017-12-02
| |/
* / check for Num lib if OCaml >= 4.06, #6162Gravatar Paul Steckler2017-12-01
|/
* Surrounding a few places printing file names with quotes when a space occurs.Gravatar Hugo Herbelin2017-11-23
* Check findlib version in configure (fix #4270).Gravatar Gaëtan Gilbert2017-11-20
* Remove branch on caml version >= 3.10 from configure.Gravatar Gaëtan Gilbert2017-11-19
* Remove GeoProof support.Gravatar Maxime Dénès2017-10-11
* Merge PR #540: [configure] Support for flambda flags.Gravatar Maxime Dénès2017-10-10
|\
| * [flambda] [native] Pass `-Oclassic` to the native compiler.Gravatar Emilio Jesus Gallego Arias2017-10-10
| * [configure] Support for flambda flags.Gravatar Emilio Jesus Gallego Arias2017-10-10
* | Include leading zeros in version infoGravatar Tej Chajed2017-10-09
|/
* coq_makefile: make sure compile flags for Coq and coq_makefile are in syncGravatar Emilio Jesus Gallego Arias2017-09-19
* Bump MacOS version number and magic numbers.Gravatar Maxime Dénès2017-09-01
* Change version string to 8.8+alpha.Gravatar Maxime Dénès2017-09-01
* Merge PR #750: Remove deprecated options of ./configure in 8.8Gravatar Maxime Dénès2017-07-26
|\
* | Set version to 8.7+alpha.Gravatar Maxime Dénès2017-07-13
| * Remove deprecated options from ./configureGravatar Théo Zimmermann2017-07-11
* | Set version to 8.7.0~alpha.Gravatar Maxime Dénès2017-07-07
|/
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-07-04
|\
| * Bump version number to 8.6.1.Gravatar Maxime Dénès2017-06-26
| * [configure] 'ocaml' is more precise than OCaml as we mean the binary.Gravatar Maxime Dénès2017-06-23
| * ocaml -> OCaml in configure.ml.Gravatar Maxime Dénès2017-06-23
| * Merge PR#729: Fixing an inconsistency between configure and configure.mlGravatar Maxime Dénès2017-06-23
| |\
* | \ Merge PR#749: Normalize deprecation notices of ./configureGravatar Maxime Dénès2017-06-14
|\ \ \
* | | | Add support for "-bypass-API" argument of "coq_makefile"Gravatar Matej Košík2017-06-12
| * | | Normalize deprecation notices of ./configureGravatar Théo Zimmermann2017-06-11
|/ / /
| * | Ensure that warnings new from ocaml > 4.01 remains silent.Gravatar Hugo Herbelin2017-06-04
| | * Fixing an inconsistency between configure and configure.ml.Gravatar Hugo Herbelin2017-06-04
| |/
* | Merge PR#356: Making management of installation directories more structured, ...Gravatar Maxime Dénès2017-05-30
|\ \
| * | Configuration with -local definitively seen as an installation layout like ot...Gravatar Hugo Herbelin2017-05-29