aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.ml
Commit message (Expand)AuthorAge
* configure: use ln on linux and cp on windowsGravatar Enrico Tassi2016-06-14
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-06-09
|\
| * New update on how to find camlp5 binary and library at configure time.Gravatar Hugo Herbelin2016-06-09
* | Officially discontinue the experimental coq build via ocamlbuildGravatar Pierre Letouzey2016-06-08
* | Update required OCaml version in configure.Gravatar Maxime Dénès2016-05-26
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-05-09
|\|
| * Fix typo in configure's option description.Gravatar Guillaume Melquiond2016-05-09
| * Use "md5 -q" on FreeBSD architectures (bug #4719).Gravatar Guillaume Melquiond2016-05-09
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-05-02
|\|
| * One more word about checking 4.01.0 with -debug and camlp4.Gravatar Hugo Herbelin2016-04-24
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-04-24
|\|
| * Fixing 50266aab on incompatibility of OCaml 4.01.0 with option -debug.Gravatar Hugo Herbelin2016-04-19
| * Updating configure.ml wrt Coq not compilable with OCaml 4.01.0 in debug mode.Gravatar Hugo Herbelin2016-04-17
| * Update version number for 8.5pl1Gravatar Maxime Dénès2016-03-29
| * Update version number in configure.Gravatar Maxime Dénès2016-01-20
| * Update version numbers and magic numbers for 8.5rc1 release.Gravatar Maxime Dénès2015-12-16
* | Revert "Revert PMP's fix of #2498, which introduces an incompatibility with l...Gravatar Pierre-Marie Pédrot2015-12-15
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-12-15
|\|
| * Revert PMP's fix of #2498, which introduces an incompatibility with lablgtkGravatar Maxime Dénès2015-12-14
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-11-26
|\|
| * Heuristic to check the version of lablgtk2 in configure.ml.Gravatar Pierre-Marie Pédrot2015-11-25
| * Checking lablgtk version in configure. Fix bug #4423.Gravatar Pierre-Marie Pédrot2015-11-25
| * Update version numbers and magic numbers for 8.5beta3 release.Gravatar Maxime Dénès2015-11-05
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-29
|\|
| * Seeing configure as a static resolution of path continued (not yet on windows).Gravatar Hugo Herbelin2015-10-28
| * Seeing configure as a static resolution of path, hence hardwiring longGravatar Hugo Herbelin2015-10-26
| * Fixing bugs in options of the configure.Gravatar Hugo Herbelin2015-10-26
| * Preventing using OCaml 4.02.0 for compiling Coq as compilation timesGravatar Hugo Herbelin2015-10-26
* | Merge branch 'v8.5' into trunkGravatar Maxime Dénès2015-09-17
|\|
| * Disable native_compute on Windows by default.Gravatar Maxime Dénès2015-09-16
| * In configure: -no-native-compiler -> -native-compiler noGravatar Maxime Dénès2015-09-16
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-08-22
|\|
| * Remove duplicate code.Gravatar Guillaume Melquiond2015-08-17
| * Remove generatable documentation files from repository. (Fix bug #4315)Gravatar Guillaume Melquiond2015-08-17
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-07-18
|\|
| * Use the same optimization level for the VM, whatever the debug level.Gravatar Guillaume Melquiond2015-07-08
* | All invocations to ocaml compilers go through ocamlfindGravatar Pierre Boutillier2015-06-22
* | Merge v8.5 into trunkGravatar Hugo Herbelin2015-05-15
|\|
| * Disable precompilation for native_compute by default.Gravatar Guillaume Melquiond2015-05-14
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-05-05
|\|
| * Compile the VM code with some optimizations (+130% speedup).Gravatar Guillaume Melquiond2015-04-27
| * Change magic numbers.Gravatar Matthieu Sozeau2015-04-20
| * 8.5beta2 release.Gravatar Matthieu Sozeau2015-04-17
| * configure: fix paths on cygwinGravatar Enrico Tassi2015-04-16
* | Merge branch 'v8.5' into trunkGravatar Enrico Tassi2015-03-30
|\|
| * add coqdep in distributed_exec, else make does not work.Gravatar Benjamin Gregoire2015-03-26
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-03-04
|\|
| * Improving display of camlp4/camlp5 versions, library and binary locations.Gravatar Hugo Herbelin2015-03-03
| * Reinstalling search of camlpX in camldir, when given, forGravatar Hugo Herbelin2015-03-03
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-02-26
|\|