Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Inconsistence between ocamlc and ocamlopt
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Michaël_Grünewald <michael-grunewald@w...>
Subject: [Caml-list] Inconsistence between ocamlc and ocamlopt
Files algo.cmx and interpolation.cmx both define a module named Algo

I just experimented something really strange, 

while building successfully a bytecode library using `ocamlfind ocamlc' it
fails when trying to build the native form for the library:

Files algo.cmx and interpolation.cmx both define a module named Algo
*** Error code 2

Which is false (and i cannot figure out how these two different files could
both define a module named algo), and the bytecode compiler 

Here are the occurences for the word algo in the source files: always on
right side, it should not be a declaraion for the word ?

    $ grep -i algo *.ml
    interpolation.ml:  module AP =  Algo.Poly(K)
    interpolation.ml:  module AM =  Algo.Matrice(K)(M)
    main.ml:module AlgP =   Algo.Poly(R);;
    main.ml:module AlgM =   Algo.Matrice(R)(M);;

Each modules are produced with lines like:

    $ make VERBOSE=YES algebre.cma
    ocamlfind ocamlc    -c -o anneau.cmo anneau.ml

    [...]

    ocamlfind ocamlc -a    -o algebre.cma anneau.cmo corps.cmo poly.cmo 
        matrice.cmo interpolation.cmo algo.cmo

or

    $ make VERBOSE=YES algebre.cmxa
    ocamlfind ocamlopt    -c -o anneau.cmx anneau.ml

    [...]

    ocamlfind ocamlopt -a    -o algebre.cmxa anneau.cmx corps.cmx poly.cmx
         matrice.cmx interpolation.cmx algo.cmx
    Files algo.cmx and interpolation.cmx both define a module named Algo
    *** Error code 2

There is nothing surnatural in the compiler's incantations, so, what's going
wrong ? That is what i cannot guess (this has nothing to do with ocamlfind,
it fails in the same manner when not using it).
-- 
Michaël Grünewald <michael-grunewald@wanadoo.fr>  - RSA PGP Key ID: 0x20D90C12
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners