aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.ml
Commit message (Expand)AuthorAge
* 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
* | Relax required OCaml to 4.02.1.Gravatar Maxime Dénès2017-01-09
| * Fixing another inconsistency when looking for camlp5o when camlp5dir is given.Gravatar Hugo Herbelin2017-01-04
* | Bump required OCaml version to 4.02.3.Gravatar Maxime Dénès2016-12-19
| * Set version to 8.6 in configure.Gravatar Maxime Dénès2016-12-08
| * Commit bumping the version number was partial...Gravatar Maxime Dénès2016-12-07
| * Set version number to 8.6rc1.Gravatar Maxime Dénès2016-12-07
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-11-18
|\|
| * Set version number to 8.6beta1.Gravatar Maxime Dénès2016-11-14
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-12
|\|
| * Fix git recognition when in worktrees.Gravatar Théo Zimmermann2016-10-12
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-02
|\|
| * 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 remote-tracking branch 'v8.6' into trunkGravatar Matej Kosik2016-08-25
|\|
| * FIX: Coq versionGravatar Matej Kosik2016-08-25
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-08-17
|\|
| * 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
* | | No more dev/printers.cmaGravatar Pierre Letouzey2016-07-26
|/ /
* | 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