Makefile.compilerlibs

#**************************************************************************
#*                                                                        *
#*                                 OCaml                                  *
#*                                                                        *
#*            Xavier Leroy, projet Cristal, INRIA Rocquencourt            *
#*                                                                        *
#*   Copyright 1999 Institut National de Recherche en Informatique et     *
#*     en Automatique.                                                    *
#*                                                                        *
#*   All rights reserved.  This file is distributed under the terms of    *
#*   the GNU Lesser General Public License version 2.1, with the          *
#*   special exception on linking described in the file LICENSE.          *
#*                                                                        *
#**************************************************************************

# Targets and dependencies for compilerlibs archives

# This file is meant to be included from the root Makefile, not to be
# executed directly (this is why it is not simply named Makefile).

# For each group of compilation units, we have a variable GROUP with
# only .cmo files, and a separate variable GROUP_CMI for .cmi files
# corresponding to the .mli-only modules only. These .cmi are not
# linked in the archive, but they are marked as dependencies to ensure
# that they are consistent with the interface digests in the archives.

UTILS = \
  utils/runtimetags.cmo \
  utils/config.cmo \
  utils/build_path_prefix_map.cmo \
  utils/misc.cmo \
  utils/identifiable.cmo \
  utils/numbers.cmo \
  utils/arg_helper.cmo \
  utils/local_store.cmo \
  utils/load_path.cmo \
  utils/clflags.cmo \
  utils/debug.cmo \
  utils/language_extension_kernel.cmo \
  utils/language_extension.cmo \
  utils/profile.cmo \
  utils/terminfo.cmo \
  utils/ccomp.cmo \
  utils/warnings.cmo \
  utils/consistbl.cmo \
  utils/strongly_connected_components.cmo \
  utils/targetint.cmo \
  utils/int_replace_polymorphic_compare.cmo \
  utils/domainstate.cmo \
  utils/binutils.cmo \
  utils/target_system.cmo \
  typing/ident.cmo \
  utils/compilation_unit.cmo utils/linkage_name.cmo utils/symbol.cmo \
  utils/import_info.cmo \
  utils/lazy_backtrack.cmo \
  utils/zero_alloc_utils.cmo \
  utils/diffing.cmo \
  utils/diffing_with_keys.cmo
UTILS_CMI = \

PARSING = \
  parsing/location.cmo \
  parsing/longident.cmo \
  parsing/docstrings.cmo \
  parsing/printast.cmo \
  parsing/syntaxerr.cmo \
  parsing/ast_helper.cmo \
  parsing/jane_asttypes.cmo \
  parsing/jane_syntax_parsing.cmo parsing/jane_syntax.cmo \
  parsing/pprintast.cmo \
  parsing/ast_iterator.cmo \
  parsing/builtin_attributes.cmo \
  parsing/camlinternalMenhirLib.cmo \
  parsing/parser.cmo \
  parsing/lexer.cmo \
  parsing/parse.cmo \
  parsing/ast_mapper.cmo \
  parsing/attr_helper.cmo \
  parsing/ast_invariants.cmo \
  parsing/depend.cmo
PARSING_CMI = \
  parsing/asttypes.cmi \
  parsing/parsetree.cmi

TYPING = \
  typing/solver.cmo \
  typing/path.cmo \
  typing/mode.cmo \
  typing/jkind.cmo \
  typing/primitive.cmo \
  typing/shape.cmo \
  typing/types.cmo \
  typing/btype.cmo \
  typing/oprint.cmo \
  typing/subst.cmo \
  typing/predef.cmo \
  typing/datarepr.cmo \
  file_formats/cmi_format.cmo \
  typing/persistent_env.cmo \
  typing/env.cmo \
  typing/errortrace.cmo \
  typing/typedtree.cmo \
  typing/signature_group.cmo \
  typing/printtyped.cmo \
  typing/ctype.cmo \
  typing/printtyp.cmo \
  typing/includeclass.cmo \
  typing/mtype.cmo \
  typing/envaux.cmo \
  typing/includecore.cmo \
  typing/tast_iterator.cmo \
  typing/tast_mapper.cmo \
  typing/stypes.cmo \
  file_formats/cmt_format.cmo \
  file_formats/cms_format.cmo \
  typing/cmt2annot.cmo \
  typing/untypeast.cmo \
  typing/includemod.cmo \
  typing/includemod_errorprinter.cmo \
  typing/typemode.cmo \
  typing/typetexp.cmo \
  typing/printpat.cmo \
  typing/patterns.cmo \
  typing/parmatch.cmo \
  typing/typedecl_properties.cmo \
  typing/typedecl_variance.cmo \
  typing/typedecl_separability.cmo \
  lambda/debuginfo.cmo lambda/lambda.cmo \
  typing/typedecl.cmo \
  typing/typeopt.cmo \
  typing/uniqueness_analysis.cmo \
  typing/rec_check.cmo \
  typing/typecore.cmo \
  typing/typeclass.cmo \
  typing/typemod.cmo
