index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
configure.ml
Commit message (
Expand
)
Author
Age
...
|
*
Fix indentation of configure printout
Jason Gross
2016-07-06
*
|
remove an old workaround for OCaml 3.11 + MacOS natdynlink
Pierre Letouzey
2016-06-24
*
|
Merge remote-tracking branch 'github/pr/212' into trunk
Maxime Dénès
2016-06-20
|
\
\
*
|
|
Fix path separator on windows
Jason Gross
2016-06-18
*
|
|
Fix the build on Windows
Jason Gross
2016-06-18
|
*
|
Set required version of camlp5 to 6.06.
Maxime Dénès
2016-06-17
|
/
/
*
|
configure: use ln on linux and cp on windows
Enrico Tassi
2016-06-14
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-06-09
|
\
|
|
*
New update on how to find camlp5 binary and library at configure time.
Hugo Herbelin
2016-06-09
*
|
Officially discontinue the experimental coq build via ocamlbuild
Pierre Letouzey
2016-06-08
*
|
Update required OCaml version in configure.
Maxime Dénès
2016-05-26
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-05-09
|
\
|
|
*
Fix typo in configure's option description.
Guillaume Melquiond
2016-05-09
|
*
Use "md5 -q" on FreeBSD architectures (bug #4719).
Guillaume Melquiond
2016-05-09
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-05-02
|
\
|
|
*
One more word about checking 4.01.0 with -debug and camlp4.
Hugo Herbelin
2016-04-24
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-04-24
|
\
|
|
*
Fixing 50266aab on incompatibility of OCaml 4.01.0 with option -debug.
Hugo Herbelin
2016-04-19
|
*
Updating configure.ml wrt Coq not compilable with OCaml 4.01.0 in debug mode.
Hugo Herbelin
2016-04-17
|
*
Update version number for 8.5pl1
Maxime Dénès
2016-03-29
|
*
Update version number in configure.
Maxime Dénès
2016-01-20
|
*
Update version numbers and magic numbers for 8.5rc1 release.
Maxime Dénès
2015-12-16
*
|
Revert "Revert PMP's fix of #2498, which introduces an incompatibility with l...
Pierre-Marie Pédrot
2015-12-15
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-12-15
|
\
|
|
*
Revert PMP's fix of #2498, which introduces an incompatibility with lablgtk
Maxime Dénès
2015-12-14
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-11-26
|
\
|
|
*
Heuristic to check the version of lablgtk2 in configure.ml.
Pierre-Marie Pédrot
2015-11-25
|
*
Checking lablgtk version in configure. Fix bug #4423.
Pierre-Marie Pédrot
2015-11-25
|
*
Update version numbers and magic numbers for 8.5beta3 release.
Maxime Dénès
2015-11-05
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-29
|
\
|
|
*
Seeing configure as a static resolution of path continued (not yet on windows).
Hugo Herbelin
2015-10-28
|
*
Seeing configure as a static resolution of path, hence hardwiring long
Hugo Herbelin
2015-10-26
|
*
Fixing bugs in options of the configure.
Hugo Herbelin
2015-10-26
|
*
Preventing using OCaml 4.02.0 for compiling Coq as compilation times
Hugo Herbelin
2015-10-26
*
|
Merge branch 'v8.5' into trunk
Maxime Dénès
2015-09-17
|
\
|
|
*
Disable native_compute on Windows by default.
Maxime Dénès
2015-09-16
|
*
In configure: -no-native-compiler -> -native-compiler no
Maxime Dénès
2015-09-16
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-08-22
|
\
|
|
*
Remove duplicate code.
Guillaume Melquiond
2015-08-17
|
*
Remove generatable documentation files from repository. (Fix bug #4315)
Guillaume Melquiond
2015-08-17
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-07-18
|
\
|
|
*
Use the same optimization level for the VM, whatever the debug level.
Guillaume Melquiond
2015-07-08
*
|
All invocations to ocaml compilers go through ocamlfind
Pierre Boutillier
2015-06-22
*
|
Merge v8.5 into trunk
Hugo Herbelin
2015-05-15
|
\
|
|
*
Disable precompilation for native_compute by default.
Guillaume Melquiond
2015-05-14
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-05-05
|
\
|
|
*
Compile the VM code with some optimizations (+130% speedup).
Guillaume Melquiond
2015-04-27
|
*
Change magic numbers.
Matthieu Sozeau
2015-04-20
|
*
8.5beta2 release.
Matthieu Sozeau
2015-04-17
|
*
configure: fix paths on cygwin
Enrico Tassi
2015-04-16
[prev]
[next]