| Anonymous | Login | Signup for a new account | 2013-06-19 16:31 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||||||
| 0004653 | OCaml | OCaml general | public | 2008-11-26 12:37 | 2012-05-24 18:19 | |||||||
| Reporter | dra | |||||||||||
| Assigned To | xleroy | |||||||||||
| Priority | normal | Severity | tweak | Reproducibility | always | |||||||
| Status | resolved | Resolution | fixed | |||||||||
| Platform | OS | OS Version | ||||||||||
| Product Version | 3.11.0+beta | |||||||||||
| Target Version | Fixed in Version | 4.00.0+dev | ||||||||||
| Summary | 0004653: Install utils/config.cmi so OCaml programs can query their environment | |||||||||||
| Description | toplevellib.cma contains utils/config.cmo which contains useful information for OCaml based installers. If utils/config.cmi is installed as well then it would be possible to access this information. | |||||||||||
| Additional Information | This allows, for example, extlib's installer to detect the correct extension for native code files (.o or .obj) without having to grep the output of ocamlc -config | |||||||||||
| Tags | No tags attached. | |||||||||||
| Attached Files | ||||||||||||
Notes |
|
|
(0004819) glondu (reporter) 2009-01-18 15:26 |
This might also be useful when writing ocamlbuild plugins, by the way. |
|
(0007451) xleroy (administrator) 2012-05-24 18:19 |
Upcoming release 4.00 installs a big chunk of compiler internal files in `ocamlc -where `/compiler-libs. You should find everything you need there. |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2008-11-26 12:37 | dra | New Issue | |
| 2008-12-03 14:13 | doligez | Status | new => acknowledged |
| 2009-01-18 15:26 | glondu | Note Added: 0004819 | |
| 2012-05-24 18:19 | xleroy | Note Added: 0007451 | |
| 2012-05-24 18:19 | xleroy | Status | acknowledged => resolved |
| 2012-05-24 18:19 | xleroy | Fixed in Version | => 4.00.0+dev |
| 2012-05-24 18:19 | xleroy | Resolution | open => fixed |
| 2012-05-24 18:19 | xleroy | Assigned To | => xleroy |
| Copyright © 2000 - 2011 MantisBT Group |