diff options
Diffstat (limited to '.depend')
| -rw-r--r-- | .depend | 20 |
1 files changed, 19 insertions, 1 deletions
@@ -1,11 +1,17 @@ kernel/closure.cmi: kernel/environ.cmi kernel/evd.cmi kernel/generic.cmi \ kernel/names.cmi lib/pp.cmi kernel/term.cmi -kernel/constant.cmi: kernel/names.cmi kernel/term.cmi +kernel/constant.cmi: kernel/names.cmi kernel/sign.cmi kernel/term.cmi kernel/environ.cmi: kernel/constant.cmi kernel/evd.cmi kernel/inductive.cmi \ kernel/names.cmi kernel/term.cmi kernel/univ.cmi kernel/evd.cmi: kernel/names.cmi kernel/sign.cmi kernel/term.cmi kernel/generic.cmi: kernel/names.cmi lib/util.cmi +kernel/himsg.cmi: kernel/environ.cmi kernel/names.cmi lib/pp.cmi \ + kernel/sign.cmi kernel/term.cmi kernel/inductive.cmi: kernel/names.cmi +kernel/mach.cmi: kernel/environ.cmi kernel/machops.cmi kernel/names.cmi \ + lib/pp.cmi kernel/term.cmi kernel/univ.cmi +kernel/machops.cmi: kernel/environ.cmi kernel/names.cmi kernel/term.cmi \ + kernel/univ.cmi kernel/names.cmi: lib/pp.cmi kernel/printer.cmi: lib/pp.cmi kernel/term.cmi kernel/reduction.cmi: kernel/closure.cmi kernel/environ.cmi kernel/evd.cmi \ @@ -37,6 +43,18 @@ kernel/generic.cmo: kernel/names.cmi lib/pp.cmi lib/util.cmi \ kernel/generic.cmi kernel/generic.cmx: kernel/names.cmx lib/pp.cmx lib/util.cmx \ kernel/generic.cmi +kernel/mach.cmo: kernel/environ.cmi kernel/generic.cmi kernel/himsg.cmi \ + kernel/machops.cmi kernel/names.cmi lib/pp.cmi kernel/reduction.cmi \ + kernel/term.cmi kernel/univ.cmi lib/util.cmi kernel/mach.cmi +kernel/mach.cmx: kernel/environ.cmx kernel/generic.cmx kernel/himsg.cmi \ + kernel/machops.cmx kernel/names.cmx lib/pp.cmx kernel/reduction.cmx \ + kernel/term.cmx kernel/univ.cmi lib/util.cmx kernel/mach.cmi +kernel/machops.cmo: kernel/constant.cmi kernel/environ.cmi kernel/evd.cmi \ + kernel/generic.cmi kernel/himsg.cmi kernel/names.cmi kernel/term.cmi \ + kernel/univ.cmi kernel/machops.cmi +kernel/machops.cmx: kernel/constant.cmi kernel/environ.cmx kernel/evd.cmx \ + kernel/generic.cmx kernel/himsg.cmi kernel/names.cmx kernel/term.cmx \ + kernel/univ.cmi kernel/machops.cmi kernel/names.cmo: lib/hashcons.cmi lib/pp.cmi lib/util.cmi kernel/names.cmi kernel/names.cmx: lib/hashcons.cmx lib/pp.cmx lib/util.cmx kernel/names.cmi kernel/reduction.cmo: kernel/closure.cmi kernel/constant.cmi \ |