aboutsummaryrefslogtreecommitdiff
path: root/configure.ml
AgeCommit message (Expand)Author
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
2017-06-26Bump version number to 8.6.1.Maxime Dénès
2017-06-23[configure] 'ocaml' is more precise than OCaml as we mean the binary.Maxime Dénès
2017-06-23ocaml -> OCaml in configure.ml.Maxime Dénès
2017-06-23Merge PR#729: Fixing an inconsistency between configure and configure.mlMaxime Dénès
2017-06-14Merge PR#749: Normalize deprecation notices of ./configureMaxime Dénès
2017-06-12Add support for "-bypass-API" argument of "coq_makefile"Matej Košík
2017-06-11Normalize deprecation notices of ./configureThéo Zimmermann
2017-06-04Ensure that warnings new from ocaml > 4.01 remains silent.Hugo Herbelin
2017-06-04Fixing an inconsistency between configure and configure.ml.Hugo Herbelin
2017-05-30Merge PR#356: Making management of installation directories more structured, ...Maxime Dénès
2017-05-29Configuration with -local definitively seen as an installation layout like ot...Hugo Herbelin
2017-05-29Exporting the suffixes needed to build coqlib, docdir, etc.Hugo Herbelin
2017-05-29Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.Hugo Herbelin
2017-05-29Configure: viewing compilation in -local itself as an installation layout.Hugo Herbelin
2017-05-29Configuration: always giving a value to configdir and datadir.Hugo Herbelin
2017-05-29More structure and more code factorization in building defaultHugo Herbelin
2017-05-29Unifying the layout of installation directories.Hugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:15:33 +0000