aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/ocamllibdep.mll
Commit message (Expand)AuthorAge
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-07-04
|\
| * A cleaning phase about ocaml file names.Gravatar Hugo Herbelin2017-06-27
* | make sure that "ocamllibdep" properly recognizes Ocaml modules that are all u...Gravatar Matej Košík2017-05-30
* | Fail on deprecated warning even for Ocaml > 4.02.3Gravatar Gaëtan Gilbert2017-05-28
|/
* ocamllibdep + coqdep : simpler deps concerning .mllib and .mlpackGravatar Pierre Letouzey2016-06-15
* Compilation via pack for plugins of the stdlibGravatar Pierre Letouzey2016-06-08
* Remove useless recursive flags.Gravatar Guillaume Melquiond2016-01-01
* Remove some occurrences of Unix.opendir.Gravatar Guillaume Melquiond2015-12-14
* New short stand-alone ocamllibdep to build .mllib dependencies files.Gravatar Hugo Herbelin2015-02-16