diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-06-01 11:40:43 +0200 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-06-01 11:42:33 +0200 |
| commit | f1f70008276d540f7854e50e5f4aa762387d2281 (patch) | |
| tree | 43be10821c4ba10556232e50d290b7604e5f547e /test-suite/output/Fixpoint.out | |
| parent | 390bcdb00838e045b643912e32a9d159b40f3b70 (diff) | |
Makefile.build : improved rules about .cm(x)a
We add a dependency of .cma over .mllib.
This dependency over the .mllib is somewhat artificial, since
ocamlc -a won't use this file, hence the $(filter-out ...) below.
But this ensures that the .cm(x)a is rebuilt when needed,
(especially when removing a module in the .mllib).
We also remove all "order-only" dependencies over *.d in rules,
since the -include mechanism should already ensure that we have
up-to-date dependencies known by make.
Diffstat (limited to 'test-suite/output/Fixpoint.out')
0 files changed, 0 insertions, 0 deletions