aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.ml
Commit message (Expand)AuthorAge
* 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
| * | Exporting the suffixes needed to build coqlib, docdir, etc.Gravatar Hugo Herbelin2017-05-29
| * | Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.Gravatar Hugo Herbelin2017-05-29
| * | Configure: viewing compilation in -local itself as an installation layout.Gravatar Hugo Herbelin2017-05-29
| * | Configuration: always giving a value to configdir and datadir.Gravatar Hugo Herbelin2017-05-29
| * | More structure and more code factorization in building defaultGravatar Hugo Herbelin2017-05-29
| * | Unifying the layout of installation directories.Gravatar Hugo Herbelin2017-05-29
| * | Unified terminology in configure.ml/coq_config.ml: arch_win32 -> arch_is_win32.Gravatar Hugo Herbelin2017-05-29
| * | Mini-renaming in configure.ml to avoid switching back and forth fromGravatar Hugo Herbelin2017-05-29
* | | Fail on deprecated warning even for Ocaml > 4.02.3Gravatar Gaëtan Gilbert2017-05-28
* | | Don't disable deprecation warning for configure.mlGravatar Gaëtan Gilbert2017-05-28
|/ /
* | configure: -local set coqdoc destination dir to ./doc rather than ""Gravatar Enrico Tassi2017-05-23
* | Deprecate -nodoc.Gravatar Théo Zimmermann2017-05-20
* | Enable more warnings, and add -warn-error configure flagGravatar Gaetan Gilbert2017-04-27
* | [camlpX] Enrico's changes to camlp4 removal.Gravatar Emilio Jesus Gallego Arias2017-04-07
* | [camlpX] Remove camlp4 compat layer.Gravatar Emilio Jesus Gallego Arias2017-04-07
* | [safe-string] Enable -safe-string !Gravatar Emilio Jesus Gallego Arias2017-03-14
* | [META] [build] Install dlls to kernel/byterunGravatar Emilio Jesus Gallego Arias2017-03-10
* | Merge PR#399: Debug by defaultGravatar Maxime Dénès2017-02-27
|\ \
| * | Deprecate -debug flag.Gravatar Maxime Dénès2017-02-20
* | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-01-19
|\ \ \ | | |/ | |/|
| * | Fix configure crash on some version strings of camlp5, e.g. "6.18-exp" (bug #...Gravatar Guillaume Melquiond2017-01-12
| | * Compile with debug information by default.Gravatar Maxime Dénès2017-01-09
| |/ |/|
* | OCaml's -dtypes flag is deprecated and replaced by -annot.Gravatar Maxime Dénès2017-01-09