Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006195OCamlOCaml internal build/install (Makefiles, configure)public2013-09-26 17:122013-10-03 15:56
Reporterfrisch 
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product Version 
Target Version4.02.0+devFixed in Version 
Summary0006195: Use compilerlibs instead of explicit lists of modules from the compiler
DescriptionSome tools which are part of the standard distribution (ocamldoc, ocamldebug, read_cmt, objinfo) embed some modules from the compiler. Instead of listing required modules explicitly, we could link against ocamlcommon.cma (and ocamlbytecomp.cma, if needed). This would simplify the Makefiles and make them more robust w.r.t. modifications of dependencies within compiler modules.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0010421)
xleroy (administrator)
2013-10-03 14:26

Good idea. Any takers?
(0010422)
frisch (developer)
2013-10-03 14:57

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.
(0010423)
xleroy (administrator)
2013-10-03 15:11

> 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.)
(0010424)
guesdon (manager)
2013-10-03 15:37

Exactly.
(0010425)
frisch (developer)
2013-10-03 15:56

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).

- Issue History
Date Modified Username Field Change
2013-09-26 17:12 frisch New Issue
2013-10-03 14:26 xleroy Note Added: 0010421
2013-10-03 14:26 xleroy Status new => confirmed
2013-10-03 14:57 frisch Note Added: 0010422
2013-10-03 15:11 xleroy Note Added: 0010423
2013-10-03 15:37 guesdon Note Added: 0010424
2013-10-03 15:56 frisch Note Added: 0010425


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker