Re: gwml/efuns

[Sven LUTHER <luther@dpt-info.u-strasbg.fr>]

On Fri, May 04, 2001 at 04:03:50PM +0200, Georges Mariano wrote:
> 
> There is only one package I can't compile, this is efuns (which is
> downloaded with an 'apt-get source -b gwml' !!!!
> (again, what's a naming scheme ;-)
> 
> Error is always the same :
> 
> make[2]: Entre dans le répertoire
> `/sphinx2/woody/OCamlDebian/sources/efuns/efuns-0.17.0.3/dynlink'
> rm -f dyneval.mli
> ln -s ../toplevel/dyneval.mli dyneval.mli
> /usr/bin/ocamlc.opt  -I
> /sphinx2/woody/OCamlDebian/sources/efuns/efuns-0.17.0.3/common -I
> ../ocamlsrc/version/include -I ../ocamlsrc/utils -c dyneval.mli
> /usr/bin/ocamlc.opt  -I
> /sphinx2/woody/OCamlDebian/sources/efuns/efuns-0.17.0.3/common -I
> ../ocamlsrc/version/include -I ../ocamlsrc/utils -c dynlink.mli
> /usr/bin/ocamlc.opt  -I
> /sphinx2/woody/OCamlDebian/sources/efuns/efuns-0.17.0.3/common -I
> ../ocamlsrc/version/include -I ../ocamlsrc/utils -c dyneval.ml
> File "dyneval.ml", line 12, characters 0-11:
> Unbound module Config
> make[2]: *** [dyneval.cmo] Erreur 2
> make[2]: Quitte le répertoire
> `/sphinx2/woody/OCamlDebian/sources/efuns/efuns-0.17.0.3/dynlink'
> make[1]: *** [dynlink.byte] Erreur 2
> 
> Since efuns is apt-get'able, I suppose that someone did succeed in
> building it, 
> question : how  ??
> (any mysterious dependance ??)

I think this is the one that neads access to the ocaml sources.

am still waiting for the list of needed files to export them in the ocaml
package.

Or did i sleep when it was posted ?

Friendly,

Sven Luther