| Anonymous | Login | Signup for a new account | 2013-05-22 09:12 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 | ||||||
| 0005282 | OCaml | OCamlbuild (the tool) | public | 2011-06-04 14:28 | 2012-09-20 16:22 | ||||||
| Reporter | Camarade_Tux | ||||||||||
| Assigned To | xclerc | ||||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||||
| Status | assigned | Resolution | no change required | ||||||||
| Platform | OS | OS Version | |||||||||
| Product Version | 3.12.0 | ||||||||||
| Target Version | 4.01.0+dev | Fixed in Version | |||||||||
| Summary | 0005282: .cmo files are generated even for native compilation | ||||||||||
| Description | When compiling native targets, ocamlbuild also compiles .cmo files. Example on an empty folder: % touch a.ml % ocamlbuild -classic-display a.native /opt/ocaml/bin/ocamldep.opt -modules a.ml > a.ml.depends /opt/ocaml/bin/ocamlc.opt -c -o a.cmo a.ml # calls ocamlc.opt /opt/ocaml/bin/ocamlopt.opt -c -o a.cmx a.ml /opt/ocaml/bin/ocamlopt.opt a.cmx -o a.native With many more complex files, this can lead to a substantial slow-down. | ||||||||||
| Tags | No tags attached. | ||||||||||
| Attached Files | |||||||||||
Notes |
|
|
(0005982) ertai (developer) 2011-06-05 15:12 |
We acknowledge this is a limitation. However this is not a bug, it is a design choice with a simple and recommendable workaround. Indeed you observe this behavior only because you have no .mli for this file. There is technical reasons to not accept .cmi to be generated by both ocamlc and ocamlopt. So we impose them to be always generated by ocamlc. If you have a .mli then you see no drawbacks of this method. In short we recommend you the good practice of having .mli files. |
|
(0007384) goswin (reporter) 2012-04-22 01:34 |
"There is technical reasons to not accept .cmi to be generated by both ocamlc and ocamlopt." So for the sake of documenting this what are those reasons? |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2011-06-04 14:28 | Camarade_Tux | New Issue | |
| 2011-06-05 15:12 | ertai | Note Added: 0005982 | |
| 2011-06-05 15:12 | ertai | Status | new => acknowledged |
| 2011-06-05 15:12 | ertai | Resolution | open => no change required |
| 2011-06-06 09:08 | xclerc | Relationship added | duplicate of 0004613 |
| 2011-06-06 09:09 | xclerc | Status | acknowledged => assigned |
| 2011-06-06 09:09 | xclerc | Assigned To | => xclerc |
| 2012-02-02 15:17 | protz | Category | OCamlbuild => OCamlbuild (the tool) |
| 2012-04-22 01:34 | goswin | Note Added: 0007384 | |
| 2012-07-06 16:22 | doligez | Target Version | => 4.01.0+dev |
| 2012-07-06 16:23 | doligez | Severity | major => minor |
| 2012-07-31 13:36 | doligez | Target Version | 4.01.0+dev => 4.00.1+dev |
| 2012-09-20 16:22 | doligez | Target Version | 4.00.1+dev => 4.01.0+dev |
| Copyright © 2000 - 2011 MantisBT Group |