summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2001-10-01 14:20:09 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2001-10-01 14:20:09 +0000
commit9247a206f22113300c99b69a93ca7933845dee0f (patch)
tree21c1f50fc6648192931b876778cd0c8619a1befd
parent6cadb65dba4cb171dd33c7a02428d356888700d2 (diff)
add dependencies
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3819 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--otherlibs/labltk/browser/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/labltk/browser/Makefile b/otherlibs/labltk/browser/Makefile
index d1da76bd6..bcc67c51a 100644
--- a/otherlibs/labltk/browser/Makefile
+++ b/otherlibs/labltk/browser/Makefile
@@ -55,5 +55,6 @@ dummy.mli:
rm -f $@
ln -s dummyUnix.mli $@
shell.cmo: dummy.cmi
+lexical.cmi searchid.cmi typecheck.cmi: $(TOPDIR)/toplevel/toplevellib.cma
include .depend