Install topdirs.cmi in stdlib (problem reported on the mailing list - unable to use install_printer)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12748 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-19 22:45:45 +00:00 · 2012-07-19 22:45:45 +00:00 · f786ea843d
parent 19a650aa7f
commit f786ea843d
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -282,6 +282,7 @@ install:
 	cp utils/*.cmi parsing/*.cmi typing/*.cmi bytecomp/*.cmi driver/*.cmi toplevel/*.cmi $(COMPLIBDIR)
 	cp compilerlibs/ocamlcommon.cma compilerlibs/ocamlbytecomp.cma compilerlibs/ocamltoplevel.cma $(BYTESTART) $(TOPLEVELSTART) $(COMPLIBDIR)
 	cp expunge $(LIBDIR)/expunge$(EXE)
+	cp toplevel/topdirs.cmi $(LIBDIR)
 	cd tools; $(MAKE) install
 	-cd man; $(MAKE) install
 	for i in $(OTHERLIBRARIES); do \