Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Minor fix in the ./build wrapper for ocamlbuild | 2012-10-06 | |
* | lib directory is cut in 2 cma. | 2012-04-12 | |
* | Ocamlbuild needs OCAML_LD_LIBRARY_PATH (bug #2502) | 2011-02-25 | |
* | Some more adaptations for Debian-->mingw32 | 2010-02-26 | |
* | mingw32 cross-compilation: coqide.exe as a GUI program, nicer ./build script | 2010-02-25 | |
* | Win32 cross-compilation from debian: build of coqide.exe and other binaries | 2010-02-24 | |
* | Experimental build of coqtop.exe + plugins via cross-compilation linux-->win32 | 2010-02-18 | |
* | Remove bashisms | 2010-01-28 | |
* | Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch | 2009-04-08 | |
* | Ocamlbuild: improvements suggested by N. Pouillard | 2009-04-03 | |
* | ocamlbuild improvements + minor makefile fix | 2009-03-24 |