aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.ml
Commit message (Expand)AuthorAge
* Fix git recognition when in worktrees.Gravatar Théo Zimmermann2016-10-12
* fix bug 3683 : adds references to the web site for the bug trackerGravatar Yves Bertot2016-09-29
* FIX: Coq versionGravatar Matej Kosik2016-08-25
* Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-08-16
|\
| * Use the "md5" command on OpenBSD (bug #5008).Gravatar Guillaume Melquiond2016-08-11
* | Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-07-07
|\|
| * Fix typo in configure (noticed by Jason).Gravatar Maxime Dénès2016-07-06
| * Bump version number in preparation for 8.5pl2 release.Gravatar Maxime Dénès2016-07-06
| * Fix indentation of configure printoutGravatar Jason Gross2016-07-06
* | remove an old workaround for OCaml 3.11 + MacOS natdynlinkGravatar Pierre Letouzey2016-06-24
* | Merge remote-tracking branch 'github/pr/212' into trunkGravatar Maxime Dénès2016-06-20
|\ \
* | | Fix path separator on windowsGravatar Jason Gross2016-06-18
* | | Fix the build on WindowsGravatar Jason Gross2016-06-18
| * | Set required version of camlp5 to 6.06.Gravatar Maxime Dénès2016-06-17
|/ /
* | 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