TYPING_CMI = \
  typing/annot.cmi \
  typing/outcometree.cmi

LAMBDA = \
  lambda/printlambda.cmo \
  lambda/switch.cmo \
  lambda/matching.cmo \
  lambda/translmode.cmo \
  lambda/transl_comprehension_utils.cmo \
  lambda/transl_array_comprehension.cmo \
  lambda/transl_list_comprehension.cmo \
  lambda/translobj.cmo \
  lambda/translattribute.cmo \
  lambda/translprim.cmo \
  lambda/translcore.cmo \
  lambda/translclass.cmo \
  lambda/translmod.cmo \
  lambda/tmc.cmo \
  lambda/simplif.cmo \
  lambda/runtimedef.cmo
LAMBDA_CMI =

COMP = \
  bytecomp/meta.cmo \
  bytecomp/opcodes.cmo \
  bytecomp/bytesections.cmo \
  bytecomp/dll.cmo \
  bytecomp/symtable.cmo \
  driver/pparse.cmo \
  driver/compenv.cmo \
  driver/main_args.cmo \
  driver/compmisc.cmo \
  driver/makedepend.cmo \
  driver/compile_common.cmo
COMP_CMI = \
  file_formats/cmo_format.cmi \
  file_formats/cmx_format.cmi \
  file_formats/cmxs_format.cmi
# All file format descriptions (including cmx{,s}) are in the
# ocamlcommon library so that ocamlobjinfo can depend on them.

COMMON_CMI = $(UTILS_CMI) $(PARSING_CMI) $(TYPING_CMI) $(LAMBDA_CMI) $(COMP_CMI)

COMMON = $(UTILS) $(PARSING) $(TYPING) $(LAMBDA) $(COMP)

BYTECOMP = \
  bytecomp/instruct.cmo \
  bytecomp/bytegen.cmo \
  bytecomp/printinstr.cmo \
  bytecomp/emitcode.cmo \
  bytecomp/bytelink.cmo \
  bytecomp/bytelibrarian.cmo \
  bytecomp/bytepackager.cmo \
  driver/errors.cmo \
  driver/compile.cmo \
  driver/maindriver.cmo
BYTECOMP_CMI =

INTEL_ASM = \
  asmcomp/x86_proc.cmo \
  asmcomp/x86_dsl.cmo \
  asmcomp/x86_gas.cmo \
  asmcomp/x86_masm.cmo
INTEL_ASM_CMI = \
  asmcomp/x86_ast.cmi

ARCH_SPECIFIC_ASMCOMP =
ARCH_SPECIFIC_ASMCOMP_CMI =
ifeq ($(ARCH),i386)
ARCH_SPECIFIC_ASMCOMP = $(INTEL_ASM)
ARCH_SPECIFIC_ASMCOMP_CMI = $(INTEL_ASM_CMI)
endif
ifeq ($(ARCH),amd64)
ARCH_SPECIFIC_ASMCOMP = $(INTEL_ASM)
ARCH_SPECIFIC_ASMCOMP_CMI = $(INTEL_ASM_CMI)
endif

ASMCOMP = \
  $(ARCH_SPECIFIC_ASMCOMP) \
  asmcomp/arch.cmo \
  asmcomp/cmm.cmo \
  asmcomp/printcmm.cmo \
  asmcomp/reg.cmo \
  asmcomp/mach.cmo \
  asmcomp/proc.cmo \
  asmcomp/afl_instrument.cmo \
  asmcomp/strmatch.cmo \
  asmcomp/cmmgen_state.cmo \
  asmcomp/cmm_helpers.cmo \
  asmcomp/cmmgen.cmo \
  asmcomp/cmm_invariants.cmo \
  asmcomp/interval.cmo \
  asmcomp/printmach.cmo \
  asmcomp/dataflow.cmo \
  asmcomp/polling.cmo \
  asmcomp/selectgen.cmo \
  asmcomp/selection.cmo \
  asmcomp/comballoc.cmo \
  asmcomp/CSEgen.cmo \
  asmcomp/CSE.cmo \
  asmcomp/liveness.cmo \
  asmcomp/spill.cmo \
  asmcomp/split.cmo \
  asmcomp/interf.cmo \
  asmcomp/coloring.cmo \
  asmcomp/linscan.cmo \
  asmcomp/reloadgen.cmo \
  asmcomp/reload.cmo \
  asmcomp/deadcode.cmo \
  asmcomp/linear.cmo \
  asmcomp/printlinear.cmo \
  asmcomp/linearize.cmo \
  file_formats/linear_format.cmo \
  asmcomp/schedgen.cmo \
  asmcomp/scheduling.cmo \
  asmcomp/branch_relaxation.cmo \
  asmcomp/emitaux.cmo \
  asmcomp/emit.cmo \
  asmcomp/asmgen.cmo \
  asmcomp/asmlink.cmo \
  asmcomp/asmlibrarian.cmo \
  asmcomp/asmpackager.cmo \
  driver/opterrors.cmo \
  driver/optcompile.cmo \
  driver/optmaindriver.cmo
