summaryrefslogtreecommitdiff
path: root/myocamlbuild.ml
Commit message (Expand)AuthorAge
* Remove the C primitives for unsigned long long arithmetic, replacedGravatar xleroy2013-03-18
* Merge of the newmem branch:Gravatar xleroy2012-05-21
* Configuration, build and install for cchecklink. Clean-ups in myocamlbuild.ml.Gravatar xleroy2012-04-04
* checklink: first import of Valentin Robert's validator for asm and linkGravatar xleroy2012-03-28
* Switching to the new C parser/elaborator/simplifierGravatar xleroy2010-03-03