diff options
author | Mark Shinwell <mshinwell@gmail.com> | 2016-01-12 13:48:39 +0100 |
---|---|---|
committer | Mark Shinwell <mshinwell@gmail.com> | 2016-01-12 13:48:39 +0100 |
commit | f9a3d0d9c195ce71632001c5463d209326692937 (patch) | |
tree | c91805f509855ecf0388c8b7b5cc24637b6fe7ae /tools/Makefile.shared | |
parent | bfdb3c3a82007c9c6e5e0096d83e84fde088245d (diff) | |
parent | b7df26e34b190a6ae270bef908616bf872c1b66a (diff) | |
download | ocaml-f9a3d0d9c195ce71632001c5463d209326692937.tar.gz |
merge with trunk
Diffstat (limited to 'tools/Makefile.shared')
-rw-r--r-- | tools/Makefile.shared | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/Makefile.shared b/tools/Makefile.shared index a969e95498..e648b30fb0 100644 --- a/tools/Makefile.shared +++ b/tools/Makefile.shared @@ -35,7 +35,7 @@ opt.opt: ocamldep.opt read_cmt.opt # The dependency generator CAMLDEP_OBJ=depend.cmo ocamldep.cmo -CAMLDEP_IMPORTS=misc.cmo config.cmo identifiable.cmo numbers.cmo \ +CAMLDEP_IMPORTS=timings.cmo misc.cmo config.cmo identifiable.cmo numbers.cmo \ clflags.cmo terminfo.cmo \ warnings.cmo location.cmo longident.cmo docstrings.cmo \ syntaxerr.cmo ast_helper.cmo parser.cmo lexer.cmo parse.cmo \ @@ -315,6 +315,11 @@ cmpbyt: $(CMPBYT) clean:: rm -f cmpbyt +ifeq "$(RUNTIMEI)" "true" +install:: + cp ocaml-instr-graph ocaml-instr-report $(INSTALL_BINDIR)/ +endif + # Common stuff .SUFFIXES: |