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
*
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
*
add coqdep in distributed_exec, else make does not work.
Benjamin Gregoire
2015-03-26
*
Improving display of camlp4/camlp5 versions, library and binary locations.
Hugo Herbelin
2015-03-03
*
Reinstalling search of camlpX in camldir, when given, for
Hugo Herbelin
2015-03-03
*
Trying to fix code locating camlp4/camlp5.
Maxime Dénès
2015-02-26
*
Not building the doc by default.
Maxime Dénès
2015-02-25
*
Fixup version & copyright for MacOS bundle
Pierre Boutillier
2015-02-13
*
Win: use .exe extension for the ocaml compiler (Close 3572)
Enrico Tassi
2015-02-11
*
Detecting automatically whether .opt versions of ocaml executables exist;
Hugo Herbelin
2015-02-04
*
Bump version and magic numbers in configure.
Maxime Dénès
2015-01-13
*
Fix #3163 and #3843 part 1 : Cygwin DLLs have extension ".so", not ".dll"
Pierre Boutillier
2014-12-12
*
Allow camlp5 to have version numbers like "6.09-exp"
jbapple
2014-10-28
*
configure.ml: opam camlp5 + system ocaml works
Pierre Boutillier
2014-09-18
*
win32: bring back the coq icon in the coqide binary
Enrico Tassi
2014-09-17
*
win32: use subsystem windows on windows (and not console)
Enrico Tassi
2014-09-17
*
Make CoqIDE compile with windows (Closes: 3573)
Enrico Tassi
2014-09-04
*
Fixup introduction of coqworkmgr
Pierre Boutillier
2014-09-02
*
Configure.ml creates metadata to annotate MacOS binaries
Pierre Boutillier
2014-08-26
*
md5 for MacOS
Pierre
2014-05-06
*
Remove the -fno-defer-pop cflag
Jason Gross
2014-03-18
*
Set officially the minimal OCaml requirement to 3.12.1
Pierre Letouzey
2014-03-02
*
Fix compilation of coq and plugins using coq_makefile under cygwin
Enrico Tassi
2014-02-28
*
Fix coqide build under MacOS
Pierre Boutillier
2014-02-24
*
Coqmktop without Sys.command, changes in ./configure -*byteflags options
Pierre Letouzey
2014-01-30
*
Relaunch all Unix.waitpid when they ended with EINTR
Pierre Letouzey
2014-01-30
*
configure.ml fixed wrt Win32 + byte-only + coqide
Enrico Tassi
2014-01-26
*
The configure script now outputs the parameters it was fed with in
Pierre-Marie Pédrot
2014-01-24
*
Makefiles use $(foo), not $foo, for variables
Jason Gross
2014-01-18
*
Goodbye typerex, Hello merlin
Pierre
2014-01-09
*
md5 for MacOS
Pierre
2014-01-09
*
configure.ml: our configure script is now written in ML :-)
Pierre Letouzey
2013-12-20