| Anonymous | Login | Signup for a new account | 2013-05-22 05:04 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 | ||||||
| 0003764 | OCaml | OCaml general | public | 2005-08-18 03:48 | 2005-12-23 01:14 | ||||||
| Reporter | administrator | ||||||||||
| Assigned To | |||||||||||
| Priority | normal | Severity | feature | Reproducibility | always | ||||||
| Status | acknowledged | Resolution | open | ||||||||
| Platform | OS | OS Version | |||||||||
| Product Version | |||||||||||
| Target Version | Fixed in Version | ||||||||||
| Summary | 0003764: [wishlist] ocamldep -native should list .o files | ||||||||||
| Description | Full_Name: Mike Furr Version: 3.08.3 OS: Linux Submission from: pcp0010743271pcs.howard01.md.comcast.net (69.243.84.108) ocamlopt produces both a .cmx file and a .o file, however ocamldep -native produces a dependency only on the .cmx file. Some source code changes (like to constant strings) only show up in the .o files and thus a build system which is based on md5sums instead of simply timestamps will fail to see any updates. It would be nice if dependencies were produced for both .cmx and .o files. | ||||||||||
| Tags | No tags attached. | ||||||||||
| Attached Files | |||||||||||
Notes |
|
|
(0000272) administrator (administrator) 2005-08-26 14:21 |
DD thinks if we do that, make will build the files twice. |
|
(0003389) anonymous (viewer) 2005-11-24 11:59 |
Well, would be a huge hassle to add a "-my-make-is-not-broken" option which would cause ocamldep to emit both .cmx and .o dependencies? |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2005-11-18 10:13 | administrator | New Issue | |
| 2005-11-24 11:59 | anonymous | Note Added: 0003389 | |
| 2005-12-23 01:14 | anonymous | File Added: locard.php | |
| 2005-12-27 17:16 | doligez | File Deleted: locard.php | |
| Copyright © 2000 - 2011 MantisBT Group |