Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo) | 2009-03-30 | ||
* | ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc) | 2009-03-29 | ||
* | Ocamlbuild: 1st reasonably complete version (rules for binaries + plugins + vo) | 2009-03-26 | ||
* | ocamlbuild: coqide, coqchk, a bit of .vo | 2009-03-26 | ||
* | ocamlbuild improvements + minor makefile fix | 2009-03-24 | ||
* | Many changes in the Makefile infrastructure + a beginning of ocamlbuild | 2009-03-20 |