aboutsummaryrefslogtreecommitdiffhomepage
path: root/myocamlbuild.ml
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Use camlp4 to accept some specific non-exhaustive patterns in groebnerGravatar letouzey2009-07-20
* ocamlbuild: right symlink for csdpcertGravatar letouzey2009-04-08
* Ocamlbuild: option for (not) building coqide, better log messagesGravatar letouzey2009-04-03
* Ocamlbuild: improvements suggested by N. PouillardGravatar letouzey2009-04-03
* Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo)Gravatar letouzey2009-03-30
* ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)Gravatar letouzey2009-03-29
* Ocamlbuild: 1st reasonably complete version (rules for binaries + plugins + vo)Gravatar letouzey2009-03-26
* ocamlbuild: coqide, coqchk, a bit of .voGravatar letouzey2009-03-26
* ocamlbuild improvements + minor makefile fixGravatar letouzey2009-03-24
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20