]> git.mdlowis.com Git - archive/tide-ocaml.git/commitdiff
dependencies changed
authorMichael D. Lowis <mike@mdlowis.com>
Sun, 18 Feb 2018 20:09:57 +0000 (15:09 -0500)
committerMichael D. Lowis <mike@mdlowis.com>
Sun, 18 Feb 2018 20:09:57 +0000 (15:09 -0500)
deps.mk

diff --git a/deps.mk b/deps.mk
index 96700839022705f17b5b40bbb2c92bc57ea99d22..f6fa79ef2cc93b79ac0f06fe1bdc401b29678601 100644 (file)
--- a/deps.mk
+++ b/deps.mk
@@ -1,5 +1,5 @@
-edit.cmo edit.cmi : lib/x11.cmi lib/view.cmi lib/draw.cmi lib/buf.cmi edit.ml
-edit.cmx edit.o edit.cmi : lib/x11.cmi lib/x11.cmx lib/view.cmi lib/view.cmx lib/draw.cmi lib/draw.cmx lib/buf.cmi lib/buf.cmx edit.ml
+edit.cmo edit.cmi : lib/x11.cmi lib/view.cmi lib/draw.cmi edit.ml
+edit.cmx edit.o edit.cmi : lib/x11.cmi lib/x11.cmx lib/view.cmi lib/view.cmx lib/draw.cmi lib/draw.cmx edit.ml
 lib/buf.cmo : lib/rope.cmi lib/misc.cmi lib/colormap.cmi lib/buf.cmi lib/buf.ml
 lib/buf.cmx lib/buf.o : lib/rope.cmi lib/rope.cmx lib/misc.cmi lib/misc.cmx lib/colormap.cmi lib/colormap.cmx lib/buf.cmi lib/buf.ml
 lib/buf.cmi : lib/colormap.cmi