ASMCOMP_CMI = $(ARCH_SPECIFIC_ASMCOMP_CMI)

# Files under middle_end/ are not to reference files under asmcomp/.
# This ensures that the middle end can be linked (e.g. for objinfo) even when
# the native code compiler is not present for some particular target.

MIDDLE_END_CLOSURE = \
  middle_end/closure/closure.cmo \
  middle_end/closure/closure_middle_end.cmo
MIDDLE_END_CLOSURE_CMI =

# Owing to dependencies through [Compilenv], which would be
# difficult to remove, some of the lower parts of Flambda (anything that is
# saved in a .cmx file) have to be included in the [MIDDLE_END] stanza, below.
MIDDLE_END_FLAMBDA = \
  middle_end/flambda/import_approx.cmo \
  middle_end/flambda/lift_code.cmo \
  middle_end/flambda/closure_conversion_aux.cmo \
  middle_end/flambda/closure_conversion.cmo \
  middle_end/flambda/initialize_symbol_to_let_symbol.cmo \
  middle_end/flambda/lift_let_to_initialize_symbol.cmo \
  middle_end/flambda/find_recursive_functions.cmo \
  middle_end/flambda/invariant_params.cmo \
  middle_end/flambda/inconstant_idents.cmo \
  middle_end/flambda/alias_analysis.cmo \
  middle_end/flambda/lift_constants.cmo \
  middle_end/flambda/share_constants.cmo \
  middle_end/flambda/simplify_common.cmo \
  middle_end/flambda/remove_unused_arguments.cmo \
  middle_end/flambda/remove_unused_closure_vars.cmo \
  middle_end/flambda/remove_unused_program_constructs.cmo \
  middle_end/flambda/simplify_boxed_integer_ops.cmo \
  middle_end/flambda/simplify_primitives.cmo \
  middle_end/flambda/inlining_stats_types.cmo \
  middle_end/flambda/inlining_stats.cmo \
  middle_end/flambda/inline_and_simplify_aux.cmo \
  middle_end/flambda/remove_free_vars_equal_to_args.cmo \
  middle_end/flambda/extract_projections.cmo \
  middle_end/flambda/augment_specialised_args.cmo \
  middle_end/flambda/unbox_free_vars_of_closures.cmo \
  middle_end/flambda/unbox_specialised_args.cmo \
  middle_end/flambda/unbox_closures.cmo \
  middle_end/flambda/inlining_transforms.cmo \
  middle_end/flambda/inlining_decision.cmo \
  middle_end/flambda/inline_and_simplify.cmo \
  middle_end/flambda/ref_to_variables.cmo \
  middle_end/flambda/flambda_invariants.cmo \
  middle_end/flambda/traverse_for_exported_symbols.cmo \
  middle_end/flambda/build_export_info.cmo \
  middle_end/flambda/closure_offsets.cmo \
  middle_end/flambda/un_anf.cmo \
  middle_end/flambda/flambda_to_clambda.cmo \
  middle_end/flambda/flambda_middle_end.cmo
MIDDLE_END_FLAMBDA_CMI = \
  middle_end/flambda/inlining_decision_intf.cmi \
  middle_end/flambda/simplify_boxed_integer_ops_intf.cmi

