aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.ml
Commit message (Expand)AuthorAge
* All invocations to ocaml compilers go through ocamlfindGravatar Pierre Boutillier2015-06-22
* Merge v8.5 into trunkGravatar Hugo Herbelin2015-05-15
|\
| * Disable precompilation for native_compute by default.Gravatar Guillaume Melquiond2015-05-14
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-05-05
|\|
| * Compile the VM code with some optimizations (+130% speedup).Gravatar Guillaume Melquiond2015-04-27
| * Change magic numbers.Gravatar Matthieu Sozeau2015-04-20
| * 8.5beta2 release.Gravatar Matthieu Sozeau2015-04-17
| * configure: fix paths on cygwinGravatar Enrico Tassi2015-04-16
* | Merge branch 'v8.5' into trunkGravatar Enrico Tassi2015-03-30
|\|
| * add coqdep in distributed_exec, else make does not work.Gravatar Benjamin Gregoire2015-03-26
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-03-04
|\|
| * Improving display of camlp4/camlp5 versions, library and binary locations.Gravatar Hugo Herbelin2015-03-03
| * Reinstalling search of camlpX in camldir, when given, forGravatar Hugo Herbelin2015-03-03
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-02-26
|\|
| * Trying to fix code locating camlp4/camlp5.Gravatar Maxime Dénès2015-02-26
| * Not building the doc by default.Gravatar Maxime Dénès2015-02-25
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-02-15
|\|
| * Fixup version & copyright for MacOS bundleGravatar Pierre Boutillier2015-02-13
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-02-13
|\|
| * Win: use .exe extension for the ocaml compiler (Close 3572)Gravatar Enrico Tassi2015-02-11
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-02-10
|\|
| * Detecting automatically whether .opt versions of ocaml executables exist;Gravatar Hugo Herbelin2015-02-04
* | Revert "Bump version and magic numbers in configure."Gravatar Maxime Dénès2015-01-15
|/
* Bump version and magic numbers in configure.Gravatar Maxime Dénès2015-01-13
* Fix #3163 and #3843 part 1 : Cygwin DLLs have extension ".so", not ".dll"Gravatar Pierre Boutillier2014-12-12
* Allow camlp5 to have version numbers like "6.09-exp"Gravatar jbapple2014-10-28
* configure.ml: opam camlp5 + system ocaml worksGravatar Pierre Boutillier2014-09-18
* win32: bring back the coq icon in the coqide binaryGravatar Enrico Tassi2014-09-17
* win32: use subsystem windows on windows (and not console)Gravatar Enrico Tassi2014-09-17
* Make CoqIDE compile with windows (Closes: 3573)Gravatar Enrico Tassi2014-09-04
* Fixup introduction of coqworkmgrGravatar Pierre Boutillier2014-09-02
* Configure.ml creates metadata to annotate MacOS binariesGravatar Pierre Boutillier2014-08-26
* md5 for MacOSGravatar Pierre2014-05-06
* Remove the -fno-defer-pop cflagGravatar Jason Gross2014-03-18
* Set officially the minimal OCaml requirement to 3.12.1Gravatar Pierre Letouzey2014-03-02
* Fix compilation of coq and plugins using coq_makefile under cygwinGravatar Enrico Tassi2014-02-28
* Fix coqide build under MacOSGravatar Pierre Boutillier2014-02-24
* Coqmktop without Sys.command, changes in ./configure -*byteflags optionsGravatar Pierre Letouzey2014-01-30
* Relaunch all Unix.waitpid when they ended with EINTRGravatar Pierre Letouzey2014-01-30
* configure.ml fixed wrt Win32 + byte-only + coqideGravatar Enrico Tassi2014-01-26
* The configure script now outputs the parameters it was fed with inGravatar Pierre-Marie Pédrot2014-01-24
* Makefiles use $(foo), not $foo, for variablesGravatar Jason Gross2014-01-18
* Goodbye typerex, Hello merlinGravatar Pierre2014-01-09
* md5 for MacOSGravatar Pierre2014-01-09
* configure.ml: our configure script is now written in ML :-)Gravatar Pierre Letouzey2013-12-20