aboutsummaryrefslogtreecommitdiff
path: root/configure.ml
AgeCommit message (Expand)Author
2017-01-12Fix configure crash on some version strings of camlp5, e.g. "6.18-exp" (bug #...Guillaume Melquiond
2017-01-04Fixing another inconsistency when looking for camlp5o when camlp5dir is given.Hugo Herbelin
2016-12-08Set version to 8.6 in configure.Maxime Dénès
2016-12-07Commit bumping the version number was partial...Maxime Dénès
2016-12-07Set version number to 8.6rc1.Maxime Dénès
2016-11-14Set version number to 8.6beta1.Maxime Dénès
2016-10-12Fix git recognition when in worktrees.Théo Zimmermann
2016-09-29fix bug 3683 : adds references to the web site for the bug trackerYves Bertot
2016-08-25FIX: Coq versionMatej Kosik
2016-08-16Merge branch 'v8.5' into v8.6Pierre-Marie Pédrot
2016-08-11Use the "md5" command on OpenBSD (bug #5008).Guillaume Melquiond
2016-07-07Merge branch 'v8.5' into v8.6Pierre-Marie Pédrot
2016-07-06Fix typo in configure (noticed by Jason).Maxime Dénès
2016-07-06Bump version number in preparation for 8.5pl2 release.Maxime Dénès
2016-07-06Fix indentation of configure printoutJason Gross
2016-06-24remove an old workaround for OCaml 3.11 + MacOS natdynlinkPierre Letouzey
2016-06-20Merge remote-tracking branch 'github/pr/212' into trunkMaxime Dénès
2016-06-18Fix path separator on windowsJason Gross
2016-06-18Fix the build on WindowsJason Gross
2016-06-17Set required version of camlp5 to 6.06.Maxime Dénès
2016-06-14configure: use ln on linux and cp on windowsEnrico Tassi
2016-06-09Merge branch 'v8.5'Pierre-Marie Pédrot
2016-06-09New update on how to find camlp5 binary and library at configure time.Hugo Herbelin
2016-06-08Officially discontinue the experimental coq build via ocamlbuildPierre Letouzey
2016-05-26Update required OCaml version in configure.Maxime Dénès
2016-05-09Merge branch 'v8.5'Pierre-Marie Pédrot
2016-05-09Fix typo in configure's option description.Guillaume Melquiond
2016-05-09Use "md5 -q" on FreeBSD architectures (bug #4719).Guillaume Melquiond
2016-05-02Merge branch 'v8.5'Pierre-Marie Pédrot
2016-04-24One more word about checking 4.01.0 with -debug and camlp4.Hugo Herbelin
2016-04-24Merge branch 'v8.5'Pierre-Marie Pédrot
2016-04-19Fixing 50266aab on incompatibility of OCaml 4.01.0 with option -debug.Hugo Herbelin
2016-04-17Updating configure.ml wrt Coq not compilable with OCaml 4.01.0 in debug mode.Hugo Herbelin
2016-03-29Update version number for 8.5pl1Maxime Dénès
2016-01-20Update version number in configure.Maxime Dénès
2015-12-16Update version numbers and magic numbers for 8.5rc1 release.Maxime Dénès
2015-12-15Revert "Revert PMP's fix of #2498, which introduces an incompatibility with l...Pierre-Marie Pédrot
2015-12-15Merge branch 'v8.5'Pierre-Marie Pédrot
2015-12-14Revert PMP's fix of #2498, which introduces an incompatibility with lablgtkMaxime Dénès
2015-11-26Merge branch 'v8.5'Pierre-Marie Pédrot
2015-11-25Heuristic to check the version of lablgtk2 in configure.ml.Pierre-Marie Pédrot
2015-11-25Checking lablgtk version in configure. Fix bug #4423.Pierre-Marie Pédrot
2015-11-05Update version numbers and magic numbers for 8.5beta3 release.Maxime Dénès
2015-10-29Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-28Seeing configure as a static resolution of path continued (not yet on windows).Hugo Herbelin
2015-10-26Seeing configure as a static resolution of path, hence hardwiring longHugo Herbelin
2015-10-26Fixing bugs in options of the configure.Hugo Herbelin
2015-10-26Preventing using OCaml 4.02.0 for compiling Coq as compilation timesHugo Herbelin
2015-09-17Merge branch 'v8.5' into trunkMaxime Dénès
2015-09-16Disable native_compute on Windows by default.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 10:33:37 +0000