MIDDLE_END = \
  middle_end/internal_variable_names.cmo \
  middle_end/variable.cmo \
  middle_end/flambda/base_types/closure_element.cmo \
  middle_end/flambda/base_types/closure_id.cmo \
  middle_end/symbol_utils.cmo \
  middle_end/backend_var.cmo \
  middle_end/clambda_primitives.cmo \
  middle_end/printclambda_primitives.cmo \
  middle_end/clambda.cmo \
  middle_end/printclambda.cmo \
  middle_end/semantics_of_primitives.cmo \
  middle_end/convert_primitives.cmo \
  middle_end/flambda/base_types/id_types.cmo \
  middle_end/flambda/base_types/export_id.cmo \
  middle_end/flambda/base_types/tag.cmo \
  middle_end/flambda/base_types/mutable_variable.cmo \
  middle_end/flambda/base_types/set_of_closures_id.cmo \
  middle_end/flambda/base_types/set_of_closures_origin.cmo \
  middle_end/flambda/base_types/closure_origin.cmo \
  middle_end/flambda/base_types/var_within_closure.cmo \
  middle_end/flambda/base_types/static_exception.cmo \
  middle_end/flambda/pass_wrapper.cmo \
  middle_end/flambda/allocated_const.cmo \
  middle_end/flambda/parameter.cmo \
  middle_end/flambda/projection.cmo \
  middle_end/flambda/flambda.cmo \
  middle_end/flambda/flambda_iterators.cmo \
  middle_end/flambda/flambda_utils.cmo \
  middle_end/flambda/freshening.cmo \
  middle_end/flambda/effect_analysis.cmo \
  middle_end/flambda/inlining_cost.cmo \
  middle_end/flambda/simple_value_approx.cmo \
  middle_end/flambda/export_info.cmo \
  middle_end/compilenv.cmo \
  $(MIDDLE_END_CLOSURE) \
  $(MIDDLE_END_FLAMBDA)
MIDDLE_END_CMI = \
  middle_end/backend_intf.cmi \
  $(MIDDLE_END_CLOSURE_CMI) \
  $(MIDDLE_END_FLAMBDA_CMI)

OPTCOMP = $(MIDDLE_END) $(ASMCOMP)
OPTCOMP_CMI = $(MIDDLE_END_CMI) $(ASMCOMP_CMI)

TOPLEVEL = \
  toplevel/genprintval.cmo \
  toplevel/topcommon.cmo \
  toplevel/byte/topeval.cmo \
  toplevel/byte/trace.cmo \
  toplevel/toploop.cmo \
  toplevel/topprinters.cmo \
  toplevel/topdirs.cmo \
  toplevel/byte/topmain.cmo
TOPLEVEL_CMI = \
  toplevel/topcommon.cmi \
  toplevel/byte/topeval.cmi \
  toplevel/byte/trace.cmi \
  toplevel/toploop.cmi \
  toplevel/topprinters.cmi \
  toplevel/topdirs.cmi \
  toplevel/byte/topmain.cmi

OPTTOPLEVEL = \
  toplevel/genprintval.cmo \
  toplevel/topcommon.cmo \
  toplevel/native/tophooks.cmo \
  toplevel/native/topeval.cmo \
  toplevel/native/trace.cmo \
  toplevel/toploop.cmo \
  toplevel/topprinters.cmo \
  toplevel/topdirs.cmo \
  toplevel/native/topmain.cmo
OPTTOPLEVEL_CMI = \
  toplevel/topcommon.cmi \
  toplevel/native/tophooks.cmi \
  toplevel/native/topeval.cmi \
  toplevel/native/trace.cmi \
  toplevel/toploop.cmi \
  toplevel/topprinters.cmi \
  toplevel/topdirs.cmi \
  toplevel/native/topmain.cmi

TOPLEVEL_SHARED_MLIS = topeval.mli trace.mli topmain.mli
TOPLEVEL_SHARED_CMIS = $(TOPLEVEL_SHARED_MLIS:%.mli=%.cmi)
TOPLEVEL_SHARED_ARTEFACTS = $(TOPLEVEL_SHARED_MLIS) $(TOPLEVEL_SHARED_CMIS)

$(addprefix toplevel/byte/, $(TOPLEVEL_SHARED_CMIS)):\
toplevel/byte/%.cmi: toplevel/%.cmi
	cp $< toplevel/$*.mli $(@D)

$(addprefix toplevel/native/, $(TOPLEVEL_SHARED_CMIS)):\
toplevel/native/%.cmi: toplevel/%.cmi
	cp $< toplevel/$*.mli $(@D)

beforedepend::
	cd toplevel ; cp $(TOPLEVEL_SHARED_MLIS) byte/
	cd toplevel ; cp $(TOPLEVEL_SHARED_MLIS) native/

partialclean::
	cd toplevel/byte ; rm -f $(TOPLEVEL_SHARED_ARTEFACTS)
	cd toplevel/native ; rm -f $(TOPLEVEL_SHARED_ARTEFACTS)

$(COMMON:.cmo=.cmx) $(BYTECOMP:.cmo=.cmx) $(OPTCOMP:.cmo=.cmx): ocamlopt$(EXE)
$(OPTTOPLEVEL:.cmo=.cmx): ocamlopt$(EXE)

