Comment author: @xavierleroy

Good idea. Any takers?

Comment author: @alainfrisch

ocamldoc: done. Note that it is compiled with -linkall (not sure why), so linking against ocamlcommon.cma includes some unused modules (mostly, the type-checker). I think we don't care.

Comment author: @xavierleroy

Note that it is compiled with -linkall (not sure why)

Because ocamldoc can dynamically load plugins, I think. (Hence all stdlib modules and all ocamldoc modules must be linked in.)

Comment author: @zoggy

Exactly.

Comment author: @alainfrisch

Note that ocamldoc modules are explicitly included (as opposed to linking odoc_info.cma + other modules). Point taken for the stdlib. This makes me wonder whether we should have a way to force including an entire library (i.e. -linkall restricted to a single library).

Comment author: @alainfrisch

read_cmt: done in commit 16417.

Comment author: @alainfrisch

This is about ongoing internal cleanup, not something blocking for 4.03.

If I'm not mistaken, only ocamldebug remains to be cleaned up?

I think ocamlobjinfo also remains to be treated.

Looking at tools/Makefile it seems like ocamlobjinfo links with compilerlibs. Am I missing something?

• ocamlobjinfo still links against some individual modules of ocamloptcomp:
  

  ocaml/tools/Makefile

  Lines 327 to 335 in 798dc35

  	OBJINFO=$(ROOTDIR)/compilerlibs/ocamlcommon.cma \
  	$(ROOTDIR)/compilerlibs/ocamlbytecomp.cma \
  	$(ROOTDIR)/compilerlibs/ocamlmiddleend.cma \
  	$(ROOTDIR)/asmcomp/backend_var.cmo \
  	$(ROOTDIR)/asmcomp/printclambda.cmo \
  	$(ROOTDIR)/asmcomp/export_info.cmo \
  	objinfo.cmo
  	$(call byte_and_opt,ocamlobjinfo,$(OBJINFO),objinfo_helper$(EXE))

• ocamlmktop also does not link against compiler-libs:
  

  ocaml/tools/Makefile

  Lines 167 to 172 in 798dc35

  	OCAMLMKTOP=ocamlmktop.cmo
  	OCAMLMKTOP_IMPORTS=config.cmo build_path_prefix_map.cmo misc.cmo \
  	identifiable.cmo numbers.cmo arg_helper.cmo clflags.cmo \
  	load_path.cmo ccomp.cmo
  	$(call byte_and_opt,ocamlmktop,$(OCAMLMKTOP_IMPORTS) $(OCAMLMKTOP),)

• ocamlprof:
  

  ocaml/tools/Makefile

  Lines 112 to 121 in 798dc35

  	CSLPROF=ocamlprof.cmo
  	CSLPROF_IMPORTS=config.cmo build_path_prefix_map.cmo misc.cmo identifiable.cmo \
  	numbers.cmo arg_helper.cmo clflags.cmo terminfo.cmo \
  	warnings.cmo location.cmo longident.cmo docstrings.cmo \
  	syntaxerr.cmo ast_helper.cmo \
  	camlinternalMenhirLib.cmo parser.cmo \
  	pprintast.cmo \
  	lexer.cmo parse.cmo
  	$(call byte_and_opt,ocamlprof,$(CSLPROF_IMPORTS) profiling.cmo $(CSLPROF),)

• and ocamlcp:

  ocaml/tools/Makefile

  Lines 123 to 127 in 798dc35

  	ocamlcp_cmos = config.cmo build_path_prefix_map.cmo misc.cmo profile.cmo \
  	warnings.cmo identifiable.cmo numbers.cmo arg_helper.cmo \
  	clflags.cmo main_args.cmo
  	$(call byte_and_opt,ocamlcp,$(ocamlcp_cmos) ocamlcp.cmo,)

The ocamlobjinfo part of this will be fixed by my middle-end rearrangements (#2281 / #2288).

This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.