aboutsummaryrefslogtreecommitdiff
path: root/configure.ml
AgeCommit message (Expand)Author
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
2015-09-16In configure: -no-native-compiler -> -native-compiler noMaxime Dénès
2015-08-22Merge branch 'v8.5'Pierre-Marie Pédrot
2015-08-17Remove duplicate code.Guillaume Melquiond
2015-08-17Remove generatable documentation files from repository. (Fix bug #4315)Guillaume Melquiond
2015-07-18Merge branch 'v8.5'Pierre-Marie Pédrot
2015-07-08Use the same optimization level for the VM, whatever the debug level.Guillaume Melquiond
2015-06-22All invocations to ocaml compilers go through ocamlfindPierre Boutillier
2015-05-15Merge v8.5 into trunkHugo Herbelin
2015-05-14Disable precompilation for native_compute by default.Guillaume Melquiond
2015-05-05Merge branch 'v8.5'Pierre-Marie Pédrot
2015-04-27Compile the VM code with some optimizations (+130% speedup).Guillaume Melquiond
2015-04-20Change magic numbers.Matthieu Sozeau
2015-04-178.5beta2 release.Matthieu Sozeau
2015-04-16configure: fix paths on cygwinEnrico Tassi
2015-03-30Merge branch 'v8.5' into trunkEnrico Tassi
2015-03-26add coqdep in distributed_exec, else make does not work.Benjamin Gregoire
2015-03-04Merge branch 'v8.5'Pierre-Marie Pédrot
2015-03-03Improving display of camlp4/camlp5 versions, library and binary locations.Hugo Herbelin
2015-03-03Reinstalling search of camlpX in camldir, when given, forHugo Herbelin
2015-02-26Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-26Trying to fix code locating camlp4/camlp5.Maxime Dénès
2015-02-25Not building the doc by default.Maxime Dénès
2015-02-15Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-13Fixup version & copyright for MacOS bundlePierre Boutillier
2015-02-13Merge branch 'v8.5'Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 10:44:01 +0000