ALL_CONFIG_CMO = utils/config_main.cmo utils/config_boot.cmo

utils/config_%.mli: utils/config.mli
	cp $^ $@

beforedepend:: utils/config_main.mli utils/config_boot.mli

# Since the compiler libraries are necessarily compiled with boot/ocamlc,
# make sure they *always are*, even when rebuilding a program compiled
# with ./ocamlc (e.g. ocamltex)

$(addprefix compilerlibs/,\
  ocamlcommon.cma ocamlbytecomp.cma ocamloptcomp.cma ocamlmiddleend.cma \
  ocamltoplevel.cma): \
  CAMLC = $(BOOT_OCAMLC) $(BOOT_STDLIBFLAGS) -use-prims $(RUNTIME_DIR)/primitives

compilerlibs/ocamlcommon.cma: $(COMMON_CMI) $(ALL_CONFIG_CMO) $(COMMON)
	$(V_LINKC)$(CAMLC) -a -linkall -o $@ $(COMMON)
partialclean::
	rm -f compilerlibs/ocamlcommon.cma

compilerlibs/ocamlcommon.cmxa: $(COMMON_CMI) $(COMMON:.cmo=.cmx)
	$(V_LINKOPT)$(CAMLOPT) -a -linkall -o $@ $(COMMON:.cmo=.cmx)
partialclean::
	rm -f compilerlibs/ocamlcommon.cmxa \
	      compilerlibs/ocamlcommon.a compilerlibs/ocamlcommon.lib


compilerlibs/ocamlbytecomp.cma: $(BYTECOMP_CMI) $(BYTECOMP)
	$(V_LINKC)$(CAMLC) -a -o $@ $(BYTECOMP)
partialclean::
	rm -f compilerlibs/ocamlbytecomp.cma

compilerlibs/ocamlbytecomp.cmxa: $(BYTECOMP_CMI) $(BYTECOMP:.cmo=.cmx)
	$(V_LINKOPT)$(CAMLOPT) -a $(OCAML_NATDYNLINKOPTS) -o $@ $(BYTECOMP:.cmo=.cmx)
partialclean::
	rm -f compilerlibs/ocamlbytecomp.cmxa \
	      compilerlibs/ocamlbytecomp.a compilerlibs/ocamlbytecomp.lib


compilerlibs/ocamlmiddleend.cma: $(MIDDLE_END_CMI) $(MIDDLE_END)
	$(V_LINKC)$(CAMLC) -a -o $@ $(MIDDLE_END)
compilerlibs/ocamlmiddleend.cmxa: $(MIDDLE_END_CMI) $(MIDDLE_END:%.cmo=%.cmx)
	$(V_LINKOPT)$(CAMLOPT) -a -o $@ $(MIDDLE_END:%.cmo=%.cmx)
partialclean::
	rm -f compilerlibs/ocamlmiddleend.cma \
	      compilerlibs/ocamlmiddleend.cmxa \
	      compilerlibs/ocamlmiddleend.a \
	      compilerlibs/ocamlmiddleend.lib


compilerlibs/ocamloptcomp.cma: $(OPTCOMP_CMI) $(OPTCOMP)
	$(V_LINKC)$(CAMLC) -a -o $@ $(OPTCOMP)
partialclean::
	rm -f compilerlibs/ocamloptcomp.cma

compilerlibs/ocamloptcomp.cmxa: $(OPTCOMP_CMI) $(OPTCOMP:.cmo=.cmx)
	$(V_LINKOPT)$(CAMLOPT) -a -o $@ $(OPTCOMP:.cmo=.cmx)
partialclean::
	rm -f compilerlibs/ocamloptcomp.cmxa \
	      compilerlibs/ocamloptcomp.a compilerlibs/ocamloptcomp.lib


compilerlibs/ocamltoplevel.cma: $(TOPLEVEL_CMI) $(TOPLEVEL)
	$(V_LINKC)$(CAMLC) -a -o $@ -I toplevel/byte $(TOPLEVEL)
partialclean::
	rm -f compilerlibs/ocamltoplevel.cma

compilerlibs/ocamltoplevel.cmxa: $(OPTTOPLEVEL_CMI) $(OPTTOPLEVEL:.cmo=.cmx)
	$(V_LINKOPT)$(CAMLOPT) -a -o $@ -I toplevel/native $(OPTTOPLEVEL:.cmo=.cmx)
partialclean::
	rm -f compilerlibs/ocamltoplevel.cmxa \
	  compilerlibs/ocamltoplevel.a compilerlibs/ocamltoplevel.lib