Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Filename.quote - again
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-04-15 (13:43)
From: Vitaly Lugovsky <vsl@o...>
Subject: Re: [Caml-list] Re: Filename.quote - again
On 15 Apr 2002, Andrej Bauer wrote:

> >  With '-verbose' option I got something like
> > gcc ... ' -L/usr/X11R6/lib ' ' -lSM -lICE -lX11  -lm' ...
> >                              ^^^^^^^^^^^^^^^^^^^^^^^^ 
> >  gcc treats this as a file name, not as an options, thanx
> > to the single quotes.
> Instead of using a single -cclib to pass three C libraries at the same
> time (which you noted doesn't work), you should use -cclib three
> times, once for each library:

 No way. I have the same results with it... ocamlc tries to pass
all libraries in the one QUOTED string. And, there is no
need in that quotation - so, it'll be better to remove it.

> Since there could be a library with a space or a single quote in its
> name, ocaml does the correct thing.

 It'll be better to quote a space '\ ' just like \'...

> How is it supposed to know that
> your library is not called "SM -lICE -lX11 -lm"? I admit only a crazy
> person would create such a library, but that is irrelevant.

 I think, it'll be better to forbid this. We don't know how external
linkers will treat this options - as file name, as option, as a space
separated options...

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: