aboutsummaryrefslogtreecommitdiff
path: root/configure.ml
AgeCommit message (Expand)Author
2015-02-11Win: use .exe extension for the ocaml compiler (Close 3572)Enrico Tassi
2015-02-10Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-04Detecting automatically whether .opt versions of ocaml executables exist;Hugo Herbelin
2015-01-15Revert "Bump version and magic numbers in configure."Maxime Dénès
2015-01-13Bump version and magic numbers in configure.Maxime Dénès
2014-12-12Fix #3163 and #3843 part 1 : Cygwin DLLs have extension ".so", not ".dll"Pierre Boutillier
2014-10-28Allow camlp5 to have version numbers like "6.09-exp"jbapple
2014-09-18configure.ml: opam camlp5 + system ocaml worksPierre Boutillier
2014-09-17win32: bring back the coq icon in the coqide binaryEnrico Tassi
2014-09-17win32: use subsystem windows on windows (and not console)Enrico Tassi
2014-09-04Make CoqIDE compile with windows (Closes: 3573)Enrico Tassi
2014-09-02Fixup introduction of coqworkmgrPierre Boutillier
2014-08-26Configure.ml creates metadata to annotate MacOS binariesPierre Boutillier
2014-05-06md5 for MacOSPierre
2014-03-18Remove the -fno-defer-pop cflagJason Gross
2014-03-02Set officially the minimal OCaml requirement to 3.12.1Pierre Letouzey
2014-02-28Fix compilation of coq and plugins using coq_makefile under cygwinEnrico Tassi
2014-02-24Fix coqide build under MacOSPierre Boutillier
2014-01-30Coqmktop without Sys.command, changes in ./configure -*byteflags optionsPierre Letouzey
2014-01-30Relaunch all Unix.waitpid when they ended with EINTRPierre Letouzey
2014-01-26configure.ml fixed wrt Win32 + byte-only + coqideEnrico Tassi
2014-01-24The configure script now outputs the parameters it was fed with inPierre-Marie Pédrot
2014-01-18Makefiles use $(foo), not $foo, for variablesJason Gross
2014-01-09Goodbye typerex, Hello merlinPierre
2014-01-09md5 for MacOSPierre
2013-12-20configure.ml: our configure script is now written in ML :-)Pierre Letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 12:42:22 +0000