aboutsummaryrefslogtreecommitdiffhomepage
path: root/build
Commit message (Expand)AuthorAge
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Ocamlbuild needs OCAML_LD_LIBRARY_PATH (bug #2502)Gravatar glondu2011-02-25
* Some more adaptations for Debian-->mingw32Gravatar letouzey2010-02-26
* mingw32 cross-compilation: coqide.exe as a GUI program, nicer ./build scriptGravatar letouzey2010-02-25
* Win32 cross-compilation from debian: build of coqide.exe and other binariesGravatar letouzey2010-02-24
* Experimental build of coqtop.exe + plugins via cross-compilation linux-->win32Gravatar letouzey2010-02-18
* Remove bashismsGravatar glondu2010-01-28
* Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branchGravatar herbelin2009-04-08
* Ocamlbuild: improvements suggested by N. PouillardGravatar letouzey2009-04-03
* ocamlbuild improvements + minor makefile fixGravatar letouzey2009-03-24