diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-02-18 19:04:44 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-02-22 09:46:56 +0100 |
commit | 738e33af3914a9e25429371ec1a3993b00be7ff0 (patch) | |
tree | ea03662aede8dd898249d5fbb68ae981e1bb98ac /Makefile | |
parent | c9c0af7ed7acf401c7cde8835a0b646abd2a9d06 (diff) | |
download | ocaml-738e33af3914a9e25429371ec1a3993b00be7ff0.tar.gz |
Build and install ocamlobjinfo in native code, whenever possible
By popular demand.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |