Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006200OCamlOCaml internal build/install (Makefiles, configure)public2013-10-02 11:242014-06-04 22:10
Reporterfrisch 
Assigned To 
PrioritynormalSeveritytweakReproducibilityhave not tried
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target Version4.03.0+devFixed in Version 
Summary0006200: Store local configuration in an external file, not in the compilers
DescriptionSome local configuration is stored directly in utils/config.ml (obtained from utils/config.mlp mostly by substituting variables from config/Makefile).

This is another point preventing the bootstrapping of ocamlc to be idempotent on various machines/working copies (see also 0006199). Moreover, it makes it difficult to tweak those variables (for instance to use a different C compiler, or to change the standard_runtime path in order to relocate the toolchain in the filesystem).

Wouldn't it be better to keep all these variables in an external text file, parsed by ocamlc/ocamlopt? This file could be located (by default) in the same directory as the compiler itself (or at a fixed relative path from it), and an environment variable could be used to specify a different file. The overhead of reading this external file is probably small compared to the I/O operations required by the compiler (in particular, loading many .cmi files). (One problem could be that other tools linking against compilerlib would then also depend on this external file.)
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2013-10-02 11:24 frisch New Issue
2014-06-04 22:09 doligez Severity minor => tweak
2014-06-04 22:09 doligez Status new => acknowledged
2014-06-04 22:10 doligez Target Version => 4.03.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker