Re: [Felix-impl] it no me build

Re: [Felix-impl] it no me build

[skaller]

On Tue, 2007-05-15 at 01:43 +0200, Rhythmic Fistman wrote:
> camlopt.opt  -w yzex -warn-error FDPSU   -a -o
> dypgen/generators/pgen/pgen.cmxa
> dypgen/generators/pgen/pgen_parser_param.cmx
> dypgen/generators/pgen/pgen_lexer.cmx
> CAML LINKING EXECUTABLES
> ocamlopt.opt  -w yzex -warn-error FDPSU  -I src -I dypgen/dyplib -I
> dypgen/generators/pgen -o bin/pgen flx_version.cmxa dyplib.cmxa
> pgen.cmxa src/flx_version_hook.ml dypgen/generators/pgen/pgen.cmx
> /usr/bin/ld: Undefined symbols:
> _camlParser

This works fine on Linux.

Maybe this is the -pack option not working on OSX?


-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

Re: [Caml-list] Re: [Felix-impl] it no me build

[Erick Tryzelaar]

skaller wrote:
> On Tue, 2007-05-15 at 01:43 +0200, Rhythmic Fistman wrote:
>   
>> camlopt.opt  -w yzex -warn-error FDPSU   -a -o
>> dypgen/generators/pgen/pgen.cmxa
>> dypgen/generators/pgen/pgen_parser_param.cmx
>> dypgen/generators/pgen/pgen_lexer.cmx
>> CAML LINKING EXECUTABLES
>> ocamlopt.opt  -w yzex -warn-error FDPSU  -I src -I dypgen/dyplib -I
>> dypgen/generators/pgen -o bin/pgen flx_version.cmxa dyplib.cmxa
>> pgen.cmxa src/flx_version_hook.ml dypgen/generators/pgen/pgen.cmx
>> /usr/bin/ld: Undefined symbols:
>> _camlParser
>>     
>
> This works fine on Linux.
>
> Maybe this is the -pack option not working on OSX?
>
>
>   
I don't think -pack worked on OSX until a more recent version of ocaml 
3.09. Which one are you using?

Re: [Caml-list] Re: [Felix-impl] it no me build

[Rhythmic Fistman]

On 5/15/07, Erick Tryzelaar <idadesub@users.sourceforge.net> wrote:
> skaller wrote:
> > On Tue, 2007-05-15 at 01:43 +0200, Rhythmic Fistman wrote:
> >
> >> camlopt.opt  -w yzex -warn-error FDPSU   -a -o
> >> dypgen/generators/pgen/pgen.cmxa
> >> dypgen/generators/pgen/pgen_parser_param.cmx
> >> dypgen/generators/pgen/pgen_lexer.cmx
> >> CAML LINKING EXECUTABLES
> >> ocamlopt.opt  -w yzex -warn-error FDPSU  -I src -I dypgen/dyplib -I
> >> dypgen/generators/pgen -o bin/pgen flx_version.cmxa dyplib.cmxa
> >> pgen.cmxa src/flx_version_hook.ml dypgen/generators/pgen/pgen.cmx
> >> /usr/bin/ld: Undefined symbols:
> >> _camlParser
> >>
> >
> > This works fine on Linux.
> >
> > Maybe this is the -pack option not working on OSX?
> >
> >
> >
> I don't think -pack worked on OSX until a more recent version of ocaml
> 3.09. Which one are you using?

The Objective Caml toplevel, version 3.09.2

Re: [Felix-impl] [Caml-list] Re: it no me build

[skaller]

On Tue, 2007-05-15 at 10:48 +0200, Rhythmic Fistman wrote:
> On 5/15/07, Erick Tryzelaar <idadesub@users.sourceforge.net> wrote:
> > skaller wrote:
> > > On Tue, 2007-05-15 at 01:43 +0200, Rhythmic Fistman wrote:
> > >
> > >> camlopt.opt  -w yzex -warn-error FDPSU   -a -o
> > >> dypgen/generators/pgen/pgen.cmxa
> > >> dypgen/generators/pgen/pgen_parser_param.cmx
> > >> dypgen/generators/pgen/pgen_lexer.cmx
> > >> CAML LINKING EXECUTABLES
> > >> ocamlopt.opt  -w yzex -warn-error FDPSU  -I src -I dypgen/dyplib -I
> > >> dypgen/generators/pgen -o bin/pgen flx_version.cmxa dyplib.cmxa
> > >> pgen.cmxa src/flx_version_hook.ml dypgen/generators/pgen/pgen.cmx
> > >> /usr/bin/ld: Undefined symbols:
> > >> _camlParser
> > >>
> > >
> > > This works fine on Linux.
> > >
> > > Maybe this is the -pack option not working on OSX?
> > >
> > >
> > >
> > I don't think -pack worked on OSX until a more recent version of ocaml
> > 3.09. Which one are you using?
> 
> The Objective Caml toplevel, version 3.09.2

