OCaml Forge

Detail: [#1387] Dependency analysis fails for c-sources using best compilation

Bugs: Browse | Download .csv | Monitor

[#1387] Dependency analysis fails for c-sources using best compilation

Date:
2014-04-24 10:47
Priority:
3
State:
Open
Submitted by:
Christoph Höger (choeger)
Assigned to:
Nobody (None)
Product:
OASIS
Due in version:
None
Resolution:
None
Severity:
None
Version:
0.4.4
Component:
None
Operating System:
Linux
 
URL:
Summary:
Dependency analysis fails for c-sources using best compilation

Detailed description
In the attached small demo project, a library (demo) is used by an executable. Both are natively compiled. The library consists of some c-source. To reproduce the problem:

1. Build the library using ocaml setup.ml -build
2. Verify that it works by running demobench.native
3. Change the c_demo.c file (e.g. outcomment the printf-statement)
4. recompile using ocaml setup.ml -build
5. run demobench.native again

You will note that your change did not affect the generated binary. Obviously the dependency analysis fails silently here.

Followup

Message
Date: 2014-04-24 22:26
Sender: Sylvain Le Gall

I am afraid that this problem relates directly to ocamlbuild rather than directly OASIS.

Can you reproduce the bug with only ocamlbuild ?

Attached Files:

Attachments:
demo.tar.gz

Changes:

Field Old Value Date By
File Added254: demo.tar.gz2014-04-24 10:47choeger