diff options
Diffstat (limited to '.depend')
| -rw-r--r-- | .depend | 31 |
1 files changed, 21 insertions, 10 deletions
@@ -2,18 +2,19 @@ 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/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/names.cmi kernel/sign.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/inductive.cmi: kernel/names.cmi kernel/sign.cmi kernel/term.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/printer.cmi: kernel/environ.cmi kernel/names.cmi lib/pp.cmi \ + kernel/sign.cmi kernel/term.cmi kernel/reduction.cmi: kernel/closure.cmi kernel/environ.cmi kernel/evd.cmi \ kernel/generic.cmi kernel/names.cmi kernel/term.cmi kernel/univ.cmi kernel/sign.cmi: kernel/generic.cmi kernel/names.cmi kernel/term.cmi @@ -43,18 +44,28 @@ 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/himsg.cmo: kernel/environ.cmi kernel/generic.cmi lib/pp.cmi \ + kernel/printer.cmi kernel/reduction.cmi kernel/sign.cmi kernel/term.cmi \ + lib/util.cmi kernel/himsg.cmi +kernel/himsg.cmx: kernel/environ.cmx kernel/generic.cmx lib/pp.cmx \ + kernel/printer.cmi kernel/reduction.cmx kernel/sign.cmx kernel/term.cmx \ + lib/util.cmx kernel/himsg.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/sign.cmi kernel/term.cmi kernel/univ.cmi lib/util.cmi \ + kernel/mach.cmi +kernel/mach.cmx: kernel/environ.cmx kernel/generic.cmx kernel/himsg.cmx \ 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/sign.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/generic.cmi kernel/himsg.cmi kernel/inductive.cmi kernel/names.cmi \ + lib/pp.cmi kernel/reduction.cmi kernel/sign.cmi kernel/term.cmi \ + kernel/univ.cmi lib/util.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/generic.cmx kernel/himsg.cmx kernel/inductive.cmi kernel/names.cmx \ + lib/pp.cmx kernel/reduction.cmx kernel/sign.cmx kernel/term.cmx \ + kernel/univ.cmi lib/util.cmx 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 \ |