Can you try building Dypgen directly from the dypgen tarball using
the provided makefile?

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

Re: [Felix-impl] [Caml-list] Re: it no me build

[Rhythmic Fistman]

On 5/15/07, skaller <skaller@users.sourceforge.net> wrote:
> On Tue, 2007-05-15 at 10:48 +0200, Rhythmic Fistman wrote:
> > On 5/15/07, Erick Tryzelaar <idadesub@users.sourceforge.net> wrote:
> > > skaller wrote:
> > > > On Tue, 2007-05-15 at 01:43 +0200, Rhythmic Fistman wrote:
> > > >
> > > >> camlopt.opt  -w yzex -warn-error FDPSU   -a -o
> > > >> dypgen/generators/pgen/pgen.cmxa
> > > >> dypgen/generators/pgen/pgen_parser_param.cmx
> > > >> dypgen/generators/pgen/pgen_lexer.cmx
> > > >> CAML LINKING EXECUTABLES
> > > >> ocamlopt.opt  -w yzex -warn-error FDPSU  -I src -I dypgen/dyplib -I
> > > >> dypgen/generators/pgen -o bin/pgen flx_version.cmxa dyplib.cmxa
> > > >> pgen.cmxa src/flx_version_hook.ml dypgen/generators/pgen/pgen.cmx
> > > >> /usr/bin/ld: Undefined symbols:
> > > >> _camlParser
> > > >>
> > > >
> > > > This works fine on Linux.
> > > >
> > > > Maybe this is the -pack option not working on OSX?
> > > >
> > > >
> > > >
> > > I don't think -pack worked on OSX until a more recent version of ocaml
> > > 3.09. Which one are you using?
> >
> > The Objective Caml toplevel, version 3.09.2
>
> Can you try building Dypgen directly from the dypgen tarball using
> the provided makefile?


What tarball?

Re: [Felix-impl] [Caml-list] Re: it no me build

[Rhythmic Fistman]

On 5/15/07, skaller <skaller@users.sourceforge.net> wrote:
> On Tue, 2007-05-15 at 10:48 +0200, Rhythmic Fistman wrote:
> > On 5/15/07, Erick Tryzelaar <idadesub@users.sourceforge.net> wrote:
> > > skaller wrote:
> > > > On Tue, 2007-05-15 at 01:43 +0200, Rhythmic Fistman wrote:
> > > >
> > > >> camlopt.opt  -w yzex -warn-error FDPSU   -a -o
> > > >> dypgen/generators/pgen/pgen.cmxa
> > > >> dypgen/generators/pgen/pgen_parser_param.cmx
> > > >> dypgen/generators/pgen/pgen_lexer.cmx
> > > >> CAML LINKING EXECUTABLES
> > > >> ocamlopt.opt  -w yzex -warn-error FDPSU  -I src -I dypgen/dyplib -I
> > > >> dypgen/generators/pgen -o bin/pgen flx_version.cmxa dyplib.cmxa
> > > >> pgen.cmxa src/flx_version_hook.ml dypgen/generators/pgen/pgen.cmx
> > > >> /usr/bin/ld: Undefined symbols:
> > > >> _camlParser
> > > >>
> > > >
> > > > This works fine on Linux.
> > > >
> > > > Maybe this is the -pack option not working on OSX?
> > > >
> > > >
> > > >
> > > I don't think -pack worked on OSX until a more recent version of ocaml
> > > 3.09. Which one are you using?
> >
> > The Objective Caml toplevel, version 3.09.2
>
> Can you try building Dypgen directly from the dypgen tarball using
> the provided makefile?

Sorry, just got to go bury a sheep's head. Got a link?

Re: [Felix-impl] [Caml-list] Re: it no me build

[skaller]

