aboutsummaryrefslogtreecommitdiffhomepage
path: root/myocamlbuild.ml
Commit message (Expand)AuthorAge
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09
* Fix the build of coq via ocamlbuildGravatar letouzey2009-12-08
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2025-02-09 23:44:00 +0000