OCaml Forge
SCM

Detail: [#1303] Missing C library in .cmxs file

Bugs: Browse | Download .csv | Monitor

[#1303] Missing C library in .cmxs file

Date:
2013-08-09 09:53
Priority:
3
State:
Closed
Submitted by:
Zog Zoggy (zoggy)
Assigned to:
Sylvain Le Gall (gildor-admin)
Hardware:
None
Resolution:
None
Severity:
None
Version:
None
Component:
None
Operating System:
None
Product:
None
 
URL:
Summary:
Missing C library in .cmxs file

Detailed description
Hello,

The build process produces incomplete .cmxs file. See this thread:
https://sympa.inria.fr/sympa/arc/caml-list/2013-08/msg00019.html


The problem comes from the .cmxs file being created from src/cryptokit.cmx instead of src/cryptokit.cmxa, thus forgetting the reference to C code.

Maxence

Followup

Message
Date: 2013-11-29 13:48
Sender: Vincent Bernardoff

OASIS should generate a foo.mldylib file in order to properly generate foo.cmxs (in the case of libraries).
Date: 2013-08-09 13:16
Sender: Markus Mottl

Since some of my libraries are also affected, I'd definitely be happy if this could be fixed soon so I don't have to do this manually everywhere. Thanks!
Date: 2013-08-09 12:21
Sender: Zog Zoggy

Already done ;-)
Date: 2013-08-09 12:17
Sender: Sylvain Le Gall

Great, we found the solution. The very good news is that this will be included in OASIS and every packages using it will be fixed at once.

Can you forward this solution to the INRIA list you mention, so that Stephane Glondu will have a clue about it.
Date: 2013-08-09 12:12
Sender: Zog Zoggy

I added the flag as you said:
"src/cryptokit.cmxs": use_cryptokit, use_libcryptokit_stubs
(use_cryptokit was already there)
and the generated .cmxs now contains the missing parts.
Date: 2013-08-09 12:07
Sender: Sylvain Le Gall

At least, I am not the only one to make this error.

So I think, I should not start with the .cmxa but with the .cmx, as usual, and add:
"src/cryptokit.cmxs": use_libcryptokit_stubs

to the _tags file.

Maybe you can try this, to check if it works for you. (I cannot do it myself right now).
Date: 2013-08-09 11:27
Sender: Zog Zoggy

No example, I never used ocamlbuild. Pcre used ocamlbuid, and it has the same bug of missing C funs part in the cmxs.
Date: 2013-08-09 10:17
Sender: Sylvain Le Gall

Bug in OASIS. Need to fix that.

Although I am a bit suprised because this 'should' be handled by ocamlbuild.

Do you have any example of ocamlbuild setup producing a good .cmxs with C code ?

I'll use it to fix the setup.ml.

Thx

Attached Files:

Changes:

Field Old Value Date By
status_idOpen2013-08-15 23:04gildor-admin
close_dateNone2013-08-15 23:04gildor-admin
assigned_tonone2013-08-09 10:17gildor-admin