On Tue, 2007-05-15 at 11:13 +0200, Rhythmic Fistman wrote:
> On 5/15/07, skaller <skaller@users.sourceforge.net> wrote:

> > Can you try building Dypgen directly from the dypgen tarball using
> > the provided makefile?
> 
> Sorry, just got to go bury a sheep's head. Got a link?

www.Google.com


-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

Re: [Felix-impl] [Caml-list] Re: it no me build

[Rhythmic Fistman]

On 5/15/07, skaller <skaller@users.sourceforge.net> wrote:
> On Tue, 2007-05-15 at 11:13 +0200, Rhythmic Fistman wrote:
> > On 5/15/07, skaller <skaller@users.sourceforge.net> wrote:
>
> > > Can you try building Dypgen directly from the dypgen tarball using
> > > the provided makefile?
> >
> > Sorry, just got to go bury a sheep's head. Got a link?
>
> www.Google.com

The one on the website
(http://perso.ens-lyon.fr/emmanuel.onzon/dypgen-20070513.tar.bz2)
builds fine.

Re: [Felix-impl] [Caml-list] Re: it no me build

[Erick Tryzelaar]

Rhythmic Fistman wrote:
> What tarball?

http://perso.ens-lyon.fr/emmanuel.onzon/dypgen-20070513.tar.bz2

Re: [Felix-impl] it no me build

[skaller]

On Tue, 2007-05-15 at 01:43 +0200, Rhythmic Fistman wrote:
> camlopt.opt  -w yzex -warn-error FDPSU   -a -o
> dypgen/generators/pgen/pgen.cmxa
> dypgen/generators/pgen/pgen_parser_param.cmx
> dypgen/generators/pgen/pgen_lexer.cmx
> CAML LINKING EXECUTABLES
> ocamlopt.opt  -w yzex -warn-error FDPSU  -I src -I dypgen/dyplib -I
> dypgen/generators/pgen -o bin/pgen flx_version.cmxa dyplib.cmxa
> pgen.cmxa src/flx_version_hook.ml dypgen/generators/pgen/pgen.cmx
> /usr/bin/ld: Undefined symbols:
> _camlParser
> collect2: ld returned 1 exit status

I have NO idea what _camlParser is. A grep on lpsrc does not
reveal any symbol 'camlParser'.

This looks like an Ocaml bug .. weird that this thing builds
on Linux, and builds on your OSX box using the dypgen makefile,
but not the Felix build scripts.

The Felix build scripts ARE different .. but the effect should
be the same. Any which way it should either fail on all platforms
or build on all platforms .. there's no C code here, and Ocaml
is supposed to be portable.


-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

Re: [Felix-impl] it no me build

[Rhythmic Fistman]

On 5/15/07, skaller <skaller@users.sourceforge.net> wrote:
> On Tue, 2007-05-15 at 01:43 +0200, Rhythmic Fistman wrote:
> > camlopt.opt  -w yzex -warn-error FDPSU   -a -o
> > dypgen/generators/pgen/pgen.cmxa
> > dypgen/generators/pgen/pgen_parser_param.cmx
> > dypgen/generators/pgen/pgen_lexer.cmx
> > CAML LINKING EXECUTABLES
> > ocamlopt.opt  -w yzex -warn-error FDPSU  -I src -I dypgen/dyplib -I
> > dypgen/generators/pgen -o bin/pgen flx_version.cmxa dyplib.cmxa
> > pgen.cmxa src/flx_version_hook.ml dypgen/generators/pgen/pgen.cmx
> > /usr/bin/ld: Undefined symbols:
> > _camlParser
> > collect2: ld returned 1 exit status
>
> I have NO idea what _camlParser is. A grep on lpsrc does not
> reveal any symbol 'camlParser'.
>
> This looks like an Ocaml bug .. weird that this thing builds
> on Linux, and builds on your OSX box using the dypgen makefile,
> but not the Felix build scripts.
>
> The Felix build scripts ARE different .. but the effect should
> be the same. Any which way it should either fail on all platforms
> or build on all platforms .. there's no C code here, and Ocaml
> is supposed to be portable.

Somewhere... someone lied.

Haha, just kidding. The difference is that the tarball uses ocamlc and
flx here is using ocamlc.opt. Could that be relevant?

Re: [Felix-impl] it no me build

[skaller]

On Tue, 2007-05-15 at 21:00 +0200, Rhythmic Fistman wrote:

> > The Felix build scripts ARE different .. but the effect should
> > be the same. Any which way it should either fail on all platforms
> > or build on all platforms .. there's no C code here, and Ocaml
> > is supposed to be portable.
> 
> Somewhere... someone lied.
> 
> Haha, just kidding. The difference is that the tarball uses ocamlc and
> flx here is using ocamlc.opt. Could that be relevant?

As I understand it:

No. ocamlc.opt and ocamlc are functionally equivalent.
The only difference is ocamlc is compiled with ocamlc,
whereas ocamlc.opt is compiled with ocamlopt.

In other words, ocamlc.opt is faster because it is
built as native code, but they're built from the
same ocaml sources. Bootstrapping is cool!

In fact there ARE differences between ocamlc
and ocamlopt built code, apart from speed:
for example bytecode supports dynamic loading
of bytecode whereas native code does not ..
but this shouldn't affect ocamlc.

However, -pack MAY be different; it is a new feature
and didn't work on any processor other than x86 originally,
so this might be a difference. -pack does nasty stuff
with native code which requires arcane knowledge of 
object files, whereas with bytecode it's the same on
all platforms.

The -pack option 'packs' several object files into
a single object file and makes the submodules
of a the new master file.

For native code -for-pack has to be specified,
whereas it isn't used with bytecode -- so there's
a difference between ocamlc and ocamlopt .. but this
is related to the object file formats and what information
they contain (bytecode contains what ocaml wants it to,
whereas native code is machine binary and is restricted
by the platform linker format).


-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

Re: [Felix-impl] it no me build

[Rhythmic Fistman]

On 5/15/07, skaller <skaller@users.sourceforge.net> wrote:
> On Tue, 2007-05-15 at 21:00 +0200, Rhythmic Fistman wrote:
>
> > > The Felix build scripts ARE different .. but the effect should
> > > be the same. Any which way it should either fail on all platforms
> > > or build on all platforms .. there's no C code here, and Ocaml
> > > is supposed to be portable.
> >
> > Somewhere... someone lied.
> >
> > Haha, just kidding. The difference is that the tarball uses ocamlc and
> > flx here is using ocamlc.opt. Could that be relevant?
>
> As I understand it:
>
> No. ocamlc.opt and ocamlc are functionally equivalent.
> The only difference is ocamlc is compiled with ocamlc,
> whereas ocamlc.opt is compiled with ocamlopt.
>
> In other words, ocamlc.opt is faster because it is
> built as native code, but they're built from the
> same ocaml sources. Bootstrapping is cool!
>
> In fact there ARE differences between ocamlc
> and ocamlopt built code, apart from speed:
> for example bytecode supports dynamic loading
> of bytecode whereas native code does not ..
> but this shouldn't affect ocamlc.
>
> However, -pack MAY be different; it is a new feature
> and didn't work on any processor other than x86 originally,
> so this might be a difference. -pack does nasty stuff
> with native code which requires arcane knowledge of
> object files, whereas with bytecode it's the same on
> all platforms.

Can we disable -pack?
Can I fall back to ocamlc? How?

Re: [Caml-list] Re: [Felix-impl] it no me build

[Erick Tryzelaar]

Rhythmic Fistman wrote:
> Can we disable -pack?
> Can I fall back to ocamlc? How?

I can reproduce this on my mac, in ocaml 3.09.3. It works with just 
ocamlc though. We can turn off ocamlopt by setting this:

NATIVE_CODE_COMPILER=0

in config/ocaml_config.py. I'll poke around some more to see if there's 
a real fix.

-e

Re: [Caml-list] Re: [Felix-impl] it no me build

[Emmanuel Onzon]

Quoting Erick Tryzelaar <idadesub@users.sourceforge.net>:

> Rhythmic Fistman wrote:
>> Can we disable -pack?
>> Can I fall back to ocamlc? How?
>
> I can reproduce this on my mac, in ocaml 3.09.3. It works with just 
> ocamlc though. We can turn off ocamlopt by setting this:
>
> NATIVE_CODE_COMPILER=0
>
> in config/ocaml_config.py. I'll poke around some more to see if 
> there's a real fix.
>
> -e
>

In the next version of dypgen I will get rid of -pack, because it
makes things simpler. I hope it will improve RF's problem.

Emmanuel

Re: [Caml-list] Re: [Felix-impl] it no me build

[Erick Tryzelaar]

Emmanuel Onzon wrote:
> In the next version of dypgen I will get rid of -pack, because it
> makes things simpler. I hope it will improve RF's problem.

I'm not sure if it's a pack issue. I can take your Makefiles and get it 
to work using ocamlopt, so I think it's a problem in our build system.

Re: [Felix-impl] [Caml-list] Re: it no me build

[skaller]

On Tue, 2007-05-15 at 18:31 -0700, Erick Tryzelaar wrote:
> skaller wrote:
> > On Tue, 2007-05-15 at 14:56 -0700, Erick Tryzelaar wrote:
> >> Emmanuel Onzon wrote:
> >>> In the next version of dypgen I will get rid of -pack, because it
> >>> makes things simpler. I hope it will improve RF's problem.
> >> I'm not sure if it's a pack issue. I can take your Makefiles and get it 
> >> to work using ocamlopt, so I think it's a problem in our build system.
> >
> > That's possible .. but it builds on Linux.
> >
> > The thing to do is use the Makefile to build with debugging log,
> > then do Felix build, and compare the compiler/link/pack/make
> > the library steps to see if I messed up something.
> 
> That was a pain. I found the problem, and a workaround. The line:
> 
> ocamlopt.opt -w yzex -warn-error FDPSU -I dypgen/dyplib -pack -o 
> dypgen/dyplib/dyp.cmx dypgen/dyplib/sig.cmi dypgen/dyplib/gs.cmx 
> dypgen/dyplib/priority_by_relation.cmx dypgen/dyplib/automaton.cmx 
> dypgen/dyplib/parser.cmx
> 
> Needs a "-I dypgen/dyplib", like this:
> 
> ocamlopt.opt -w yzex -warn-error FDPSU -pack -o dypgen/dyplib/dyp.cmx 
> dypgen/dyplib/sig.cmi dypgen/dyplib/gs.cmx 
> dypgen/dyplib/priority_by_relation.cmx dypgen/dyplib/automaton.cmx 
> dypgen/dyplib/parser.cmx
> 
> I'm guessing ocaml needs to bake the path into the pack file, or 
> something. I'll change the build system so it works.
> 
> I'm sure this is a bug in ocaml since it works everywhere else. We 
> probably should file an ocaml bug on it.

Ahem .. the lines are backwards -- that's a huge dyslexia :)

So the bug in Ocaml is, on OSX we use:

ocamlopt.opt  -w yzex -warn-error FDPSU  -pack -o dypgen/dyplib/dyp.cmx
dypgen/dyplib/sig.cmi dypgen/dyplib/gs.cmx
dypgen/dyplib/priority_by_relation.cmx dypgen/dyplib/automaton.cmx
dypgen/dyplib/parser.cmx 

but we needed:

ocamlopt.opt  -w yzex -warn-error FDPSU  -I dypgen/dyplib -pack -o
dypgen/dyplib/dyp.cmx dypgen/dyplib/sig.cmi dypgen/dyplib/gs.cmx
dypgen/dyplib/priority_by_relation.cmx dypgen/dyplib/automaton.cmx
dypgen/dyplib/parser.cmx 


-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

Re: [Felix-impl] [Caml-list] Re: it no me build

[Erick Tryzelaar]

skaller wrote:
> Ahem .. the lines are backwards -- that's a huge dyslexia :)
>
> So the bug in Ocaml is, on OSX we use:
>
> ocamlopt.opt  -w yzex -warn-error FDPSU  -pack -o dypgen/dyplib/dyp.cmx
> dypgen/dyplib/sig.cmi dypgen/dyplib/gs.cmx
> dypgen/dyplib/priority_by_relation.cmx dypgen/dyplib/automaton.cmx
> dypgen/dyplib/parser.cmx 
>
> but we needed:
>
> ocamlopt.opt  -w yzex -warn-error FDPSU  -I dypgen/dyplib -pack -o
> dypgen/dyplib/dyp.cmx dypgen/dyplib/sig.cmi dypgen/dyplib/gs.cmx
> dypgen/dyplib/priority_by_relation.cmx dypgen/dyplib/automaton.cmx
> dypgen/dyplib/parser.cmx 
>   

Yep! Sorry for the confusion.