aboutsummaryrefslogtreecommitdiff
path: root/.depend
diff options
context:
space:
mode:
Diffstat (limited to '.depend')
-rw-r--r--.depend216
1 files changed, 160 insertions, 56 deletions
diff --git a/.depend b/.depend
index 3b635a5230..83413b60e9 100644
--- a/.depend
+++ b/.depend
@@ -3748,72 +3748,176 @@ tools/coq_makefile.cmx:
tools/coq-tex.cmo:
tools/coq-tex.cmx:
coq_fix_code.o: kernel/byterun/coq_fix_code.c \
- /home/logical/local/lib/ocaml/caml/config.h \
- /home/logical/local/lib/ocaml/caml/compatibility.h \
- /home/logical/local/lib/ocaml/caml/misc.h \
- /home/logical/local/lib/ocaml/caml/mlvalues.h \
- /home/logical/local/lib/ocaml/caml/fail.h \
- /home/logical/local/lib/ocaml/caml/memory.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/fail.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/memory.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
kernel/byterun/coq_instruct.h kernel/byterun/coq_fix_code.h
coq_interp.o: kernel/byterun/coq_interp.c kernel/byterun/coq_gc.h \
- /home/logical/local/lib/ocaml/caml/mlvalues.h \
- /home/logical/local/lib/ocaml/caml/compatibility.h \
- /home/logical/local/lib/ocaml/caml/config.h \
- /home/logical/local/lib/ocaml/caml/misc.h \
- /home/logical/local/lib/ocaml/caml/alloc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/alloc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
kernel/byterun/coq_instruct.h kernel/byterun/coq_fix_code.h \
- kernel/byterun/coq_memory.h /home/logical/local/lib/ocaml/caml/fail.h \
- /home/logical/local/lib/ocaml/caml/memory.h kernel/byterun/coq_values.h \
- kernel/byterun/coq_jumptbl.h
+ kernel/byterun/coq_memory.h /home/logical/local//lib/ocaml/caml/fail.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/memory.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ kernel/byterun/coq_values.h kernel/byterun/coq_jumptbl.h
coq_memory.o: kernel/byterun/coq_memory.c kernel/byterun/coq_gc.h \
- /home/logical/local/lib/ocaml/caml/mlvalues.h \
- /home/logical/local/lib/ocaml/caml/compatibility.h \
- /home/logical/local/lib/ocaml/caml/config.h \
- /home/logical/local/lib/ocaml/caml/misc.h \
- /home/logical/local/lib/ocaml/caml/alloc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/alloc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
kernel/byterun/coq_instruct.h kernel/byterun/coq_fix_code.h \
- kernel/byterun/coq_memory.h /home/logical/local/lib/ocaml/caml/fail.h \
- /home/logical/local/lib/ocaml/caml/memory.h
+ kernel/byterun/coq_memory.h /home/logical/local//lib/ocaml/caml/fail.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/memory.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h
coq_values.o: kernel/byterun/coq_values.c kernel/byterun/coq_fix_code.h \
- /home/logical/local/lib/ocaml/caml/mlvalues.h \
- /home/logical/local/lib/ocaml/caml/compatibility.h \
- /home/logical/local/lib/ocaml/caml/config.h \
- /home/logical/local/lib/ocaml/caml/misc.h kernel/byterun/coq_instruct.h \
- kernel/byterun/coq_memory.h /home/logical/local/lib/ocaml/caml/fail.h \
- /home/logical/local/lib/ocaml/caml/memory.h kernel/byterun/coq_values.h \
- /home/logical/local/lib/ocaml/caml/alloc.h
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ kernel/byterun/coq_instruct.h kernel/byterun/coq_memory.h \
+ /home/logical/local//lib/ocaml/caml/fail.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/memory.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ kernel/byterun/coq_values.h /home/logical/local//lib/ocaml/caml/alloc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h
coq_fix_code.d.o: kernel/byterun/coq_fix_code.c \
- /home/logical/local/lib/ocaml/caml/config.h \
- /home/logical/local/lib/ocaml/caml/compatibility.h \
- /home/logical/local/lib/ocaml/caml/misc.h \
- /home/logical/local/lib/ocaml/caml/mlvalues.h \
- /home/logical/local/lib/ocaml/caml/fail.h \
- /home/logical/local/lib/ocaml/caml/memory.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/fail.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/memory.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
kernel/byterun/coq_instruct.h kernel/byterun/coq_fix_code.h
coq_interp.d.o: kernel/byterun/coq_interp.c kernel/byterun/coq_gc.h \
- /home/logical/local/lib/ocaml/caml/mlvalues.h \
- /home/logical/local/lib/ocaml/caml/compatibility.h \
- /home/logical/local/lib/ocaml/caml/config.h \
- /home/logical/local/lib/ocaml/caml/misc.h \
- /home/logical/local/lib/ocaml/caml/alloc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/alloc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
kernel/byterun/coq_instruct.h kernel/byterun/coq_fix_code.h \
- kernel/byterun/coq_memory.h /home/logical/local/lib/ocaml/caml/fail.h \
- /home/logical/local/lib/ocaml/caml/memory.h kernel/byterun/coq_values.h \
- kernel/byterun/coq_jumptbl.h
+ kernel/byterun/coq_memory.h /home/logical/local//lib/ocaml/caml/fail.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/memory.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ kernel/byterun/coq_values.h kernel/byterun/coq_jumptbl.h
coq_memory.d.o: kernel/byterun/coq_memory.c kernel/byterun/coq_gc.h \
- /home/logical/local/lib/ocaml/caml/mlvalues.h \
- /home/logical/local/lib/ocaml/caml/compatibility.h \
- /home/logical/local/lib/ocaml/caml/config.h \
- /home/logical/local/lib/ocaml/caml/misc.h \
- /home/logical/local/lib/ocaml/caml/alloc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/alloc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
kernel/byterun/coq_instruct.h kernel/byterun/coq_fix_code.h \
- kernel/byterun/coq_memory.h /home/logical/local/lib/ocaml/caml/fail.h \
- /home/logical/local/lib/ocaml/caml/memory.h
+ kernel/byterun/coq_memory.h /home/logical/local//lib/ocaml/caml/fail.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/memory.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h
coq_values.d.o: kernel/byterun/coq_values.c kernel/byterun/coq_fix_code.h \
- /home/logical/local/lib/ocaml/caml/mlvalues.h \
- /home/logical/local/lib/ocaml/caml/compatibility.h \
- /home/logical/local/lib/ocaml/caml/config.h \
- /home/logical/local/lib/ocaml/caml/misc.h kernel/byterun/coq_instruct.h \
- kernel/byterun/coq_memory.h /home/logical/local/lib/ocaml/caml/fail.h \
- /home/logical/local/lib/ocaml/caml/memory.h kernel/byterun/coq_values.h \
- /home/logical/local/lib/ocaml/caml/alloc.h
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ kernel/byterun/coq_instruct.h kernel/byterun/coq_memory.h \
+ /home/logical/local//lib/ocaml/caml/fail.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ /home/logical/local//lib/ocaml/caml/memory.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/config.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h \
+ kernel/byterun/coq_values.h /home/logical/local//lib/ocaml/caml/alloc.h \
+ /home/logical/local//lib/ocaml/caml/compatibility.h \
+ /home/logical/local//lib/ocaml/caml/misc.h \
+ /home/logical/local//lib/ocaml/caml/mlvalues.h
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 01:14:56 +0000