English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
ocamlc vs ocamlc.opt?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-02-14 (00:31)
From: Robert Roessler <roessler@r...>
Subject: Re: [Caml-list] ocamlc vs ocamlc.opt?
Olivier Andrieu wrote:
> Hi,
> On 1/31/07, Robert Roessler <roessler@rftp.com> wrote:
>> I just ran into a problem where building a bytecode executable failed
>> with findlib ("ocamlfind ocamlc ...") but the equivalent non-findlib
>> command worked.  Then I saw that I could force the same error message
>> in my non-findlib build by just matching findlib's ocamlc.opt, while I
>> had used ocamlc.
>> The command line is:
>> ocamlc -o bait -I +lablgtk2 -I +lablscintilla -thread threads.cma
>> lablgtk.cma gtkInit.cmo scintilla.cma bait.ml
>> which works fine.  Changing ocamlc to ocamlc.opt yields:
>> Error on dynamically loaded library:
>> /usr/lib/ocaml/stublibs/dlllablscintilla.so: undefined symbol:
>> caml_names_of_builtin_cprim
>> This is on FC6, with a Yum-installed OCaml 3.09.3 package.  Both of
>> the versions of the compiler identify themselves as 3.09.3 with the
>> same standard library location, and both were built on Dec 2 of 2006.
> It might be an issue with the RPM packaging process : it must be
> stripping an executable or a .so where it shouldn't.
> You should try with a manually compiled ocaml.

All right.  After getting back to this, I

1. removed all yum packages and rpms that were caml-related
2. built ocaml 3.09.3 from source - NO weirdness or errors
3. built lablgtk2 (September snapshot) from source - NO errors
4. built lablscintilla-0.9pre1 from source - NO errors

I am STILL getting

"Error on dynamically loaded library: 
/usr/lib/ocaml/stublibs/dlllablscintilla.so: undefined symbol: 

if I use ocamlc.opt instead of ocamlc when I execute my compile

ocamlc -o bait -I +lablgtk2 -I +lablscintilla -thread threads.cma 
lablgtk.cma gtkInit.cmo scintilla.cma bait.ml

ocamlc functions flawlessly, ocamlc.opt yields the above error.

Given "Compatibility with the bytecode compiler is extremely high: the 
same source code should run identically when compiled with ocamlc and 
ocamlopt." in Chapter 11 of the OCaml manual, I am really not 
expecting ocamlc and ocamlc.opt to function any differently.  Choosing 
either of the commands from a cleanly built OCaml installation should 
be a matter of taste or personal preference, NOT correctness.

What could be (or is likely to) be going wrong?  Is it related to the 
gcc 4.11?  I will note that I had difficulties with doing a source 
build of lablgtk2 WITH Aleksey Nogin's RPM of OCaml for FC6 (funny 
errors about "deprecated -mcpu switches)... but all of these went away 
after doing a local full build of OCaml 3.09.3.

Robert Roessler