aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.ml
Commit message (Expand)AuthorAge
* 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