summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 2530e9da4e..92a0b78580 100644
--- a/Makefile
+++ b/Makefile
@@ -110,11 +110,11 @@ ocamllex_PROGRAMS = $(addprefix lex/,ocamllex ocamllex.opt)
ocamlyacc_PROGRAM = yacc/ocamlyacc
# Tools to be compiled to native and bytecode, then installed
-TOOLS_TO_INSTALL_NAT = ocamldep
+TOOLS_TO_INSTALL_NAT = ocamldep ocamlobjinfo
# Tools to be compiled to bytecode only, then installed
TOOLS_TO_INSTALL_BYT = \
- ocamlcmt ocamlprof ocamlcp ocamlmklib ocamlmktop ocamlobjinfo
+ ocamlcmt ocamlprof ocamlcp ocamlmklib ocamlmktop
ifeq "$(NATIVE_COMPILER)" "true"
TOOLS_TO_INSTALL_BYT += ocamloptp