diff options
| author | Pierre Letouzey | 2016-06-15 12:48:26 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-15 13:04:44 +0200 |
| commit | 3e0f94ac02fac8f4693e51b6656f9448b4b50921 (patch) | |
| tree | 38f21757c0db967f006eeb907cfe57ba7f54420e /kernel/type_errors.mli | |
| parent | 2861a39461c6e13f701892af84c7beebfb8f4215 (diff) | |
ocamllibdep + coqdep : simpler deps concerning .mllib and .mlpack
Since we already have a rule %.cmxs:%.cmxa and the .cmxa depends
already on all the .cmx inside it, no need to state explicitely
that the .cmxs depends on these inner .cmx. Same thing concerning
.cmxs built out of a single .cmx.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions