Comment author: @alainfrisch

I cannot reproduce the bug on my 64-bit Linux machine. I get "no bug" printed.

$ uname -a
Linux LEROY 2.6.32-23-generic #37-Ubuntu SMP Fri Jun 11 08:03:28 UTC 2010 x86_64 GNU/Linux

I'll try to find a 32-bit Linux...

Comment author: @alainfrisch

Same on a freshly installed 32-bit Linux machine:

$ uname -a
Linux ubuntu 2.6.32-21-generic #32-Ubuntu SMP Fri Apr 16 08:10:02 UTC 2010 i686 GNU/Linux

I still cannot reproduce your problem.

Could you add the -verbose option to ocamlopt? Normally, the command line used for linking the main program should contain -Wl,-E, whose effect is to make all symbols from the main program available to shared libraries.

Comment author: @dbuenzli

That's it.

The option -Wl,-E is missing and if I add it with -cclib everything works perfectly.

What strange is that the output of configure mentions this option as link flags. It is also mentioned in the BYTECCLINKOPTS and NATDYNLINKOPTS variables of /usr/local/lib/ocaml/Makefile.config.

Can you find out where something is missing ? Let me know if I can help.

Daniel

Comment author: @alainfrisch

Normally the -Wl,-E option is stored in dynlink.cmxa (see otherlibs/dynlink/Makefile) and should thus be inserted on the command-line used to link your main program. Could you rebuild OCaml and look for the command-line that builds dynlink.cmxa?

Comment author: @dbuenzli

I build with build/fastworld.sh, _build/_log mentions :

Target: otherlibs/dynlink/nat/dynlink.cmxa, tags: { debug, dont_link_with, extension:cmxa, file:otherlibs/dynlink/nat/dynlink.cmxa, library, link, native, ocaml, otherlibs, quiet, traverse, use_stdlib }

./ocamlopt.opt -nostdlib -a -I stdlib myocamlbuild_config.cmx utils/misc.cmx parsing/linenum.cmx utils/terminfo.cmx utils/warnings.cmx parsing/location.cmx parsing/longident.cmx typing/ident.cmx typing/path.cmx typing/primitive.cmx typing/types.cmx typing/btype.cmx typing/predef.cmx typing/datarepr.cmx utils/tbl.cmx typing/subst.cmx utils/config.cmx utils/clflags.cmx utils/consistbl.cmx typing/env.cmx bytecomp/lambda.cmx asmcomp/debuginfo.cmx asmcomp/clambda.cmx otherlibs/dynlink/nat/dynlink.cmx -o otherlibs/dynlink/nat/dynlink.cmxa

Target: otherlibs/dynlink/dynlink.cmxa, tags: { }

cp -p otherlibs/dynlink/nat/dynlink.cmxa otherlibs/dynlink/dynlink.cmxa

Comment author: @alainfrisch

This is clearly the source of the problem. Just to be sure, could you rebuild with "make world opt" and confirm that your example works fine?

Comment author: @dbuenzli

Yes it works with make world.opt. Thanks for your support.

Btw, we are all losing our time here to minimize these issues could the dev team give a serious look at this suggestion :

#4738

Best,

Daniel