diff options
| author | Enrico Tassi | 2017-01-05 17:01:13 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2017-05-23 10:48:28 +0200 |
| commit | e94334670c7aa9c96e40d678fcc7a7a70cfd0099 (patch) | |
| tree | 8a85328eb5fe6fe6a45fb48b2e9ceb490d1980f0 /kernel/type_errors.ml | |
| parent | cd6dd06789139ee0ff5c2b79a280476999fe2bf1 (diff) | |
coqdep: set FOR_PACK variable for files that need to be packed
This enables one to have just one rule to compile .ml -> .cmx.
By using $(FOR_PACK) in such rule one passes to ocamlopt
-for-pack ModName only when necessary.
Before this coq_makefile had to generate 2 different rules, depending if
the module was mentioned in an .mlpack.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions